arnaugamez / r2syntiaLinks
Integration of Syntia program synthesis tool into the radare2 reverse engineering framework.
☆21Updated last month
Alternatives and similar repositories for r2syntia
Users that are interested in r2syntia are comparing it to the libraries listed below
Sorting:
- Plugins for IDA Pro and Hex-Rays☆46Updated 7 years ago
- ☆31Updated 5 years ago
- x86/x64 architecture plugin☆40Updated last year
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Updated 5 years ago
- ☆76Updated 4 years ago
- Create and use macros in IDA's CLIs☆66Updated last month
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆49Updated 5 years ago
- Windows build files for the VMHunt Intel PIN Trace tool☆19Updated 7 years ago
- IDA plugin to explore and browse tags☆55Updated 6 years ago
- Windbg extension that allows you analyze Control Flow Guard map☆38Updated 4 years ago
- Utility for dumping all the information Capstone has on given instructions.☆23Updated 4 years ago
- XDV is disassembler or debugger that works based on the extension plugin.☆55Updated 6 years ago
- x86 bootloader emulation with Miasm (case of NotPetya)☆43Updated 6 years ago
- LLVM based devirtualization PoC’s.☆21Updated 4 years ago
- An Integrity-Check Monitoring Pintool☆58Updated 5 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆57Updated 6 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆32Updated 7 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆73Updated 6 years ago
- Export a binary from ghidra to emulate with unicorn☆27Updated 6 years ago
- Allows you to add breakpoints from IDA (from the graph/text view) to WinDbg easily☆14Updated 7 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆84Updated 6 years ago
- dr.rer.oec.gadget IDAPython plugin for the Interactive Disassembler <ABANDONED PROJECT>☆68Updated 9 years ago
- ROP database plugin for IDA☆32Updated 7 years ago
- ☆30Updated 5 years ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- IDA Database Importer plugin for Binary Ninja☆37Updated last year
- IDA plugin CMake build-script☆36Updated 4 months ago
- Static analysis tools for x86 assembly☆13Updated 8 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆38Updated 5 years ago
- ☆27Updated 7 years ago