ispras / crusher
☆39Updated last week
Alternatives and similar repositories for crusher:
Users that are interested in crusher are comparing it to the libraries listed below
- tools for CI fuzzing automation☆31Updated 2 months ago
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆16Updated 7 months ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆138Updated this week
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆51Updated 2 weeks ago
- Juliet C/C++ Dynamic Test Suite☆28Updated 2 years ago
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆306Updated 2 weeks ago
- Library for manipulating gdb in batch mode☆20Updated last year
- Sydr benchmark applications☆17Updated 2 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆82Updated 3 months ago
- ☆45Updated last year
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆191Updated 2 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆55Updated last year
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- QEMU-based Memory Sanitizer for binary software.☆10Updated last month
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 11 months ago
- Proceedings of ISP RAS LaTeX Template☆12Updated 4 years ago
- ☆189Updated 11 months ago
- SymCC: efficient compiler-based symbolic execution☆8Updated last year
- ☆133Updated 3 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
- Challenging testcases for fuzzers☆70Updated last year
- A LLVM Sanitizer for Symbolic Tracing☆220Updated this week
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆138Updated 3 years ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆164Updated last year
- A regression greybox fuzzer aflchurn☆66Updated 2 years ago
- ☆29Updated last year
- ☆79Updated 3 weeks ago
- Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation☆59Updated 4 months ago
- ☆65Updated last year