Цитата:
Господа, а расскажите, что это за зверь - Coverity Prevent?
http://www.coverity.com/products/nf_...s_prevent.html
Цитата:
Ошибки какого рода он находит и каким образом?
К счастью далеко не все
Цитата:
Crash Causing Defects: Includes null pointer access, use after free, double free, buffer overruns.
Performance Degradation: Includes memory leaks, file handle leaks, custom memory and network resource leaks, database connection leaks, STL usage errors, and misuse of API's.
Incorrect Program Behavior: Includes deadcode caused by logical errors, uninitialized variables, invalid use of negative values.
Buffer overflows
Cross site scripting
Denial of service
File corruption
Format string vulnerabilities
Insecure access control
Integer overflows
Memory corruption
Privilege escalations
SQL injection
and so on.
Не единственный продукт в данной нише - более известны Bound Checker, QA Time и т.д.