News for hackers. Stuff that matters.
Re:Symbolic Execution: Intuition and Implementation by fulafel on Friday March 09, 2018 @12:27AM (#16549976)
For those wondering about applicability of SE to other languages, see here for a compendium of tools: https://github.com/ksluckow/awesome-symbolic-execution

There are no comments on this comment yet.