trailofbits / magnifier
☆58Updated 2 years ago
Alternatives and similar repositories for magnifier:
Users that are interested in magnifier are comparing it to the libraries listed below
- Dr. Disassembler☆35Updated 3 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆30Updated 2 years ago
- Python bindings for BochsCPU☆35Updated this week
- Ghidra Sleight (PCode) parsing library in Rust.☆42Updated last month
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆26Updated last week
- Xyntia, the black-box deobfuscator☆65Updated this week
- ☆40Updated 3 years ago
- NinjaDiff is a binary diffing plugin for Binary Ninja. Read more on our blog, and contribute code & improvements!☆61Updated 3 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆29Updated 2 years ago
- QuarkslaB Dynamic Linker library☆80Updated 2 months ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated this week
- Mixed Boolean Arithmetic Simplification using E-Graphs☆13Updated this week
- Tantō slices functions into more consumable chunks☆48Updated 3 months ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆70Updated 5 months ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- This is the home of the raindrop obfuscator. It transforms program functions into obfuscated ROP chains that coexist seamlessly with the …☆61Updated 3 years ago
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆53Updated last year
- SMT Modeling for Ghidra's PCODE☆22Updated 2 weeks ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆60Updated 3 years ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆80Updated last week
- Build your emulation environment as needed☆65Updated 3 years ago
- ☆30Updated 4 years ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated last month
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year