Coverity
Static source cod analysis tool to automate the detection of catastrophic software defects at compile time. Developed at Stanford University, Coverity's technology is used at nearly 80 companies to ensure that code is secure and high quality.
✍: FYIcenter.com
2006-06-07, 8726🔥, 0💬
Related Topics:
LDRA
LDRA Testbed is a unique quality control tool that provides powerful source code testing and analysis facilities for the validation and verification of software applications. 2006-06-07, ∼8673🔥, 0💬
Logiscope
Telelogic - Source code analysis tools 2006-06-07, ∼8539🔥, 0💬
Purify
Purify - Rational Software - Run-time error and memory leak detector 2006-06-07, ∼8392🔥, 0💬
PolySpace Suite
PolySpace - Detects run-time errors and non-deterministic constructs in applications at compilation time. The Suite is available for ANSI C, C++ and Ada 83/95. 2006-06-07, ∼8238🔥, 0💬