ispras / crusherLinks
☆42Updated last month
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☆34Updated 4 months ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆143Updated last week
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆343Updated last month
- Juliet C/C++ Dynamic Test Suite☆33Updated 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…☆18Updated 2 months ago
- 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 month
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆56Updated 3 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.☆195Updated 3 years ago
- Sydr benchmark applications☆16Updated 3 years ago
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15Updated last year
- ☆253Updated 2 years ago
- ☆203Updated 4 months ago
- Library for manipulating gdb in batch mode☆20Updated last year
- Produce code coverage results with gcov from afl-fuzz test cases☆88Updated last week
- A LLVM Sanitizer for Symbolic Tracing☆228Updated this week
- Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)☆58Updated last year
- Domain-Specific Fuzzing with Waypoints☆240Updated 2 years ago
- ROSA: Finding Backdoors with Fuzzing☆28Updated 7 months ago
- SymQEMU: Compilation-based symbolic execution for binaries☆368Updated 8 months ago
- Symbolic debugger☆30Updated 3 weeks ago
- A grammar-based custom mutator for AFL++☆267Updated last month
- Recent symbolic execution papers and tools.☆181Updated 8 months ago
- autofz: Automated Fuzzer Composition at Runtime☆84Updated 2 years ago
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆236Updated 3 years ago
- StateAFL: A Greybox Fuzzer for Stateful Network Servers☆171Updated 2 years ago
- PTABen: Micro-benchmark Suite for Pointer Analysis☆84Updated this week
- Proceedings of ISP RAS LaTeX Template☆13Updated 5 years ago
- ☆42Updated 3 years ago
- A deterministic, fuzzable pthread implementation☆45Updated 2 years ago
- Constraint solver based on coverage-guided fuzzing☆249Updated 2 years ago