Lazy Swamp
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)
Coverity's
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)