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 8 months ago
- symbolic execution plugin for binary ninja☆357Jan 26, 2026Updated 5 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- binary ninja related code☆37Mar 27, 2025Updated last year
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆84Nov 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 6 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☆67Jul 6, 2026Updated 2 weeks ago
- ☆81Jul 26, 2022Updated 3 years ago
- Playing with LLVM passes☆40Aug 17, 2023Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆145Mar 16, 2026Updated 4 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- fundamental traits to describe an architecture in the yaxpeax project☆18Mar 1, 2025Updated last year
- Xyntia, the black-box deobfuscator☆96Dec 11, 2025Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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☆16Feb 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 2 years ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆67Jun 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☆185Updated this week
- Binary Ninja Plugin for Generating Callgraphs☆17Jun 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 11 months ago
- 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☆140Feb 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