News for hackers. Stuff that matters.

A comment on A Survey of Symbolic Execution Techniques (2018).

Re:A Survey of Symbolic Execution Techniques (2018) by srfilipek on Tuesday May 21, 2019 @02:35PM (#19973311)
> Soundness prevents false negatives, i.e., all possible unsafe inputs are guaranteed to be found, while completeness prevents false positives, i.e., input values deemed unsafe are actually unsafe.

I really dislike this definition. It is confusing and backwards from normal math/logic parlance.

[ Parent | on HN ]
Re:A Survey of Symbolic Execution Techniques (2018) by smallnamespace on Tuesday May 21, 2019 @07:47PM (#19976309)
Isn't this the normal definition for, say, type systems? A sound type system will never accept an invalid program (no false negatives) but may reject correct programs.
[ Parent | on HN ]
Re:A Survey of Symbolic Execution Techniques (2018) by srfilipek on Wednesday May 22, 2019 @08:03AM (#19980200)
The problem is really this:

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

[ Parent | on HN ]