bliutech / mbasedLinks
MIT IEEE URTC 2024. GSET 2024. Repository for the "MBASED: Practical Simplifications of Mixed Boolean-Arithmetic Obfuscation". A Binary Ninja decompiler plugin taking ideas from compiler construction to simplify obfuscated boolean expressions.
☆37Updated 2 months ago
Alternatives and similar repositories for mbased
Users that are interested in mbased are comparing it to the libraries listed below
Sorting:
- breaking decompilers☆52Updated 5 months ago
- Playing with LLVM passes☆37Updated 2 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆36Updated 3 years ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆64Updated last year
- IDA plugin to aid with Swift reverse engineering☆39Updated 11 months ago
- Symbolic executor for Binary Ninja's MLIL☆26Updated last year
- IDB parser☆23Updated last month
- Plugin to visualize Miasm IR graph in Binary Ninja.☆14Updated 6 years ago
- An IDA plugin that can be used to partially synchronize IDBs between different users reversing the same binaries☆134Updated 9 months ago
- transpile llil to c++ for execution and testing☆43Updated last year
- LLDB based debugger for Linux Kernel☆26Updated 6 months ago
- Disassembler for Zeus VM custom instruction set☆30Updated last year
- Binary Ninja plugin to analyze and simplify obfuscated code☆216Updated 2 weeks ago
- Python bindings for BochsCPU☆37Updated 2 months ago
- Bump your ida python script automatically!☆30Updated 6 months ago
- A cross-platform plugin for Ghidra that provides deep linking support. This enables the generation of clickable disas:// links that can b…☆42Updated 7 months ago
- Binary Ninja plugin for automating VMProtect analysis☆63Updated 2 years ago
- Binja (sort of) headless☆55Updated 8 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆24Updated 5 months ago
- Raw IDA Kernel API for IDAPython☆34Updated 3 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆80Updated 2 years ago
- ☆25Updated 4 months ago
- Go fastcall analysis for ida decompiler☆43Updated 4 months ago
- Adds a layer on top of IDA Python to make it easier to write scripts☆28Updated this week
- Binary Ninja Call Graph plugin☆24Updated 3 years ago
- Vulnerability research assistant that extracts pseudocode from the IDA Hex-Rays decompiler.☆77Updated last week
- nanoMIPS IDA plugin☆68Updated 4 years ago
- ☆76Updated 4 years ago
- Binary Ninja plugin to clean up some common obfuscation techniques.☆20Updated 5 years ago
- IDA strike-out: A Hex-Rays decompiler plugin to patch the Ctree☆119Updated last week