Try our new research platform with insights from 80,000+ expert users

Coverity vs Polyspace Code Prover comparison

The compared Black Duck and MathWorks solutions aren't in the same category. Black Duck is ranked #4 in SAST , with an average rating of 8.0, and holds a 8.0% mindshare in the category. MathWorks is ranked #19 in AS , with an average rating of 7.8, and holds a 1.2% mindshare. Additionally, 88% of Black Duck users are willing to recommend the solution, compared to 83% of MathWorks users who would recommend it.
Coverity
Read 42 Coverity reviews
  • 11,969 Views
  • 8,281 Comparison Views
88% willing to recommend
Polyspace Code Prover
Read 6 Polyspace Code Prover reviews
  • 1,615 Views
  • 1,024 Comparison Views
83% willing to recommend
 

Comparison Buyer's Guide

Download the report
Executive Summary
We performed a comparison between Coverity and Polyspace Code Prover based on real PeerSpot user reviews.

Find out what your peers are saying about Sonar, Veracode, Checkmarx and others in Static Application Security Testing (SAST).

DOWNLOAD THE COMPLETE REPORT
To learn more, read our detailed Static Application Security Testing (SAST) Report (Updated: March 2025).
Buyer's Guide
Static Application Security Testing (SAST)
March 2025
Download the complete report
Helped 845,406 peers since 2012

Review summaries and opinions

We asked business professionals to review the solutions they use. Here are some excerpts of what they said:
 

Categories and Ranking

Coverity
Average Rating
7.8
Reviews Sentiment
6.5
Number of Reviews
42
Ranking in other categories
Static Application Security Testing (SAST) (4th)
Polyspace Code Prover
Average Rating
7.8
Reviews Sentiment
8.8
Number of Reviews
6
Ranking in other categories
Application Security Tools (19th)
 

Mindshare comparison

Coverity and Polyspace Code Prover aren’t in the same category and serve different purposes. Coverity is designed for Static Application Security Testing (SAST) and holds a mindshare of 8.0%, up 7.0% compared to last year.
Polyspace Code Prover, on the other hand, focuses on Application Security Tools, holds 1.2% mindshare, up 0.8% since last year.
Static Application Security Testing (SAST)
Application Security Tools
 

Featured Reviews

Md. Shahriar Hussain - PeerSpot reviewer
Offers impressive reporting features with user-friendliness and high scalability
The solution can be easily setup but requires heavy integration due to the multiple types of port and programming languages involved. Comparing the resource requirements of the solution I would say it can be installed effortlessly. I would rate the initial setup an eight out of ten. A professional needs some pre-acquired knowledge to manage Coverity's deployment process, but the local solution partners provide support well enough for trouble-free deployment. The overall deployment process of Coverity took around two and a half hours in our organization. The deployment duration depends upon the operating system and resources including high-end RAM and CPU processors.
Read full review
Aman Singla - PeerSpot reviewer
Easy to setup with reliable outputs and good reliability
It is easy to set up the solution. We can actually modify it using script also. It's pretty easy to link it with our in-house toolchain with the Polyspace configuration settings. If we have small amounts of data, it's quick and you can set it up within ten to 15 minutes. However, depending on the size of the data and the variables, it could take a while since you have to provide a range for all variables. If you have, for example, 500 variables, you'll be configuring a lot. However, the input extremes can be fed using an Excel file or some other format.
Read full review

Quotes from Members

We asked business professionals to review the solutions they use. Here are some excerpts of what they said:
 

Pros

"I encountered a bug with Coverity, and I opened a ticket. Support provided me with a workaround. So it's working at the moment, or at least it seems to be."
"One of the most valuable features is Contributing Events. That particular feature helps the developer understand the root cause of a defect. So you can locate the starting point of the defect and figure out exactly how it is being exploited."
"The product has been beneficial in logging functionality, allowing me to categorize vulnerabilities based on severity. This aids in providing updated reports on subsequent scans."
"The features I find most valuable is that our entire company can publish the analysis results into our central space."
"Coverity is easy to use and easy to integrate with CI."
"The solution has helped to increase staff productivity and improved our work significantly by approximately 20 percent."
"The most valuable feature of Coverity is that it shows examples of what is actually wrong with the code."
"This solution is easy to use."
More Coverity pros
"The product detects memory corruptions."
"Polyspace Code Prover has made me realize it differs from other static code analysis tools because it runs the code. So it's quite distinct in that aspect."
"Polyspace Code Prover is a very user-friendly tool."
"The outputs are very reliable."
"When we work on safety modules, it is mandatory to fulfill ISO 26262 compliance. Using Prover helps fulfill the standard on top of many other quality checks, like division by zero, data type casts, and null pointer dereferences."
 

Cons

"The solution's user interface and quality gate could be improved."
"Zero-day vulnerability identification can be an add-on feature that Coverity can provide."
"Reporting engine needs to be more robust."
"The tool needs to improve its reporting."
"The solution could use more rules."
"Sometimes, vulnerabilities remain unidentified even after setting up the rules."
"The quality of the code needs improvement."
"Coverity is far from perfection, and I'm not 100 percent sure it's helping me find what I need to find in my role. We need exactly what we are looking for, i.e. security errors and vulnerabilities. It doesn't seem to be reporting while we are changing our code."
More Coverity cons
"The tool has some stability issues."
"Automation could be a challenge."
"Using Code Prover on large applications crashes sometimes."
"I'd like the data to be taken from any format."
"One of the main disadvantages is the time it takes to initiate the first run."
 

Pricing and Cost Advice

"It is expensive."
"This is a pretty expensive solution. The overall value of the solution could be improved if the price was reduced. Licensing is done on an annual basis."
"I would rate the pricing a six out of ten, where one is low, and ten is high price."
"Coverity’s price is on the higher side. It should be lower."
"The pricing is very reasonable compared to other platforms. It is based on a three year license."
"Offers varying prices for different companies"
"The tool was fairly priced."
"Coverity is quite expensive."
More Coverity pricing and cost advice
"We use the paid version."
report
See which vendors are best for you
Use our free recommendation engine to learn which Static Application Security Testing (SAST) solutions are best for your needs.
See recommendations
845,406 professionals have used our research since 2012.
 

Top Industries

By visitors reading reviews
Manufacturing Company
33%
Computer Software Company
14%
Financial Services Firm
7%
Government
4%
Manufacturing Company
39%
Computer Software Company
12%
Transportation Company
5%
Government
4%
 

Company Size

By reviewers
Large Enterprise
Midsize Enterprise
Small Business
No data available
 

Questions from the Community

How would you decide between Coverity and Sonarqube?
We researched Coverity, but in the end, we chose SonarQube. SonarQube is a tool for reviewing code quality and security. It helps to guide our development teams during code reviews by providing rem...
See all answers
What do you like most about Coverity?
The solution has improved our code quality and security very well.
See all answers
What is your experience regarding pricing and costs for Coverity?
I do not know about the pricing.
See all answers
What do you like most about Polyspace Code Prover?
When we work on safety modules, it is mandatory to fulfill ISO 26262 compliance. Using Prover helps fulfill the standard on top of many other quality checks, like division by zero, data type casts,...
See all answers
What is your experience regarding pricing and costs for Polyspace Code Prover?
We use the paid version.
See all answers
What needs improvement with Polyspace Code Prover?
I'm still trying to use constraints with range propagation, but I can't get it to work properly, and I haven't found any documentation. It require support. There could be an issue with range propag...
See all answers
 

Comparisons

SonarQube Server (formerly SonarQube) vs Coverity Logo
SonarQube Server (formerly SonarQube) vs Coverity
Compared 50% of the time
Fortify on Demand vs Coverity Logo
Fortify on Demand vs Coverity
Compared 6% of the time
Klocwork vs Coverity Logo
Klocwork vs Coverity
Compared 6% of the time
Veracode vs Coverity Logo
Veracode vs Coverity
Compared 5% of the time
Checkmarx One vs Coverity Logo
Checkmarx One vs Coverity
Compared 5% of the time
More Coverity Competitors
SonarQube Server (formerly SonarQube) vs Polyspace Code Prover Logo
SonarQube Server (formerly SonarQube) vs Polyspace Code Prover
Compared 26% of the time
Klocwork vs Polyspace Code Prover Logo
Klocwork vs Polyspace Code Prover
Compared 17% of the time
CodeSonar vs Polyspace Code Prover Logo
CodeSonar vs Polyspace Code Prover
Compared 9% of the time
Parasoft SOAtest vs Polyspace Code Prover Logo
Parasoft SOAtest vs Polyspace Code Prover
Compared 4% of the time
Veracode vs Polyspace Code Prover Logo
Veracode vs Polyspace Code Prover
Compared 4% of the time
More Polyspace Code Prover Competitors
 

Product Reports

Buyer's Guide
Coverity
March 2025
Coverity reportDownload Coverity product report
Buyer's Guide
Polyspace Code Prover
March 2025
Polyspace Code Prover reportDownload Polyspace Code Prover product report
 

Also Known As

Synopsys Static Analysis
No data available
 

Overview

Coverity gives you the speed, ease of use, accuracy, industry standards compliance, and scalability that you need to develop high-quality, secure applications. Coverity identifies critical software quality defects and security vulnerabilities in code as it’s written, early in the development process, when it’s least costly and easiest to fix. With the Code Sight integrated development environment (IDE) plugin, developers get accurate analysis in seconds in their IDE as they code. Precise actionable remediation advice and context-specific eLearning help your developers understand how to fix their prioritized issues quickly, without having to become security experts. 

Coverity seamlessly integrates automated security testing into your CI/CD pipelines and supports your existing development tools and workflows. Choose where and how to do your development: on-premises or in the cloud with the Polaris Software Integrity Platform (SaaS), a highly scalable, cloud-based application security platform. Coverity supports more than 20 languages and 200 frameworks and templates.

Black Duck

Polyspace Code Prover is a sound static analysis tool that proves the absence of overflow, divide-by-zero, out-of-bounds array access, and certain other run-time errors in C and C++ source code. It produces results without requiring program execution, code instrumentation, or test cases. Polyspace Code Prover uses semantic analysis and abstract interpretation based on formal methods to verify software interprocedural, control, and data flow behavior. You can use it on handwritten code, generated code, or a combination of the two. Each operation is color-coded to indicate whether it is free of run-time errors, proven to fail, unreachable, or unproven.

MathWorks
 

Sample Customers

SAP, Mega International, Thales Alenia Space
Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center
Buyer's Guide
Static Application Security Testing (SAST)
March 2025
Download Free Report
Find out what your peers are saying about Sonar, Veracode, Checkmarx and others in Static Application Security Testing (SAST). Updated: March 2025.
DOWNLOAD NOW
845,406 professionals have used our research since 2012.

We monitor all Static Application Security Testing (SAST) reviews to prevent fraudulent reviews and keep review quality high. We do not post reviews by company employees or direct competitors. We validate each review for authenticity via cross-reference with LinkedIn, and personal follow-up with the reviewer when necessary.