season-lab / SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
☆16Updated last year
Alternatives and similar repositories for SymFusion:
Users that are interested in SymFusion are comparing it to the libraries listed below
- ☆11Updated 2 years ago
- ☆20Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆26Updated 11 months ago
- experiments for IJON☆12Updated 5 years ago
- ☆14Updated 4 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- winafl with mopt mutators and afl fast power schedulers.☆22Updated 2 weeks ago
- ☆24Updated last year
- BigMap integration on AFL++☆15Updated 3 years ago
- A coverage-based software testing tool☆33Updated 4 years ago
- ☆18Updated 4 years ago
- MIPS32 emulation fuzzing☆11Updated 4 years ago
- ☆41Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆13Updated 2 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- ☆18Updated 3 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Updated 4 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Slow llvm tracing for the masses☆14Updated 4 years ago
- ☆23Updated 2 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆13Updated last year
- ghidra scripts☆15Updated 4 years ago
- ☆20Updated 3 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- OSS-Fuzz Public Corpora Crawler☆22Updated last year
- ☆24Updated 9 months ago
- QEMU to drcov trace file☆11Updated 4 years ago
- ☆11Updated 3 years ago