Static analysis tools comparisons Pascal Cuoq on 25 November 2011
It is very easy to make snap judgments about other static analyzers when you are yourself working on one. You do not even need to act in bad faith: you just try the other tools on the programs that you worked hard to give interesting results on — difficult examples,...
Read More