binsec / rosaLinks
ROSA: Finding Backdoors with Fuzzing
☆24Updated 2 months ago
Alternatives and similar repositories for rosa
Users that are interested in rosa are comparing it to the libraries listed below
Sorting:
- ☆39Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆29Updated last year
- ☆19Updated 6 months ago
- Library for manipulating gdb in batch mode☆20Updated last year
- 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☆28Updated 2 years ago
- ☆42Updated 3 months ago
- OGHarn: Oracle-guided Fuzzing Harness Generation☆41Updated 3 weeks ago
- Practical Data-Only Attack Generation☆41Updated last year
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆31Updated 3 years ago
- ☆75Updated 3 years ago
- ☆14Updated 3 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆54Updated 10 months ago
- ☆43Updated 3 years ago
- ☆19Updated 3 months ago
- ☆25Updated 2 years ago
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆22Updated 7 months ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆68Updated 3 months ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆127Updated last year
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆13Updated 11 months ago
- autofz: Automated Fuzzer Composition at Runtime☆82Updated 2 years ago
- ☆132Updated last year
- kAFL Fuzzer☆34Updated 6 months ago
- ☆17Updated last year
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆10Updated 2 years ago
- The Use of Likely Invariants as Feedback for Fuzzers☆89Updated 3 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- ☆86Updated 5 months ago
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆23Updated 3 years ago
- ☆42Updated 2 years ago