toolCHAINZ / jingle
SMT Modeling for Ghidra's PCODE
☆22Updated 2 weeks ago
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 last month
- 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
- ☆30Updated 4 years ago
- x86/x64 architecture plugin☆39Updated 11 months ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 4 months ago
- How to use LLVM passes☆30Updated 2 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆80Updated last week
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- Reversing library based off sleigh from the Ghidra project. Pcode IR access, disassembly, C++17☆14Updated 3 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆12Updated this week
- IDB parser☆14Updated this week
- RetDec plugin for LLDB. RetDec is a retargetable machine-code decompiler based on LLVM.☆63Updated last year
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- Binja Arm64 Disassembler☆90Updated 3 weeks ago
- Scalable Validator for Binary Lifters☆54Updated 4 years ago
- Small binja plugin to import header file to types☆18Updated 2 years ago
- My BinaryNinja toolkit I use for iOS centric RE || Prerelease!☆44Updated last year
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆61Updated 3 years ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 11 months ago
- Aarch64 architecture plugin☆85Updated 11 months ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Updated 3 years ago
- Dr. Disassembler☆35Updated 3 years ago
- Modern C++, range-based Mach-O parser designed for embedded use. Uses stack allocations only.☆32Updated 2 years ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆17Updated 8 months ago
- Common format for transferring and applying function information across binary analysis tools☆29Updated 2 months ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆55Updated 2 years ago
- Rust bindings for googleprojectzero/TinyInst☆16Updated last year
- small projects, exercises, poc's that'll be used once or twice☆13Updated 3 weeks ago
- Binary Ninja plugin & workflow to help analyze Objective-C code☆49Updated 2 months ago