☆42Dec 4, 2025Updated 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☆34Sep 1, 2025Updated 6 months ago
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆18Nov 27, 2025Updated 3 months ago
- Proceedings of ISP RAS LaTeX Template☆13Apr 28, 2020Updated 5 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- Computes cyclomatic complexity metrics on C cource code☆20Apr 10, 2023Updated 2 years ago
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆57Oct 17, 2025Updated 4 months ago
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆347Dec 3, 2025Updated 3 months ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- Fuzzing Lua runtimes without pain☆11Feb 25, 2026Updated last week
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated last month
- Experiment in implementation of an instrumentation for American Fuzzy Lop using DynamoRIO☆15Jul 29, 2017Updated 8 years ago
- Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)☆29Dec 16, 2022Updated 3 years ago
- SymRustC is a hybrid fuzzer for Rust combining concolic execution using SymCC and fuzzing using LibAFL.☆11Jun 28, 2023Updated 2 years ago
- Rust mg☆10Sep 19, 2019Updated 6 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆23Feb 10, 2026Updated 3 weeks ago
- collection of helper tools for fuzzing☆17Oct 3, 2023Updated 2 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Jun 6, 2023Updated 2 years ago
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- Code coverage reporting tool☆51Nov 27, 2016Updated 9 years ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆146Jan 21, 2026Updated last month
- A list of tools and material on steganography and information hiding☆17Jul 13, 2023Updated 2 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated last year
- Lectures in MIPT: intro to engineering software using model-checking.☆17Apr 19, 2021Updated 4 years ago
- Read-only mirror of the Klever Git repository☆25Feb 12, 2026Updated 2 weeks ago
- semgrep rules for flakiness, missed error handling, Lua antipatterns and pitfalls.☆17Nov 1, 2024Updated last year
- PlusCal Cheat Sheet by Stephan Merz☆25Sep 27, 2024Updated last year
- Test and benchmark repository for Z3.☆27Jan 21, 2026Updated last month
- Natch: инструмент определения поверхности атаки☆33Feb 18, 2026Updated 2 weeks ago
- exec interceptor☆30May 9, 2022Updated 3 years ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆25Jul 25, 2022Updated 3 years ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆77May 22, 2025Updated 9 months ago
- CBMC Viewer scans the output of CBMC and produces a browsable summary of its findings, making it easy to root cause the issues it finds.☆35Updated this week
- A design automation framework to engineer decision diagrams yourself☆26Feb 25, 2026Updated last week
- ☆10Jun 29, 2021Updated 4 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆33Oct 29, 2020Updated 5 years ago
- Juliet C/C++ Dynamic Test Suite☆35Apr 18, 2023Updated 2 years ago
- The BToolkit, a toolkit supporting software development with the B-method.☆38Apr 19, 2024Updated last year
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago