Vector35 / OpaquePredicatePatcher
☆63Updated this week
Related projects ⓘ
Alternatives and complementary repositories for OpaquePredicatePatcher
- ☆71Updated 3 years ago
- transpile llil to c++ for execution and testing☆41Updated 10 months ago
- Nampa - FLIRT for (binary) ninjas☆89Updated 2 years ago
- ☆76Updated 3 years ago
- Making Type Info Library (TIL) file for Apache modules☆54Updated 3 years ago
- ☆90Updated 4 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆65Updated 2 months ago
- A Low Level IL emulator for Binary Ninja☆36Updated 5 years ago
- Collects extended function properties from IDA Pro databases☆91Updated 3 years ago
- PoC for a taint based attack on VMProtect☆109Updated 5 years ago
- Symbolic Simplification with PAttern Matching☆101Updated 7 years ago
- Small programs and scripts that do not require their own repositories☆129Updated 2 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆67Updated 5 years ago
- VMX intrinsics plugin for Hex-Rays decompiler☆70Updated 5 years ago
- Alternative API for IDA / Hex-Rays☆72Updated last year
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- ☆46Updated 2 years ago
- Analyses in IDA/Hex-Rays☆78Updated last year
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆54Updated 2 years ago
- A simple pluggable tool to convert an unrolled TritonAST to LLVM-IR, optimize it and get back to TritonAST.☆34Updated 4 years ago
- Slightly better IDA code folding☆13Updated 4 years ago
- An extremely experimental Binary Ninja importer for the type layout information emitted by the -Zprint-type-sizes flag of the Rust compil…☆30Updated last year
- Build your emulation environment as needed☆64Updated 3 years ago
- Port of MBA Solver SiMBA to C/C++☆76Updated 2 weeks ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆107Updated 3 weeks ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- Control-flow-flattening and string deobfuscator☆147Updated 3 years ago
- IDA's Lumina feature, reimplemented for Binary Ninja, with new error handeling!☆36Updated 6 months ago
- ☆30Updated 4 years ago
- This IDAPython script tags subroutines according to their use of imported functions☆71Updated 3 years ago