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
- ☆101Updated 8 months ago
- AFL/AFL++ version FishFuzz☆83Updated 5 months ago
- ☆66Updated 4 years ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆54Updated last year
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆149Updated 2 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆63Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆34Updated 2 years ago
- We hinder fuzzing☆64Updated 2 years ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆79Updated 2 months ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- ☆50Updated 5 years ago
- Intriguer: Field-Level Constraint Solving for Hybrid Fuzzing☆34Updated 9 months ago
- An standalone execution trace library built on DynamoRIO.☆22Updated 2 years ago
- A data-flow-guided fuzzer☆111Updated last year