On: Eric Lippert is leaving Microsoft

[wololo]

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

[seanmcdirmid → wololo]

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?

[wololo → seanmcdirmid]

what do you think about klee.llvm.org?