s3team / SquirrelLinks
☆197Updated 2 years ago
Alternatives and similar repositories for Squirrel
Users that are interested in Squirrel are comparing it to the libraries listed below
Sorting:
- Coveraged-based fuzzer for finding DBMS logical bugs☆53Updated 2 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆52Updated 2 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆168Updated 2 years ago
- Kernel fuzzer inspired by Syzkaller.☆280Updated 3 years ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆40Updated last week
- Concurrency Paper☆110Updated 2 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆134Updated 2 years ago
- ☆61Updated 3 years ago
- ☆104Updated last year
- A grammar-based custom mutator for AFL++☆253Updated 11 months ago
- ☆7Updated 2 years ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆118Updated 2 years ago
- Run fuzzing experiments in Docker☆101Updated 4 years ago
- [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel☆76Updated 3 years ago
- Detecting Logic Bugs in MySQL through Implication Oracle☆1Updated last year
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆71Updated 4 years ago
- KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)☆116Updated last week
- ☆68Updated 11 months ago
- Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.☆252Updated 9 months ago
- Detect missing check bugs in OS kernels☆110Updated last year
- There are some papers about fuzzing. I record them by Xmind. Welcome to contact to me.☆274Updated 5 years ago
- source code for savior fuzzer☆127Updated 4 years ago
- ☆93Updated 2 years ago
- 🔍 To record the papers I have read.☆25Updated 3 years ago
- fuzzing related paper☆227Updated 3 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆178Updated last year
- EcoFuzz-An adaptive energy-saving greybox fuzzer☆51Updated 5 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆312Updated 3 weeks ago
- Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management fu…☆82Updated last year
- 20 benchmark programs☆47Updated 4 years ago