ispras / crusherLinks
☆39Updated last week
Alternatives and similar repositories for crusher
Users that are interested in crusher are comparing it to the libraries listed below
Sorting:
- tools for CI fuzzing automation☆33Updated this week
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆138Updated last week
- Juliet C/C++ Dynamic Test Suite☆29Updated 2 years ago
- This is a go-protobuf-mutator library for random value mutations. This is a Go equivalent of libprotobuf-mutator, which is implemented in…☆33Updated 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…☆17Updated last week
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆320Updated 2 weeks ago
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆53Updated 2 weeks ago
- Library for manipulating gdb in batch mode☆21Updated 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.☆192Updated 2 years ago
- ☆192Updated last year
- SanRazor is a sanitizer check reduction tool aiming to incur little overhead while retaining all important sanitizer checks.☆53Updated 4 years ago
- Proceedings of ISP RAS LaTeX Template☆13Updated 5 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆59Updated last year
- Sydr benchmark applications☆17Updated 2 years ago
- ☆32Updated last year
- A grammar-based custom mutator for AFL++☆254Updated last year
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆230Updated 3 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆154Updated 3 years ago
- Produce code coverage results with gcov from afl-fuzz test cases☆84Updated 6 months ago
- autofz: Automated Fuzzer Composition at Runtime☆78Updated last year
- ☆41Updated 2 years ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆54Updated 2 months ago
- ☆252Updated 2 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
- Read-only mirror of the Klever Git repository☆23Updated this week
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆281Updated last year
- Program analysis tools developed at Draper on the CBAT project.☆103Updated 2 years ago
- ☆82Updated 3 months ago
- ☆132Updated 5 years ago
- ParmeSan: Sanitizer-guided Greybox Fuzzing☆178Updated last year