☆43May 20, 2026Updated this week
Alternatives and similar repositories for crusher
Users that are interested in crusher are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Framework for Structure Aware Fuzzing. Allows to build own stamps that would convert pulp-data that came from fuzzer to data with structu…☆18Mar 4, 2026Updated 2 months ago
- tools for CI fuzzing automation☆33Sep 1, 2025Updated 8 months ago
- Proceedings of ISP RAS LaTeX Template☆12Apr 28, 2020Updated 6 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…☆35Feb 16, 2026Updated 3 months ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Computes cyclomatic complexity metrics on C cource code☆20Apr 10, 2023Updated 3 years ago
- FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек☆57Apr 3, 2026Updated last month
- Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.☆355Mar 23, 2026Updated 2 months ago
- collection of helper tools for fuzzing☆17Oct 3, 2023Updated 2 years ago
- Library for manipulating gdb in batch mode☆21Mar 10, 2024Updated 2 years ago
- Natch: инструмент определения поверхности атаки☆34Updated this week
- Testing system for Prolog programs on Flask+React. Useful for exam preparation☆23Jan 31, 2023Updated 3 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.☆147May 13, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Experiment in implementation of an instrumentation for American Fuzzy Lop using DynamoRIO☆15Jul 29, 2017Updated 8 years ago
- Fuzzing Lua runtimes without pain☆12May 4, 2026Updated 2 weeks ago
- exec interceptor☆30May 9, 2022Updated 4 years ago
- A TLA+ specification for the Xen vchan protocol☆15Jan 7, 2026Updated 4 months ago
- libFuzzer driver for SharpFuzz☆14May 2, 2025Updated last year
- Test and benchmark repository for Z3.☆27Mar 17, 2026Updated 2 months ago
- An index of archived code and papers. Open an issue to request an addition.☆23Jan 7, 2020Updated 6 years ago
- Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.☆68Feb 19, 2026Updated 3 months ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ME firmware blob tools☆15Jan 1, 2014Updated 12 years ago
- Synthesizes efficient Z3 strategies tailored to your problem set! Repo for the IJCAI'24 paper: Layered and Staged Monte Carlo Tree Search…☆25Updated this week
- ☆53Sep 4, 2025Updated 8 months ago
- Guide to the Software Engineering Body of Knowledge Version 3 (SWEBOK)☆31Dec 16, 2022Updated 3 years ago
- EDK II☆16Apr 30, 2024Updated 2 years ago
- An x86-64 instruction decoder.☆16Mar 11, 2024Updated 2 years ago
- Code coverage reporting tool☆51Nov 27, 2016Updated 9 years ago
- CentOS 6.9 build Docker environment to distribute portable Linux binaries☆13Dec 28, 2021Updated 4 years ago
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆201Sep 1, 2025Updated 8 months ago
- ROP Benchmark is a tool to compare ROP compilers☆44Jan 26, 2023Updated 3 years ago
- Unofficial Python bindings to libclang☆26Feb 6, 2020Updated 6 years ago
- Solver for Constrained Horn Clauses☆51May 8, 2026Updated 2 weeks ago
- Fuzzers implemented with libafl to evaluate several techniques on fuzzbench☆12Oct 10, 2024Updated last year
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago