trailofbits/deepstate
View on GitHub ↗ ★ 865 Python
A unit test-like interface for fuzzing and symbolic execution
15 mentions on Hacker News by 12 people: 3 stories, 12 comments · first 2018-02-18 · latest 2021-09-09
20082026
-
▲ 3
DeepState – common interface to symbolic execution and fuzzing enginesstory by pabs3 · 2021-04-30 · 0 comments
-
▲ 2
DeepState augments C/C++ test-driven development with symbolic executionstory by fanf2 · 2018-02-19 · 0 comments
-
▲ 1
DeepState: Symbolic Unit Testing for C and C++story by galapago · 2018-02-18 · 0 comments