Sunday, June 15, 2008

Coverity's Next Geration Static Analysis

1st Gen. : Pattern-based, Lint
2nd Gen. : Path coverage, Stanford Checker
3rd Gen. : SAT-based, reduction of False positive and noise, Patent-pending Coverity's tool
(www.scan.coverity.com)

No comments: