4 ms·
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://gi
by dguido 9y ago
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 https://github.com/trailofbits/deepstate