toolCHAINZ / jingle
SMT Modeling for Ghidra's PCODE
☆22Updated last month
Alternatives and similar repositories for jingle:
Users that are interested in jingle are comparing it to the libraries listed below
- Ghidra Sleight (PCode) parsing library in Rust.☆42Updated 2 weeks ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆30Updated 2 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- ☆39Updated 3 years ago
- ☆30Updated 4 years ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 3 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆12Updated this week
- binary ninja related code☆25Updated 2 years ago
- IDB parser☆14Updated this week
- AIL: The angr Intermediate Language.☆31Updated this week
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆75Updated this week
- x86/x64 architecture plugin☆39Updated 10 months ago
- How to use LLVM passes☆26Updated 2 years ago
- ☆69Updated last year
- A plugin for Binary Ninja to query the Symgrate2 database.☆13Updated 3 years ago
- RetDec plugin for LLDB. RetDec is a retargetable machine-code decompiler based on LLVM.☆63Updated last year
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆29Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated 6 months ago
- Adds a layer on top of IDA Python to make it easier to write scripts☆12Updated this week
- Binary Ninja Call Graph plugin☆20Updated 2 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 9 months ago
- Python bindings for BochsCPU☆35Updated 3 months ago
- IDA AArch64 processor extender extension: Adding support for ARMv8.5 memory tagging extension opcodes☆26Updated 4 years ago
- Small binja plugin to import header file to types☆18Updated 2 years ago
- Binja Arm64 Disassembler☆90Updated last year
- My BinaryNinja toolkit I use for iOS centric RE || Prerelease!☆45Updated last year
- Triton-based DSE library with loading and exploration capabilities (and more!)☆109Updated last month