arnaugamez / r2syntiaLinks
Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.
☆21Updated 4 years ago
Alternatives and similar repositories for r2syntia
Users that are interested in r2syntia are comparing it to the libraries listed below
Sorting:
- ☆31Updated 5 years ago
- Plugins for IDA Pro and Hex-Rays☆46Updated 7 years ago
- x86/x64 architecture plugin☆40Updated last year
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Updated 4 years ago
- ☆76Updated 4 years ago
- White-box analytic framework based on LLVM☆39Updated 6 years ago
- Windows build files for the VMHunt Intel PIN Trace tool☆19Updated 6 years ago
- Create and use macros in IDA's CLIs☆65Updated 2 weeks ago
- An Integrity-Check Monitoring Pintool☆58Updated 4 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆71Updated 5 years ago
- Utility for dumping all the information Capstone has on given instructions.☆23Updated 4 years ago
- Export a binary from ghidra to emulate with unicorn☆27Updated 6 years ago
- IDA Database Importer plugin for Binary Ninja☆37Updated last year
- IDA plugin CMake build-script☆36Updated last month
- IDA plugin to explore and browse tags☆56Updated 6 years ago
- Windbg extension that allows you analyze Control Flow Guard map☆36Updated 4 years ago
- XDV is disassembler or debugger that works based on the extension plugin.☆55Updated 6 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38Updated 5 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆84Updated 6 years ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- ROP database plugin for IDA☆32Updated 7 years ago
- ARMv7 architecture plugin☆41Updated last year
- Library for reading IDA Pro databases.☆29Updated 4 years ago
- ☆18Updated 8 years ago
- Humane API for storing and accessing persistent data in IDA Pro databases☆83Updated 5 years ago
- LLVM Obfuscation Pass via Extracted Basic Blocks☆21Updated 6 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 7 years ago
- LLVM based devirtualization PoC’s.☆21Updated 3 years ago
- ☆24Updated 9 years ago