s3team / SquirrelLinks
☆209Updated 3 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☆62Updated 3 years ago
- Concurrency Paper☆114Updated 2 years ago
- Kernel fuzzer inspired by Syzkaller.☆284Updated 3 years ago
- Superion is a fuzzer which extends the famous AFL to support structured inputs such as JavaScript and XML.☆139Updated 3 years ago
- Hydra: an Extensible Fuzzing Framework for Finding Semantic Bugs in File Systems☆173Updated 3 years ago
- A fuzzing framework for finding transactional bugs in DBMSs☆54Updated 2 years ago
- ☆106Updated 2 years ago
- Detect missing check bugs in OS kernels☆113Updated 2 years ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆100Updated 2 months ago
- A grammar-based custom mutator for AFL++☆267Updated last month
- ☆53Updated 5 years ago
- EcoFuzz-An adaptive energy-saving greybox fuzzer☆54Updated 5 years ago
- A ground-truth fuzzing benchmark suite based on real programs with real bugs.☆334Updated 3 weeks ago
- A universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).☆120Updated 2 years ago
- A LLVM Sanitizer for Symbolic Tracing☆228Updated last week
- Run fuzzing experiments in Docker☆101Updated 4 years ago
- The Art, Science, and Engineering of Fuzzing: A Survey☆229Updated last month
- fuzzing related paper☆226Updated 4 years ago
- ☆97Updated 4 months ago
- Automatic testing tools with a general test oracle for detecting crashes and logic bugs in database systems☆45Updated 6 months ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆89Updated 4 months ago
- UT based automated fuzz driver generation☆169Updated 9 months ago
- Directed Greybox Fuzzing with AFL☆550Updated last year
- Teaching and Learning Software Analysis via SVF