binsec / rosa
ROSA: Finding Backdoors with Fuzzing
☆21Updated last month
Alternatives and similar repositories for rosa:
Users that are interested in rosa are comparing it to the libraries listed below
- ☆37Updated 2 years ago
- ☆18Updated last year
- Paper and implementation of "SAND: Decoupling Sanitization from Fuzzing for Low Overhead"☆15Updated 2 months ago
- Progressive Scrutiny: Incremental Detection of UBI bugs in the Linux Kernel☆29Updated 3 years ago
- ☆24Updated 2 years ago
- Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper☆28Updated last year
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆66Updated 3 years ago
- Library for manipulating gdb in batch mode☆20Updated last year
- Uncovering Container Confusion in the Linux Kernel☆43Updated last year
- ☆42Updated 3 years ago
- Coverage-guided Fuzzing as Online Stochastic Control☆50Updated 5 months ago
- A Symbolic Execution Engine for Dynamic Kernel Analysis☆29Updated 10 months 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
- Papers related with kernel papers☆13Updated 2 years ago
- Official repository of SyzRisk [ASIA CCS'24]☆11Updated 8 months ago
- kAFL Fuzzer☆33Updated last month
- AFLTeam Collaborative Parallel Fuzzing☆73Updated 2 years ago
- SyzScope is a research project that aims to reveal high-risk security bug from Syzbot. Learn more details in our paper.☆24Updated 3 years ago
- ☆32Updated 2 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆55Updated last year
- ☆82Updated 3 weeks ago
- ☆14Updated 3 years ago
- ☆14Updated 2 years ago
- AFL++ using the Ball-Larus path profiling algorithm for coverage feedback☆15Updated 2 years ago
- ☆25Updated last year
- ☆27Updated 3 years ago
- autofz: Automated Fuzzer Composition at Runtime☆76Updated last year
- Grey-box fuzzer SIVO☆14Updated 3 years ago
- ☆24Updated last year
- Blogpost about optimizing binary-only fuzzing with AFL++☆64Updated last year