Coverity Extend™ Static Analysis
Coverity Extend™ Static Analysis
Expand your defect checks with Coverity Extend™ Static Analysis. This easy-to-use C++ software development kit lets you write custom checkers to target specific defects that are unique to your code or important to your organization. Coverity Extend comes with all the comprehensive quality, security and concurrency checkers included in Coverity Prevent™ and it leverages Coverity’s analysis engines to find your developer-defined defects.
Find custom or domain-specific defects that are important to your organization.
- Eliminate critical product-specific defects in all paths of the code.
- All extensions built by developers are stored in a Custom Checker Library.
- Custom defects are consolidated in the Coverity Prevent code browser alongside standard defects.
Ensure compliance with corporate and industry C++ coding standards such as MISRA.
- Create customized checks to look for violations in C++ coding rules that are specific to your business or industry.
- Enforce custom security policies to reduce risk and compliance costs.
Set up customized code audit processes, and automate parts of manual code reviews.
- Add targeted stylistic rules to check only conventions that are important to your organization.
- Reduce the labor overhead associated with manual code inspections.
Customized Static Analysis in 3 Steps
1. Define a rule
Begin creating a check by defining a sequence of source code actions along a path that could trigger a defect. Coverity Extend includes a simple library of macros and templates for performing highly complex analysis functions.
2. Specify pattern matches
Specify a pattern match against the line and artifact in the source code. At the simplest level, matches can be textually based, such as a function name. However, nearly any type of pattern can be expressed as an Extend rule, so very complex defects can also be captured.
3. Integrate into GUI
Coverity Extend provides a standard set of customizable routines for creating error messages and enabling GUI integration.
Contact us to find out how Coverity Prevent can shorten your development cycles and help you deliver more reliable, secure software.
Phone
+1 (415) 321-5237 (International)
(800) 873-8193 (U.S. toll-free)
Email
Free Product Trial
Get a free trial of Prevent™ static analysis that will detect a wide range of crash-causing defects in your code base within hours. Get a Free Product Trial
“Ease of integration with Coverity Prevent was seamless and the usage is straightforward. We went from trial to purchase in three weeks.”
