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
- Files for my solution to the SSTIC 2021 challenge☆15Updated 3 years ago
- Python interface for Binexport, the Bindiff export format☆14Updated 4 months ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆27Updated 3 years ago
- ☆17Updated 2 years ago
- Cumulative cyclomatic complexity calculation for Ghidra☆20Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Course sample for SMT-Based Binary Program Analysis training class☆30Updated 6 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Export a binary from ghidra to emulate with unicorn☆25Updated 5 years ago
- ☆46Updated 2 years ago
- ☆30Updated 4 years ago
- Bluefrost Exploitation Challenge 2019 - Exploit and Writeup☆22Updated 8 months ago
- An AFL scaling benchmarking tool☆18Updated 4 years 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
- A IDA plugin to enable linking to locations in an IDB with a disas:// URI☆32Updated last year
- Python based angr plug in for IDA Pro.☆34Updated 6 years ago
- Load function names from an IDA Pro database inside GDB☆20Updated 6 years ago
- dk is a WinDbg extenion for dumping memory data in meaningful and organized ways, it is an enhancement of my previous tokenext project.☆22Updated last year
- A fast, multithreaded, ROP-gadget semantics analyzer.☆49Updated 3 years ago
- PoC for a snapshot-based coverage-guided fuzzer targeting Windows kernel components☆67Updated 3 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆15Updated last year
- Build your emulation environment as needed☆64Updated 3 years ago
- binary ninja related code☆24Updated 2 years ago
- Ditto.☆16Updated 4 years ago
- Ghidra analyzer for UEFI firmware.☆15Updated last year
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago