axt / cfg-explorer
CFG explorer for binaries
☆79Updated 3 months ago
Alternatives and similar repositories for cfg-explorer:
Users that are interested in cfg-explorer are comparing it to the libraries listed below
- ☆72Updated 3 years ago
- Official implementation for UniASM: Binary Code Similarity Detection without Fine-tuning.☆17Updated last year
- ☆41Updated 2 years ago
- Symbolic Execution Over Processor Traces☆119Updated 6 months ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆26Updated 3 years ago
- ROP Benchmark is a tool to compare ROP compilers☆41Updated 2 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago
- Code and artifacts related to the Asia CCS 2022 paper☆35Updated 3 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 2 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- ☆81Updated 3 years ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆100Updated 2 years ago
- Identify and test the security of dynamic memory allocators in monolithic firmware images☆43Updated last year
- fuzzing + concolic = fuzzolic :)☆119Updated 9 months ago
- ☆67Updated 5 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 9 months ago
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆81Updated last week
- Material and examples for a presentation on static binary analysis.☆41Updated 3 years ago
- ☆23Updated 2 years ago
- AFL bindings for Unicorn-Engine☆71Updated last month
- Binary Code Similarity Analysis (BCSA) Tool☆120Updated 2 years ago
- A data-flow-guided fuzzer☆115Updated last year
- Directed fuzzing framework for gVisor.☆23Updated last year
- ☆140Updated 3 months ago
- InsTrim: Lightweight Instrumentation for Coverage-guided Fuzzing☆82Updated 4 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆59Updated 2 years ago
- Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation☆153Updated 2 years ago
- angr's exploration technique to perform taint analysis☆55Updated 4 years ago
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- cinspector - a static C source code analysis framework☆26Updated 8 months ago