transpile llil to c++ for execution and testing
☆48Jan 11, 2024Updated 2 years ago
Alternatives and similar repositories for llil_transpiler
Users that are interested in llil_transpiler are comparing it to the libraries listed below
Sorting:
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- Python bindings for the Icicle emulator.☆41Nov 6, 2025Updated 4 months ago
- symbolic execution plugin for binary ninja☆351Jan 26, 2026Updated last month
- BinRec: Dynamic Binary Lifting and Recompilation☆149Sep 18, 2023Updated 2 years ago
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆58Mar 13, 2023Updated 3 years ago
- binary ninja related code☆37Mar 27, 2025Updated 11 months ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆82Nov 14, 2022Updated 3 years ago
- WebKit/JSC CodeQL Databases☆17Dec 15, 2025Updated 3 months ago
- Plugin to visualize Miasm IR graph in Binary Ninja.☆14Aug 7, 2019Updated 6 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 5 months ago
- QEMU support for a custom board based on a Microchip ATSAMD21G18A microcontroller (MCU)☆14Jun 10, 2024Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆137Updated this week
- ☆80Jul 26, 2022Updated 3 years ago
- Playing with LLVM passes☆40Aug 17, 2023Updated 2 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15May 8, 2021Updated 4 years ago
- Binary Ninja plugin & workflow to help analyze Objective-C code☆53Jun 25, 2025Updated 8 months ago
- Binary Ninja plugin to clean up some common obfuscation techniques.☆22Jun 8, 2020Updated 5 years ago
- Xyntia, the black-box deobfuscator☆86Dec 11, 2025Updated 3 months ago
- Small binja plugin to import header file to types☆18Nov 11, 2022Updated 3 years ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆25Jul 9, 2024Updated last year
- UNMAINTAINED: I am now developing and using https://github.com/GhidraJupyter/ghidra-jupyter-kotlin instead, PRs still welcome☆16May 6, 2020Updated 5 years ago
- Random tools and things for creating+injecting complex organisms into a process on both the posix and windows platforms. Includes support…☆42Feb 24, 2026Updated 3 weeks ago
- fundamental traits to describe an architecture in the yaxpeax project☆17Mar 1, 2025Updated last year
- Binary Ninja plugin that decompiles the whole binary and saves them in a directory.☆22Nov 24, 2022Updated 3 years ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆64Jul 17, 2024Updated last year
- Plugin for ida pro that copies RVA under cursor to clipboard.☆17Jul 28, 2023Updated 2 years ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆62Jun 3, 2022Updated 3 years ago
- Write dynamic binary analysis tools in Python☆130Jul 25, 2025Updated 7 months ago
- Binary ninja plugin for python compiled bytecode (pyc) disassembly☆33Mar 3, 2024Updated 2 years ago
- E-Graph library☆22Apr 4, 2024Updated last year
- Python bindings for BochsCPU☆39Aug 10, 2025Updated 7 months ago
- Plugin to embed Ghidra Decompiler into Binary Ninja☆97Jun 8, 2022Updated 3 years ago
- A terrible iOS app decryptor for jailbroken devices☆16Feb 7, 2021Updated 5 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆175Updated this week
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆16Mar 23, 2023Updated 2 years ago
- Binary Ninja Plugin for Generating Callgraphs☆17Jun 17, 2025Updated 9 months ago
- Binary Ninja Debugger Plugin☆143Apr 21, 2022Updated 3 years ago
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆107Nov 5, 2025Updated 4 months ago
- Symbolic Execution based on lifting amd64 to z3☆32Jul 2, 2024Updated last year