3 ms·
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 pr
by wololo 14y ago
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 14y agosymbolic 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 14y agowhat do you think about klee.llvm.org?