Blog

Tag Archives: benchmarks

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