Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Average Ratings 0 Ratings

Total
ease
features
design
support

No User Reviews. Be the first to provide a review:

Write a Review

Description

Coverity Static Analysis serves as an all-encompassing solution for code scanning, assisting both developers and security teams in producing superior software that meets security, functional safety, and various industry standards. It efficiently detects intricate defects within large codebases, pinpointing and addressing quality and security concerns that may arise across multiple files and libraries. Coverity ensures adherence to numerous standards such as OWASP Top 10, CWE Top 25, MISRA, and CERT C/C++/Java, and offers comprehensive reports that help in monitoring and prioritizing issues. By utilizing the Code Sight™ IDE plugin, developers benefit from immediate feedback, including insights on CWE and instructions for remediation, directly integrated into their development settings, which helps to weave security practices seamlessly into the software development lifecycle while maintaining developer productivity. This tool not only contributes to enhanced code integrity but also fosters a culture of continuous improvement in software security practices.

Description

Polyspace Code Prover serves as a static analysis tool aimed at ensuring that critical runtime errors are absent in C and C++ code without the need for execution. By employing formal methods, it examines every code path and possible input scenario to detect issues such as overflows, division by zero, and out-of-bounds accesses. The tool offers valuable insights into the ranges of variables and highlights unreachable code, which aids developers in enhancing software performance and maintaining quality. Additionally, Polyspace Code Prover adheres to safety standards including IEC 61508, ISO 26262, and DO-178C, making it an excellent choice for industries that demand strict software certification. Its comprehensive analysis capabilities enable teams to deliver reliable and robust software solutions.

API Access

Has API No 

API Access

Has API No 

Screenshots View All

Screenshots View All

Integrations

C Yes 
C++ Yes 
ASP.NET Yes 
Android Yes 
ArmorCode Yes 
Black Duck Yes 
C# Yes 
Coco Code Coverage Yes 
Go Yes 
Google Cloud Platform Yes 
JSON Yes 
Kotlin Yes 
Kubernetes Yes 
Ruby on Rails Yes 
Scala Yes 
Swift Yes 
Terraform Yes 
Travis CI Yes 
VectorCAST No 
XML Yes 

Integrations

C Yes 
C++ Yes 
ASP.NET No 
Android No 
ArmorCode No 
Black Duck No 
C# No 
Coco Code Coverage No 
Go No 
Google Cloud Platform No 
JSON No 
Kotlin No 
Kubernetes No 
Ruby on Rails No 
Scala No 
Swift No 
Terraform No 
Travis CI No 
VectorCAST Yes 
XML No 

Pricing Details

No price information available.
Free Trial No 
Free Version No 

Pricing Details

No price information available.
Free Trial No 
Free Version No 

Deployment

Web-Based Yes 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows No 
Mac No 
Linux No 
Chromebook No 

Deployment

Web-Based Yes 
On-Premises No 
iPhone App No 
iPad App No 
Android App No 
Windows No 
Mac No 
Linux No 
Chromebook No 

Customer Support

Business Hours No 
Live Rep (24/7) No 
Online Support Yes 

Customer Support

Business Hours Yes 
Live Rep (24/7) No 
Online Support Yes 

Types of Training

Training Docs Yes 
Webinars No 
Live Training (Online) No 
In Person No 

Types of Training

Training Docs Yes 
Webinars No 
Live Training (Online) No 
In Person Yes 

Vendor Details

Company Name

Black Duck

Founded

2002

Country

United States

Website

www.blackduck.com/static-analysis-tools-sast/coverity.html

Vendor Details

Company Name

MathWorks

Founded

1984

Country

United States

Website

www.mathworks.com/products/polyspace-code-prover.html

Product Features

Static Application Security Testing (SAST)

Application Security No 
Dashboard No 
Debugging No 
Deployment Management No 
IDE No 
Multi-Language Scanning No 
Real-Time Analytics No 
Source Code Scanning No 
Vulnerability Scanning No 

Static Code Analysis

Analytics / Reporting No 
Code Standardization / Validation No 
Multiple Programming Language Support No 
Provides Recommendations No 
Standard Security/Industry Libraries No 
Vulnerability Management No 

Product Features

Static Code Analysis

Analytics / Reporting No 
Code Standardization / Validation No 
Multiple Programming Language Support No 
Provides Recommendations No 
Standard Security/Industry Libraries No 
Vulnerability Management No 

Alternatives

Alternatives

CodeSonar Reviews

CodeSonar

CodeSecure
Helix QAC Reviews

Helix QAC

Perforce
Revenera SCA Reviews

Revenera SCA

Revenera