axt / cfg-explorer
CFG explorer for binaries
☆78Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for cfg-explorer
- ☆71Updated 3 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆75Updated 2 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆42Updated last year
- Symbolic Execution Over Processor Traces☆116Updated 3 months ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆84Updated 6 months ago
- A collection of papers, tools about type inferring, variable renaming, function name inferring on stripped binary executables.☆78Updated this week
- ☆80Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆72Updated 2 years ago
- ☆27Updated 3 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆24Updated 2 years ago
- ☆38Updated 2 years ago
- A data-flow-guided fuzzer☆111Updated last year
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆97Updated 2 years ago
- Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting☆188Updated last year
- ☆50Updated 5 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- ☆33Updated last year
- Official implementation for UniASM: Binary Code Similarity Detection without Fine-tuning.☆17Updated last year
- ROP Benchmark is a tool to compare ROP compilers☆39Updated last year
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆151Updated 2 years ago
- ☆27Updated last year
- 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
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆41Updated 2 years ago
- fuzzing + concolic = fuzzolic :)☆117Updated 6 months ago
- Binary Code Similarity Analysis (BCSA) Tool☆115Updated 2 years ago
- ☆132Updated 3 weeks ago
- A Cross-Language Dynamic Information Flow Analysis.☆24Updated last year
- angr源码分析☆33Updated 4 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆68Updated 5 months ago