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 7.5% mindshare in the category. MathWorks is ranked #27 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,994 Views
8,326 Comparison Views

88% willing to recommend

Polyspace Code Prover

Read 6 Polyspace Code Prover reviews

1,605 Views
1,028 Comparison Views

83% willing to recommend

Coverity

Polyspace Code Prover

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).

To learn more, read our detailed Static Application Security Testing (SAST) Report (Updated: May 2025).

Buyer's Guide

Static Application Security Testing (SAST)

May 2025

Download the complete report

Helped 851,604 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

Ranking in other categories

Static Application Security Testing (SAST) (4th)

Polyspace Code Prover

Average Rating

7.8

Reviews Sentiment

8.8

Number of Reviews

Ranking in other categories

Application Security Tools (27th)

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 7.5%, up 6.6% 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

Information Security Analyst at Banglalink

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

Pradeep Panchakarla

Functional Safety Engineer at a manufacturing company with 5,001-10,000 employees

A reliable solution that provides excellent features and detects memory corruption

The run time analysis process must be improved. If we do not run with the main loop, it generates its own main and doesn’t allow developers to modify the execution sequences. The solution must provide more flexibility to the developers to manipulate the runtime analysis tools. The developer must be allowed to modify the main sequence. It will be very easy for them to test their use cases. Otherwise, Polyspace generates a random main file and executes all the functions randomly.

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

"Coverity gives advisory and deviation features, which are some of the parts I liked."

"Considering the analysis part and the benchmarking process involving the product that my company carried out, the solution is good for finding bugs and violations"

"The tool as it is can be used for code quality improvement."

"We were very comfortable with the initial setup."

"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."

"It has the lowest false positives."

"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 most valuable feature of Coverity is its interprocedural analysis, which is advantageous because it compares favorably with other tools in terms of security and code analysis."

More Coverity pros

"The product detects memory corruptions."

"Polyspace Code Prover is a very user-friendly tool."

"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."

"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

"We actually specified several checkers, but we found some checkers had a higher false positive rate. I think this is a problem. Because we have to waste some time is really the issue because the issue is not an issue. I mean, the tool pauses or an issue, but the same issue is the filter now.Some check checkers cannot find some issues, but sometimes they find issues that are not relevant, right, that are not really issues. Some customisation mechanism can be added in the next release so that we can define our Checker. The Modelling feature provided by Coverity helps in finding more information for potential issues but it is not mature enough, it should be mature. The fast testing feature for security testing campaign can be added as well. So if you correctly integrate it with the training team, maybe you can help us to find more potential issues."

"Sometimes, vulnerabilities remain unidentified even after setting up the rules."

"The reporting tool integration process is sometimes slow."

"Right now, the Coverity executable is around 1.2GB to download. If they can reduce it to approximately 600 or 700MB, that would be great. If they decrease the executable, it will be much easier to work in an environment like Docker."

"We're currently facing a primary challenge with automation using Coverity. Each developer has a license and can perform manual checks, and we also have a nightly build that analyzes the entire software. The main issue is that the tool can't look behind submodules in our code base, so it doesn't see changes stored there."

"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."

"Some features are not performing well, like duplicate detection and switch case situations."

"Coverity is not stable."

More Coverity cons

"The tool has some stability issues."

"Using Code Prover on large applications crashes sometimes."

"I'd like the data to be taken from any format."

"Automation could be a challenge."

"One of the main disadvantages is the time it takes to initiate the first run."

Pricing and Cost Advice

"The solution's pricing is comparable to other products."

"The solution is affordable."

"I would rate the tool's pricing a one out of ten."

"The tool's price is somewhere in the middle. It's neither cheap nor expensive. I would rate the pricing a five out of ten."

"The price is competitive with other solutions."

"Coverity is quite expensive."

"I rate Coverity's price a ten on a scale of one to ten, where one is cheap and ten is expensive."

"The licensing fees are based on the number of lines of code."

More Coverity pricing and cost advice

"We use the paid version."

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

851,604 professionals have used our research since 2012.

Top Industries

By visitors reading reviews

Manufacturing Company

33%

Computer Software Company

14%

Financial Services Firm

Government

Manufacturing Company

39%

Computer Software Company

12%

Aerospace/Defense Firm

Government

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

Compared 49% of the time

Klocwork vs Coverity

Compared 7% of the time

Fortify on Demand vs Coverity

Compared 6% of the time

Veracode vs Coverity

Compared 5% of the time

Checkmarx One vs Coverity

Compared 4% of the time

More Coverity Competitors

SonarQube Server (formerly SonarQube) vs Polyspace Code Prover

Compared 26% of the time

Klocwork vs Polyspace Code Prover

Compared 17% of the time

CodeSonar vs Polyspace Code Prover

Compared 9% of the time

Parasoft SOAtest vs Polyspace Code Prover

Compared 4% of the time

Veracode vs Polyspace Code Prover

Compared 4% of the time

More Polyspace Code Prover Competitors

Product Reports

Buyer's Guide

Coverity

May 2025

Download Coverity product report

Buyer's Guide

Polyspace Code Prover

May 2025

Download 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)

May 2025

Download Free Report

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

DOWNLOAD NOW

851,604 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.