4 ms·
Have you checked out DeepState (https://github.com/trailofbits/deepstate https://github.com/trailofbits/deepstate), it's a symbolic unit testing framework that
by withzombies 8y ago
Have you checked out DeepState (https://github.com/trailofbits/deepstate https://github.com/trailofbits/deepstate), it's a symbolic unit testing framework that has an interface similar to google test.
- TheNewAndy 8y agoI haven't - thanks. Writing test harnesses specific to the different tools (so far, just AFL and KLEE) has not been particularly difficult - all of them fit easily on one screen. So I'm not sure that deepstate really brings much to the table for what I'm doing.