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.

http://www.coverity.com

✍: FYIcenter.com

2006-06-07, 8867🔥, 0💬

Related Topics:

Logiscope
Telelogic - Source code analysis tools 2006-06-07, ∼8884🔥, 0💬

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. 2006-06-07, ∼8868🔥, 0💬

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, ∼8802🔥, 0💬

AberroTest
AberroTest is a functional test and verification product that works at the user interface level. It implements the Adaptive Automated Test technique and instead of using scripts or keywords to drive the Application Under Test (AUT), AberroTest observes th 2006-06-07, ∼8801🔥, 0💬

AETG Web
The Telcordia Efficient Test Case Generation Service, formerly known as AETG Web, makes it easy to use AETG, the Automatic Efficient Test Generation system. The AETG algorithms employ combinatorial design techniques to create minimal sets of tests that co 2006-06-07, ∼8624🔥, 0💬

Purify
Purify - Rational Software - Run-time error and memory leak detector 2006-06-07, ∼8571🔥, 0💬

TCAT
TCAT C/C++ is a fully automated tool for static analysis and code coverage at the unit, sub-system, system and integration testing levels. With TCAT C/C++ available testing efforts can focus on untested code, rather than generating redundant tests. The re 2006-06-07, ∼8424🔥, 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, ∼8395🔥, 0💬

Predictive Lite
Predictive Lite - Code analyzer that predicts defects in C, C++, Java or C# source code, based on proven industry standards. 2006-06-07, ∼8342🔥, 0💬

Test Coverage
Semantic Designs - Family of test coverage tools for a wide variety of languages (C, C++, C#, COBOL, Java, more...). Very low probe overhed. Independent of compiler. Useful for application and embedded contexts. Graphical display of coverage over source c 2006-06-07, ∼8147🔥, 0💬

All rights in the contents of this web site are reserved by the individual author. FYIcenter.com does not guarantee the truthfulness, accuracy, or reliability of any contents.