Have you checked out DeepState (https://github.com/trailofbits/deepstate), it's ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

withzombies on April 17, 2018 | parent | context | favorite | on: KLEE LLVM Execution Engine

Have you checked out DeepState (https://github.com/trailofbits/deepstate), it's a symbolic unit testing framework that has an interface similar to google test.

TheNewAndy on April 17, 2018 [–]

I 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.

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact