C / C++
DeepState
Common interface for C and C++ tests across multiple fuzzing and symbolic-execution backends.
View on GitHub
trailofbits/deepstate
Best for
Teams that want one harness to travel across several testing engines.
Surface
C / C++
Catalog group
Fuzz programs and break assumptions
Repository
trailofbits/deepstate
From the README
DeepState is a framework that provides C and C++ developers with a common interface to various symbolic execution and fuzzing engines. Users can write one test harness using a Google Test-like API, then execute it using multiple backends without having to learn the complexities of the underlying engines. It supports writing unit tests and API sequence tests, as well as automatic test generation.Read the full README on GitHub ↗
Related tools · Fuzz programs and break assumptions
- gosentry Security-focused Go toolchain fork that adds LibAFL fuzzing, structured inputs, grammar mode, and fuzz-time bug detectors.
- zfuzz Emulation-based snapshot fuzzer that can load arbitrary memory dumps and attack them directly.
- KRF Kernel fault-injection tool for Linux and FreeBSD designed to force error paths and expose weak handling.
- ProtoFuzz Grammar-aware fuzzer for Protocol Buffers that derives inputs from format definitions rather than hand-written generators.
- test-fuzz Rust macros and Cargo tooling that automate corpus creation and harness setup for fuzzing.
- Necessist Mutation-style tool that removes statements and calls to uncover tests that look healthy but are actually weak.