Technologies
Coverity Development Testing Platform empowers developers to build quality and security testing into the development process at the earliest stage for fast, resilient and predictable software deliver.
Coverity® Static Analysis Verification Engine (Coverity SAVE™) is a static code analysis tool for C, C++, C# and Java source code. Coverity commercialized a research tool for finding bugs through static analysis, the Stanford Checker, which used abstract interpretation to identify defects in source code.
The most notable use of the tool was under a United States Department of Homeland Security contract, in which it was used to examine over 150 open source applications for bugs. On March 6, 2007 it was announced that over 6000 bugs across 53 projects found by the scan had been fixed. The tool was also used as part of the investigation into the Toyota sudden acceleration braking failure.
Coverity® Dynamic Analyzer is a tool used to analyze Java source code. It was released in May 2008. It observes code as it executes and identifies race conditions, deadlocks, and needless synchronization.
Read more about this topic: Coverity