atredis-jordan / SymbolicTriagePost
Supporting Materials for “Symbolic Triage” blog post
☆24Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for SymbolicTriagePost
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Python based angr plug in for IDA Pro.☆34Updated 6 years ago
- ☆17Updated 2 years ago
- Files for my solution to the SSTIC 2021 challenge☆15Updated 3 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- ☆46Updated 2 years ago
- Python interface for Binexport, the Bindiff export format☆14Updated 4 months ago
- ☆30Updated 4 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆27Updated 3 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆22Updated 9 months ago
- Python bindings for BochsCPU☆34Updated last month
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆42Updated 4 months ago
- IDA+Triton plugin in order to extract opaque predicates using a Forward-Bounded DSE. Example with X-Tunnel.☆51Updated 5 years ago
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 6 years ago
- Binary Ninja plugin that decompiles the whole binary and saves them in a directory.☆22Updated last year
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- Binary Ninja Plugin for Generating Callgraphs☆17Updated 2 years ago
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 3 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- Build your emulation environment as needed☆64Updated 3 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- transpile llil to c++ for execution and testing☆41Updated 10 months ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- ☆24Updated 3 years ago