Coverity-Static analysis, software quality for C, C++, Java by

Pending - What's this?

Coverity Prevent is the leading automated approach to identifying and resolving the most critical defects in C, C++ and Java source code

Features

  • » 100% PATH COVERAGE: Prevent SQS for C/C++ analyzes 100% of the paths through your source code, ensuring that all possible execution branches are followed, while avoiding impossible paths to maintain fast execution.
  • » LOW FALSE POSITIVE RATE: Prevent SQS for C/C++ maintains a very low false positive rate , ensuring that developers’ time spent inspecting defects will result in noticeable quality improvements.
  • » HIGHLY SCALABLE: Prevent SQS for C/C++ analyzes millions of lines of code in a matter of hours, easily integrating into your regular build process with little or no additional hardware and no disruption to your development process.
  • » PATH FLOW ENGINE understands the control flow through each function in your code base, allowing Prevent SQS to analyze 100% of the paths through your code
  • » STATISTICAL ENGINE tracks behavioral patterns throughout your entire code base, allowing Prevent SQS to infer correct behavior based on previously observed behavior
  • » INTERPROCEDURAL SUMMARY ENGINE enables Prevent SQS to perform a whole program analysis of complex call chains at any depth across files and modules in a form that is most similar to the eventual executing Binary. This result in the highest-fidelity results available
  • » FALSE PATH ENGINE solves each branch condition to determine if it will be true, false, or unknown on the current path. This allows Prevent SQS to efficiently remove obvious false positives from the set of defects reported.
English

Supported Technologies

Software
Click on a technology to view similar products within this category.

Pricing

- Unspecified -



Additional software product description, benefits, features, and uses.

Additional Product Information

Coverity offers a free trial of Prevent SQS that will detect a wide range of crash-causing defects in your code base within hours. No changes to your code are necessary, there are no limitations on code size, and you will receive a complimentary report detailing actionable analysis results. Register for the on-site evaluation at: http://www.coverity.com/


Search within this category