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:
- x86/x64 architecture plugin☆40Updated last year
- Plugins for IDA Pro and Hex-Rays☆46Updated 7 years ago
- ☆31Updated 5 years ago
- Create and use macros in IDA's CLIs☆65Updated 2 years ago
- Utility for dumping all the information Capstone has on given instructions.☆23Updated 4 years ago
- Windows build files for the VMHunt Intel PIN Trace tool☆19Updated 6 years ago
- XDV is disassembler or debugger that works based on the extension plugin.☆57Updated 6 years ago
- ☆76Updated 4 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆84Updated 6 years ago
- An Integrity-Check Monitoring Pintool☆58Updated 4 years ago
- ARMv7 architecture plugin☆41Updated last year
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- Python based angr plug in for IDA Pro.☆35Updated 7 years ago
- IDA plugin to explore and browse tags☆56Updated 6 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆47Updated 5 years ago
- Allows you to add breakpoints from IDA (from the graph/text view) to WinDbg easily☆14Updated 6 years ago
- Export a binary from ghidra to emulate with unicorn☆27Updated 5 years ago
- Windbg extension that allows you analyze Control Flow Guard map☆36Updated 3 years ago
- A copy of my Mathematics and Computer Engineering B.Sc. thesis☆20Updated 4 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 7 years ago
- IDA Database Importer plugin for Binary Ninja☆37Updated last year
- VMX intrinsics plugin for Hex-Rays decompiler☆71Updated 5 years ago
- LLVM Obfuscation Pass via Extracted Basic Blocks☆21Updated 6 years ago
- Library for reading IDA Pro databases.☆29Updated 4 years ago
- r0ak ("roak") is the Ring 0 Army Knife -- A Command Line Utility To Read/Write/Execute Ring Zero on for Windows 10 Systems☆14Updated 6 years ago
- ☆27Updated 6 years ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆56Updated 6 years ago
- IDA script for vmprotect Windows Api address decoder☆51Updated 4 years ago
- ☆18Updated 8 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 4 years ago