DeepState augments C/C++ test-driven development with symbolic executiongithub.com/trailofbits2 pointsfanf28 years ago