Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on A Survey of Symbolic Execution Techniques (2018). Parent comment
> all possible unsafe inputs are guaranteed to be found
A sound system can reject all programs and still be sound. Therefore, it does not follow that all possible unsafe inputs are guaranteed to be found.
In my view, focusing on program acceptance or rejection is not really helpful.
There are no comments on this comment yet.
> all possible unsafe inputs are guaranteed to be found
A sound system can reject all programs and still be sound. Therefore, it does not follow that all possible unsafe inputs are guaranteed to be found.
In my view, focusing on program acceptance or rejection is not really helpful.