ispras / crusherLinks
☆40Updated 3 months ago
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 last month
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆141Updated 3 weeks ago
- Juliet C/C++ Dynamic Test Suite☆30Updated 2 years ago
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆17Updated 3 months ago
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆331Updated last month
- This is a go-protobuf-mutator library for random value mutations. This is a Go equivalent of libprotobuf-mutator, which is implemented in…☆35Updated last week
- Sydr benchmark applications☆17Updated 3 years ago
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆53Updated last week
- ☆252Updated 2 years ago
- SymQEMU: Compilation-based symbolic execution for binaries☆358Updated 5 months ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆16Updated 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.☆196Updated 2 years ago
- Library for manipulating gdb in batch mode☆20Updated last year
- ☆94Updated 6 months ago
- A LLVM Sanitizer for Symbolic Tracing☆225Updated 3 months ago
- ☆199Updated last month
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆280Updated last year
- Proceedings of ISP RAS LaTeX Template☆13Updated 5 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆60Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆87Updated 9 months ago
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆56Updated last year
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆246Updated 11 months ago
- A grammar-based custom mutator for AFL++☆260Updated last year
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆165Updated last month
- ☆307Updated 4 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆232Updated 3 years ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆58Updated 5 months ago
- ☆42Updated 2 years ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers