ispras / crusher
☆36Updated last month
Related projects: ⓘ
- tools for CI fuzzing automation☆26Updated 4 months ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆129Updated last week
- 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
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆51Updated 8 months ago
- Library for manipulating gdb in batch mode☆20Updated 6 months ago
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆276Updated last month
- Sydr benchmark applications☆15Updated 2 years ago
- Juliet C/C++ Dynamic Test Suite☆23Updated last year
- Clade is a tool for extracting information about software build process and source code☆19Updated 9 months ago
- Proceedings of ISP RAS LaTeX Template☆10Updated 4 years ago
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆44Updated 5 months ago
- Natch: инструмент определения поверхности атаки☆16Updated this week
- Challenging testcases for fuzzers☆64Updated 6 months ago
- Produce code coverage results with gcov from afl-fuzz test cases☆66Updated 2 months ago
- ☆38Updated 6 months ago
- collection of helper tools for fuzzing☆17Updated 11 months ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆171Updated 5 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 4 months ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆133Updated 3 years ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆50Updated 5 months ago
- ☆185Updated 4 months ago
- ☆111Updated 2 years ago
- ☆37Updated last year
- Coverage-guided grammar aware fuzzer that uses grammar automatons☆62Updated 2 years ago
- A LLVM Sanitizer for Symbolic Tracing☆206Updated last week
- ☆126Updated 4 years ago
- kAFL Fuzzer☆33Updated 3 weeks ago
- A regression greybox fuzzer aflchurn☆63Updated 2 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆50Updated 9 months ago
- Fuzz testing framework for binary programs using AI☆49Updated last year