joshwatson / emilator
A Low Level IL emulator for Binary Ninja
☆37Updated 6 years ago
Alternatives and similar repositories for emilator:
Users that are interested in emilator are comparing it to the libraries listed below
- ☆64Updated 5 months ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆51Updated 9 years ago
- Nampa - FLIRT for (binary) ninjas☆94Updated 4 months ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Updated 3 years ago
- Abstract library to generate angr states from a debugger state☆59Updated 4 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- ☆26Updated 6 years ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆56Updated 2 years ago
- TaintInduce is a project which aims to automate the creation of taint propagation rules for unknown instruction sets.☆59Updated 4 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 4 years ago
- This repository contains the currently implemented angr concrete targets.☆33Updated last year
- transpile llil to c++ for execution and testing☆42Updated last year
- Slightly better IDA code folding☆14Updated 4 years ago
- Function signature matching and signature generation plugin for Binary Ninja☆69Updated 7 months ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆68Updated 3 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- Interface GDB-GEF with Binary Ninja☆58Updated 4 years ago
- Transfer analysis data between Binary Ninja and IDA☆133Updated 7 months ago
- A BinaryNinja plugin to graph a BNIL instruction tree☆86Updated last year
- Course sample for SMT-Based Binary Program Analysis training class☆31Updated 7 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆93Updated last year
- MrsPicky - An IDAPython decompiler script that helps auditing memcpy() and memmove() calls☆123Updated last year
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- A binary ninja plugin to detect crypto☆66Updated last year
- ☆49Updated 4 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- Making Type Info Library (TIL) file for Apache modules☆55Updated 4 years ago
- Hex-Rays microcode API plugin for breaking an obfuscating compiler☆83Updated 5 years ago