Eric Lippert is leaving Microsoft

Re:Eric Lippert is leaving Microsoft by wololo on Thursday November 29, 2012 @03:43PM (#4850146)

static analysis is always going to result in a deluge of false positives

i think the future is symbolic execution, which due to a lot of factors is becoming practical

[ Parent | on HN ]

Re:Eric Lippert is leaving Microsoft by seanmcdirmid on Thursday November 29, 2012 @09:33PM (#4851545)

symbolic execution is very similar to static analysis in purpose, if not name (closer to verification). You are right about the false positive rate, but I don't see why you think its becoming more practical?

[ Parent | on HN ]

Re:Eric Lippert is leaving Microsoft by wololo on Saturday December 01, 2012 @08:33PM (#4859721)

what do you think about klee.llvm.org?

[ Parent | on HN ]