deepstate

DeepState is a framework designed for C and C++ developers that facilitates the integration of various symbolic execution and fuzzing engines through a unified interface. It allows users to write test harnesses using a Google Test-like API, enabling seamless execution across multiple backends while supporting automatic test generation and both unit and API sequence tests. Notable features include Docker support for easy setup and pre-built examples, enhancing vulnerability detection within the development lifecycle.