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
- WebKit/JSC CodeQL Databases☆17Dec 15, 2025Updated 2 months ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆82Nov 14, 2022Updated 3 years ago
- Python bindings for the Icicle emulator.☆41Nov 6, 2025Updated 3 months ago
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆57Mar 13, 2023Updated 2 years ago
- symbolic execution plugin for binary ninja☆349Jan 26, 2026Updated last month
- BinRec: Dynamic Binary Lifting and Recompilation☆149Sep 18, 2023Updated 2 years ago
- QEMU support for a custom board based on a Microchip ATSAMD21G18A microcontroller (MCU)☆14Jun 10, 2024Updated last year
- binary ninja related code☆37Mar 27, 2025Updated 11 months ago
- IFL - Interactive Functions List (plugin for Binary Ninja)☆25Jul 9, 2024Updated last year
- Binary Ninja plugin that decompiles the whole binary and saves them in a directory.☆22Nov 24, 2022Updated 3 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆57Oct 13, 2025Updated 4 months ago
- Plugin to visualize Miasm IR graph in Binary Ninja.☆14Aug 7, 2019Updated 6 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15May 8, 2021Updated 4 years ago
- Xyntia, the black-box deobfuscator☆87Dec 11, 2025Updated 2 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆136Feb 15, 2026Updated 2 weeks ago
- Playing with LLVM passes☆40Aug 17, 2023Updated 2 years ago
- 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 & workflow to help analyze Objective-C code☆53Jun 25, 2025Updated 8 months ago
- ☆79Jul 26, 2022Updated 3 years ago
- Small binja plugin to import header file to types☆18Nov 11, 2022Updated 3 years ago
- A terrible iOS app decryptor for jailbroken devices☆16Feb 7, 2021Updated 5 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
- Symbolic Execution based on lifting amd64 to z3☆32Jul 2, 2024Updated last year
- 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
- UNMAINTAINED: I am now developing and using https://github.com/GhidraJupyter/ghidra-jupyter-kotlin instead, PRs still welcome☆16May 6, 2020Updated 5 years ago
- fundamental traits to describe an architecture in the yaxpeax project☆17Mar 1, 2025Updated last year
- Binary Ninja Plugin for Generating Callgraphs☆17Jun 17, 2025Updated 8 months ago
- Program synthesis tools and utilities for LLVM.☆20Jul 6, 2023Updated 2 years ago
- Plugin for ida pro that copies RVA under cursor to clipboard.☆17Jul 28, 2023Updated 2 years ago
- LLVM obfuscation pass, flattening at the basic block's level and turning each basic block into a dispacher and each instruction into a ne…☆49Aug 23, 2021Updated 4 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆95Oct 28, 2021Updated 4 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Jun 27, 2022Updated 3 years ago
- Binary Ninja Debugger Plugin☆143Apr 21, 2022Updated 3 years ago
- ☆20May 24, 2021Updated 4 years ago
- Binary Ninja Call Graph plugin☆24Apr 20, 2022Updated 3 years ago
- E-Graph library☆21Apr 4, 2024Updated last year
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆107Nov 5, 2025Updated 3 months ago
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆345Feb 2, 2026Updated 3 weeks ago