Exploiting Trade-offs* in Symbolic Execution for Identifying Security Bugs (Reddit)

2015-12-17 14:37

News URL

http://www.reddit.com/r/netsec/comments/3x7rqy/exploiting_tradeoffs_in_symbolic_execution_for/

CVE is a registered MITRE Corporation trademark and MITRE's CVE website is the authoritative source of CVE content. CWE is a registered MITRE Corporation trademark and MITRE's CWE website is the authoritative source of CWE content.