News for hackers. Stuff that matters.

A comment on Symbolic Execution: Intuition and Implementation.

Re:Symbolic Execution: Intuition and Implementation by dguido on Thursday March 08, 2018 @06:12PM (#16548569)
Check out DeepState, a Google Test-like library for easily using symbolic execution in C/C++ apps. It's still very early on but it's already usable!

https://github.com/trailofbits/deepstate

[ Parent | on HN ]

There are no comments on this comment yet.