ispras / crusher
☆40Updated 3 weeks ago
Alternatives and similar repositories for crusher:
Users that are interested in crusher are comparing it to the libraries listed below
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆139Updated last week
- tools for CI fuzzing automation☆31Updated last month
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆16Updated 6 months ago
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆306Updated last week
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆51Updated last month
- Library for manipulating gdb in batch mode☆20Updated last year
- Juliet C/C++ Dynamic Test Suite☆28Updated last year
- Sydr benchmark applications☆17Updated 2 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆79Updated 3 months ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆176Updated 11 months ago
- ☆188Updated 10 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆54Updated last year
- A grammar-based custom mutator for AFL++☆251Updated 9 months ago
- A LLVM Sanitizer for Symbolic Tracing☆218Updated 6 months ago
- fuzzing + concolic = fuzzolic :)☆120Updated 10 months ago
- 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
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- Challenging testcases for fuzzers☆69Updated last year
- ☆253Updated last year
- SymQEMU: Compilation-based symbolic execution for binaries☆344Updated 4 months ago
- KLEE / CSE Project☆44Updated 4 years ago
- ☆13Updated 6 months ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆137Updated 3 years ago
- Fuzzle: Making a Puzzle for Fuzzers (ASE'22)☆45Updated last year
- ☆132Updated 3 years ago
- JIGSAW is a fuzzing-based path constraint solver.☆69Updated 10 months ago
- Proceedings of ISP RAS LaTeX Template☆12Updated 4 years ago
- ☆80Updated this week
- ☆302Updated 3 years ago
- Read-only mirror of the Klever Git repository☆22Updated 2 weeks ago