News for hackers. Stuff that matters.

A comment on Symbolic Execution: Intuition and Implementation.

Re:Symbolic Execution: Intuition and Implementation by thechao on Thursday March 08, 2018 @05:24PM (#16548266)
So... abstract interpretation?
[ Parent | on HN ]
Re:Symbolic Execution: Intuition and Implementation by arnarbi on Friday March 09, 2018 @12:32AM (#16549987)
Yes. Symbolic execution is an example of abstract interpretation.

Not sure why the snark, that's fairly accepted terminology.

[ Parent | on HN ]