Standalone API for Binary Ninja's LLIL
☆21Aug 6, 2024Updated last year
Alternatives and similar repositories for binja-standalone-api
Users that are interested in binja-standalone-api are comparing it to the libraries listed below
Sorting:
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24May 1, 2025Updated 10 months ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month
- Experimental imgui app framework for rapid prototyping.☆14Aug 10, 2025Updated 6 months ago
- Disarm — Fast AArch64 Decode/Encoder☆45Dec 21, 2024Updated last year
- Generate a PDB file given the old PDB file and an address mapping☆52Aug 3, 2025Updated 7 months ago
- Easily search LLVM headers for all major versions!☆19Sep 14, 2025Updated 5 months ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Oct 8, 2024Updated last year
- Symbolic Execution based on lifting amd64 to z3☆32Jul 2, 2024Updated last year
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆22Jun 13, 2023Updated 2 years ago
- E-Graph library☆21Apr 4, 2024Updated last year
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆64Feb 1, 2026Updated last month
- A Hybrid Alias Analysis☆19Aug 10, 2023Updated 2 years ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆124Updated this week
- Python bindings for the Icicle emulator.☆41Nov 6, 2025Updated 3 months ago
- Synthesis of loop-free programs☆24Feb 23, 2026Updated last week
- A x86_64 software emulator☆162Aug 25, 2025Updated 6 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- Port of MBA Solver SiMBA to C/C++ (MBA deobfuscation in real world applications)☆107Nov 5, 2025Updated 3 months ago
- Clockwork: A Modular Arithmetic library for C++☆12Nov 18, 2025Updated 3 months ago
- Simple program to stream offsets for your game cheat, Was reversing some p2c and decided to recreate a better version of this function fo…☆11Sep 12, 2022Updated 3 years ago
- EFI driver which disables Virtualization-based Security (VBS) in Microsoft Windows☆19Aug 1, 2024Updated last year
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Feb 12, 2026Updated 2 weeks ago
- ☆16Updated this week
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆30Jun 14, 2025Updated 8 months ago
- An IDA plugin to deobfuscate Pikabot's strings using RC4 and AES☆13Apr 8, 2024Updated last year
- A C++ library for algebra over GF(2)☆16May 10, 2024Updated last year
- Artifact for the IEEE S&P 2025 paper: "Rapid Reversing of Non-Linear CPU Cache Slice Functions: Unlocking Physical Address Leakage"☆20Nov 25, 2025Updated 3 months ago
- OpenRewrite recipes for data flow analysis.☆15Feb 23, 2026Updated last week
- Reverse engineered source code of the engineowning cheat for cod9 (tags, ignore. Fortnite cheat, engineowning, engineowning cracked, chea…☆10Dec 10, 2021Updated 4 years ago
- x86-64 user mode emulation using Zydis☆72Sep 12, 2025Updated 5 months ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Jun 27, 2022Updated 3 years ago
- An IDA plugin that can be used to partially synchronize IDBs between different users reversing the same binaries☆139Jan 8, 2025Updated last year
- Ghidra P-Code emulation and static LLVM lifting in Python☆38Mar 26, 2022Updated 3 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- SLOT: SMT-LLVM Optimizing Translation☆60Apr 17, 2025Updated 10 months ago
- Library for constructing data-centric processing pipelines☆12Feb 23, 2026Updated last week
- ☆13Sep 25, 2023Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆13Apr 5, 2024Updated last year
- idaemu is an IDA Pro Plugin - use for emulating code in IDA Pro.update for ida pro 7.7☆16Nov 9, 2023Updated 2 years ago