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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Symbolic executor for Binary Ninja's MLIL☆25Oct 3, 2024Updated last year
- Python bindings for the Icicle emulator.☆43Nov 6, 2025Updated 9 months ago
- symbolic execution plugin for binary ninja☆358Jan 26, 2026Updated 6 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆148Sep 18, 2023Updated 2 years ago
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆57Mar 13, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- binary ninja related code☆37Mar 27, 2025Updated last year
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆85Nov 14, 2022Updated 3 years ago
- WebKit/JSC CodeQL Databases☆17Dec 15, 2025Updated 7 months ago
- Plugin to visualize Miasm IR graph in Binary Ninja.☆14Aug 7, 2019Updated 7 years ago
- QEMU support for a custom board based on a Microchip ATSAMD21G18A microcontroller (MCU)☆14Jun 10, 2024Updated 2 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆71Jul 6, 2026Updated last month
- ☆81Jul 26, 2022Updated 4 years ago
- Playing with LLVM passes☆40Aug 17, 2023Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆146Mar 16, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Binary Ninja MLIL to LLVM IR lifter☆16May 8, 2021Updated 5 years ago
- Binary Ninja plugin & workflow to help analyze Objective-C code☆53Jun 25, 2025Updated last year
- Binary Ninja plugin to clean up some common obfuscation techniques.☆24Jun 8, 2020Updated 6 years ago
- Small binja plugin to import header file to types☆17Nov 11, 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 6 years ago
- Random tools and things for creating+injecting complex organisms into a process on both the posix and windows platforms. Includes support…☆42Apr 14, 2026Updated 3 months ago
- Binary Ninja plugin that decompiles the whole binary and saves them in a directory.☆22Nov 24, 2022Updated 3 years ago
- Xyntia, the black-box deobfuscator☆96Dec 11, 2025Updated 8 months ago
- fundamental traits to describe an architecture in the yaxpeax project☆18Mar 1, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆65Jul 17, 2024Updated 2 years ago
- A terrible iOS app decryptor for jailbroken devices☆15Feb 7, 2021Updated 5 years ago
- Plugin to embed Ghidra Decompiler into Binary Ninja☆97Jun 8, 2022Updated 4 years ago
- Plugin for ida pro that copies RVA under cursor to clipboard.☆18Jul 28, 2023Updated 3 years ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆68Jun 3, 2022Updated 4 years ago
- Binary ninja plugin for python compiled bytecode (pyc) disassembly☆34Mar 3, 2024Updated 2 years ago
- Binary Ninja Debugger Plugin☆142Apr 21, 2022Updated 4 years ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆190Updated this week
- Binary Ninja Plugin for Generating Callgraphs☆18Jun 17, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Python bindings for BochsCPU☆39Aug 10, 2025Updated last year
- Virtual Tagger Plugin is a Cutter plugin that significantly improves handling and analysis of vtables and virtual functions☆16Mar 23, 2023Updated 3 years ago
- Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions☆342Jan 4, 2024Updated 2 years ago
- Symbolic Execution based on lifting amd64 to z3☆31Jul 2, 2024Updated 2 years ago
- Small programs and scripts that do not require their own repositories☆141Feb 24, 2022Updated 4 years ago
- Scalable Validator for Binary Lifters☆62Jun 28, 2020Updated 6 years ago
- Fork of Synacktiv's private Lumina server☆20Feb 22, 2022Updated 4 years ago