season-lab / SymFusion
SymFusion: Hybrid Instrumentation for Concolic Execution
☆17Updated last year
Alternatives and similar repositories for SymFusion:
Users that are interested in SymFusion are comparing it to the libraries listed below
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆26Updated last year
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- ☆14Updated 4 years ago
- ☆18Updated 3 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- Slow llvm tracing for the masses☆14Updated 5 years ago
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- BigMap integration on AFL++☆15Updated 3 years ago
- ☆11Updated 2 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated 9 months ago
- ☆42Updated 2 years ago
- ☆19Updated 2 years ago
- ☆18Updated 4 years ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- ☆20Updated 5 months ago
- experiments for IJON☆12Updated 5 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- Ghidra analyzer for UEFI firmware.☆15Updated last year
- ☆34Updated 3 years ago
- ☆16Updated 5 years ago
- This is the project of LearnAFL.☆27Updated 4 years ago
- This is an example library to show how to fuzz with AFL++ only the code modified by the last commit.☆17Updated 5 years ago
- OSS-Fuzz Public Corpora Crawler☆22Updated 2 years ago
- Bring libfuzzer to Unicorn☆26Updated 3 years ago
- ☆24Updated 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
- ☆11Updated 3 years ago