symbolic execution plugin for binary ninja
☆349Jan 26, 2026Updated last month
Alternatives and similar repositories for seninja
Users that are interested in seninja are comparing it to the libraries listed below
Sorting:
- A research decompiler implemented as a Binary Ninja plugin.☆218Updated this week
- transpile llil to c++ for execution and testing☆48Jan 11, 2024Updated 2 years ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆64Jul 17, 2024Updated last year
- Tantō slices functions into more consumable chunks☆79Dec 8, 2025Updated 2 months ago
- Public API, examples, documentation and issues for Binary Ninja☆1,214Updated this week
- Binary Ninja plugin to identify obfuscated code and other interesting code constructs☆650Mar 14, 2025Updated 11 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆149Sep 18, 2023Updated 2 years ago
- ☆79Jul 26, 2022Updated 3 years ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆105Feb 15, 2025Updated last year
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆62Jun 3, 2022Updated 3 years ago
- Open-source symbolic execution framework: https://maat.re☆648Feb 22, 2026Updated last week
- Plugin to embed Ghidra Decompiler into Binary Ninja☆97Jun 8, 2022Updated 3 years ago
- Quarkslab Bindiffer but not only !☆219May 5, 2025Updated 10 months ago
- A Binary Ninja plugin for vulnerability research.☆299Sep 7, 2024Updated last year
- Symbolic execution of LLVM IR with an engine written in Rust☆580Oct 27, 2023Updated 2 years ago
- Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions☆345Feb 2, 2026Updated last month
- A Low Level IL emulator for Binary Ninja☆41Feb 5, 2019Updated 7 years ago
- Binary Ninja Debugger Plugin☆143Apr 21, 2022Updated 3 years ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆683Updated this week
- Binary Ninja plugin & workflow to help analyze Objective-C code☆84Jul 11, 2022Updated 3 years ago
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆621Dec 20, 2024Updated last year
- Snapshot-based coverage-guided windows kernel fuzzer☆323Dec 16, 2021Updated 4 years ago
- Binary Ninja plugin for automating VMProtect analysis☆63Dec 2, 2022Updated 3 years ago
- Simplification of General Mixed Boolean-Arithmetic Expressions: GAMBA☆208Nov 21, 2023Updated 2 years ago
- Greybox Synthesizer geared for deobfuscation of assembly instructions.☆167Feb 16, 2025Updated last year
- An Interactive Hex-Rays Microcode Explorer☆651Feb 8, 2024Updated 2 years ago
- revng: the core repository of the rev.ng project☆1,633Feb 25, 2026Updated last week
- A lightweight dynamic instrumentation library☆1,314Updated this week
- A binary analysis framework written in Rust.☆175Updated this week
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆209Updated this week
- Binary Ninja plugin for forward/backward slicing☆18Nov 25, 2020Updated 5 years ago
- Repository for community provided Binary Ninja plugins☆564Updated this week
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆174Updated this week
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆166Dec 5, 2022Updated 3 years ago
- A plugin to introduce interactive symbols into your debugger from your decompiler☆777Feb 18, 2026Updated 2 weeks ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago
- Library for lifting machine code to LLVM bitcode☆1,605Feb 13, 2026Updated 2 weeks ago
- Control-flow-flattening and string deobfuscator☆160Nov 8, 2021Updated 4 years ago
- ☆69Nov 19, 2024Updated last year