AFLplusplus / symcc
SymCC: efficient compiler-based symbolic execution
☆8Updated last year
Alternatives and similar repositories for symcc
Users that are interested in symcc are comparing it to the libraries listed below
Sorting:
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- ☆37Updated 2 years ago
- kAFL Fuzzer☆33Updated 2 months ago
- ☆12Updated 2 years ago
- A simple, web based dashboard to use with LibAFL + OnDiskJSONMonitor☆24Updated last year
- Measure Basic Blocks coverage of all testcases in the AFL queue using a patched QEMU☆22Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Updated 3 years ago
- ☆42Updated 3 years ago
- ☆13Updated 4 years ago
- ☆19Updated last year
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- ☆12Updated 3 years ago
- AFLTeam Collaborative Parallel Fuzzing☆74Updated 2 years ago
- Challenging testcases for fuzzers☆71Updated last year
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- An approximate solver for concolic execution☆18Updated 2 weeks ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆20Updated 2 months ago
- ☆24Updated last year
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- fuzzing + concolic = fuzzolic :)☆121Updated 2 weeks ago
- ☆24Updated 2 years ago
- Fast and effective grammar-based fuzzing based on Gramatron☆16Updated last month
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆23Updated 5 months ago
- Fuzzing with controlled compilation☆28Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- An example fuzzer about how to fuzz a JS engine combinign Nautilus with Token-level fuzzing☆43Updated last year
- Group coding repository of PltCov, a tool to instrument ELF binaries for fuzzing with ngram coverage of imported APIs☆12Updated 3 years ago
- ☆53Updated 5 years ago