5 ms·
Those tools you mention are typically not interprocedural analysis. They use information that is local to the method. The analysis at Coverity is interprocedura
by thethrows 12y ago
Those tools you mention are typically not interprocedural analysis. They use information that is local to the method. The analysis at Coverity is interprocedural and hence much more sophisticated.