uds-se / AFLplusplus
AFL++ with support for FormatFuzzer
☆12Updated 2 years ago
Alternatives and similar repositories for AFLplusplus:
Users that are interested in AFLplusplus are comparing it to the libraries listed below
- ☆11Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Updated 2 years ago
- CPython bytecode instrumentation and forkserver tools for fuzzing pure python and mixed python/c code using AFL☆30Updated 3 years ago
- AIL: The angr Intermediate Language.☆31Updated this week
- BigMap integration on AFL++☆15Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆86Updated 3 years ago
- Default query sets for Joern☆26Updated 3 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 2 years ago
- ☆23Updated 2 years ago
- A monitoring script for AFL☆39Updated 8 years ago
- A coverage-based software testing tool☆33Updated 4 years ago
- ☆37Updated 10 months ago
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago
- ☆24Updated last year
- Superion Mutator for AFLPlusPlus☆32Updated last year
- Linux kernel branches for confidential compute research☆17Updated last week
- Repo for fuzzing projects☆46Updated 4 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆19Updated 5 years ago
- Concolic Execution Fuzzer☆24Updated 3 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
- ☆36Updated 2 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- Debugging library to quickly get the minimal crashing test case☆35Updated 6 years ago
- ☆27Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆16Updated last year