News for hackers. Stuff that matters.

A comment on Symbolic Execution: Intuition and Implementation. Parent comment

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 ]

There are no comments on this comment yet.