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
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- ☆11Updated 2 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- experiments for IJON☆12Updated 5 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- ☆20Updated 7 months ago
- A fast binary coverage measurement tool based on AFL's Qemu mode☆33Updated 3 years ago
- Superion Mutator for AFLPlusPlus☆32Updated last year
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated 10 months ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- ☆14Updated 4 years ago
- ☆18Updated last year
- ☆42Updated 3 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- ☆11Updated 3 years ago
- ☆24Updated 2 years ago
- QEMU to drcov trace file☆11Updated 4 years ago
- BigMap integration on AFL++☆15Updated 4 years ago
- Python GUI for seeing what's happening inside a fuzzer☆26Updated 3 years ago
- ☆18Updated 3 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- ☆24Updated 11 months ago
- Slow llvm tracing for the masses☆14Updated 5 years ago
- This is the project of LearnAFL.☆27Updated 4 years ago
- Banana Fuzzer ~ modulable, loop based, poc gen, code cov, platform agnostic, race oriented☆59Updated 2 years ago
- ☆19Updated 4 years ago
- ☆34Updated 3 years ago
- KLEE-fl : Compile Project to Bitcode and Try Fuzzing with KLEE .☆29Updated 6 years ago
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago