ispras / crusher
☆40Updated 2 months ago
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 weeks ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆137Updated 2 weeks ago
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆14Updated 4 months ago
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆303Updated last week
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆51Updated this week
- Juliet C/C++ Dynamic Test Suite☆27Updated last year
- Library for manipulating gdb in batch mode☆20Updated 11 months ago
- Sydr benchmark applications☆17Updated 2 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆76Updated last month
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆174Updated 10 months ago
- Proceedings of ISP RAS LaTeX Template☆12Updated 4 years ago
- ☆189Updated 9 months ago
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 3 years ago
- Clade is a tool for extracting information about software build process and source code☆20Updated last year
- ☆80Updated last week
- A grammar-based custom mutator for AFL++☆243Updated 7 months ago
- JIGSAW is a fuzzing-based path constraint solver.☆70Updated 8 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆53Updated 10 months ago
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆66Updated 3 years ago
- A LLVM Sanitizer for Symbolic Tracing☆216Updated 5 months ago
- fuzzing + concolic = fuzzolic :)☆119Updated 9 months ago
- UT based automated fuzz driver generation☆164Updated last month
- ☆63Updated 11 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 9 months ago
- Read-only mirror of the Klever Git repository☆22Updated last month
- Challenging testcases for fuzzers☆68Updated 11 months ago
- Natch: инс трумент определения поверхности атаки☆23Updated this week
- A collection of analysis tools for Kconfig and Kbuild constraints.☆47Updated 4 months ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆162Updated last year
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago