Coverity Prevent (Coverity)
Coverity Prevent automatically pinpoints software defects that will result at runtime in crashes or performance degradation.
The software flaws uncovered include:
- 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, unitialized variables, invalid use of negative values.
Coverity Prevent detects a wide range of defect types. This is accomplished leveraging the Coverity Analysis Engine to simulate "at compile time" the effects that the operations in the source code might have at runtime, rather than searching each line in isolation for syntactic anomalies. Coverity Prevent incorporates a core set of software checks onto the Coverity Analysis Engine. The result: defects detected by Coverity Prevent are potentially disastrous runtime errors that can now be fixed before they are hit in the field.
Coverity · Premium Software Partner
185 Berry St.
San Francisco, CA 94107
If you are interested in more information on how Wind River partners with this company, click here.