axt / cfg-explorer
CFG explorer for binaries
☆75Updated 7 months ago
Related projects: ⓘ
- ☆70Updated 3 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆70Updated 2 years ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆70Updated last month
- Symbolic Execution Over Processor Traces☆116Updated last month
- ☆125Updated 2 weeks ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆23Updated 2 years ago
- Binary Code Similarity Analysis (BCSA) Tool☆114Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆83Updated 4 months ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆41Updated last year
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- ROP Benchmark is a tool to compare ROP compilers☆38Updated last year
- angr源码分析☆33Updated 4 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆97Updated 2 years ago
- A collection of widely-fuzzed targets☆44Updated 5 years ago
- ☆28Updated 2 years ago
- ☆66Updated 2 years ago