DeepState
A unit test-like interface for fuzzing and symbolic execution
About
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 more about the goals and design of DeepState in our paper.
Open Source Health
- Stars
- 862
- Forks
- 107
- License
- Apache-2.0
- Last commit
- 1 years ago
Related Categories
Vendor
Trailofbits
Publisher of Algo VPN
Quick Links
Open Source
More by Trailofbits
Related Products
Mishegos
A differential fuzzer for x86 decoders
More from this vendor
Vscan
开源、轻量、快速、跨平台 的网站漏洞扫描工具，帮助您快速检测网站安全隐患。功能 端口扫描(port scan) 指纹识别(fingerprint) 漏洞检测(nday check) 智能爆破 (admin brute) 敏感文件扫描(file fuzz)
Top category match
CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
Top category match
jsEncrypter
一个用于前端加密Fuzz的Burp Suite插件
Top category match
Oss Fuzz
OSS-Fuzz - continuous fuzzing for open source software.
Top category match