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

Polyspace Code Prover vs SonarQube Server (formerly SonarQube) comparison

MathWorks and Sonar are both solutions in the Application Security Tools category. MathWorks is ranked #19 with an average rating of 7.8, while Sonar is ranked #1 with an average rating of 8.2. MathWorks holds a 1.2% mindshare in AS, compared to Sonar’s 25.1% mindshare. Additionally, 83% of MathWorks users are willing to recommend the solution, compared to 81% of Sonar users who would recommend it.
Polyspace Code Prover
Read 6 Polyspace Code Prover reviews
  • 1,615 Views
  • 1,024 Comparison Views
83% willing to recommend
SonarQube Server (formerly ...
Read 114 SonarQube Server (formerly SonarQube) reviews
  • 33,796 Views
  • 28,161 Comparison Views
81% willing to recommend
 

Comparison Buyer's Guide

Download the report
Executive SummaryUpdated on Mar 9, 2025

SonarQube Server and Polyspace Code Prover are both influential in the code quality and analysis arena, each addressing distinct facets of software development. While SonarQube Server is commonly preferred for its seamless integration and vast community support, Polyspace Code Prover is better suited for environments where code reliability is paramount.

Features: SonarQube Server provides code quality analysis, bug detection, and code security, supporting multiple languages and integrating smoothly with various CI/CD tools. Its diverse community plugins further extend its capabilities. Polyspace Code Prover emphasizes formal verification, ensuring the absence of specific runtime errors, an essential feature for safety-critical applications. It offers rigorous code correctness checks through its unique approach to executing code virtually, making it crucial for industries requiring high reliability.

Room for Improvement: SonarQube Server could enhance its security vulnerability detection to match dedicated solutions. Its licensing model may also require modernization for cloud-based environments. Polyspace Code Prover may benefit from refining its integration with broader development environments and streamlining its deployment processes. Additionally, expanding support for more complex software configurations could augment its usability.

Ease of Deployment and Customer Service: SonarQube Server is renowned for straightforward deployment and robust enterprise-level support, adapting to diverse development setups. Polyspace Code Prover offers strong support tailored to its specialized audience but involves more complex deployment steps that reflect its targeted application in critical environments.

Pricing and ROI: SonarQube Server's pricing is accessible, facilitating a quicker ROI beneficial for small to medium projects. Polyspace Code Prover, addressing critical application needs, might involve higher initial costs but provides significant ROI due to its focus on uncompromised code integrity. This cost differential highlights the different project scopes each tool is best suited for.

DOWNLOAD THE COMPLETE REPORT
To learn more, read our detailed Polyspace Code Prover vs. SonarQube Server (formerly SonarQube) Report (Updated: March 2025).
Buyer's Guide
Polyspace Code Prover vs. SonarQube Server (formerly SonarQube)
March 2025
Download the complete report
Helped 845,040 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

Polyspace Code Prover
Ranking in Application Security Tools
19th
Average Rating
7.8
Reviews Sentiment
8.8
Number of Reviews
6
Ranking in other categories
No ranking in other categories
SonarQube Server (formerly ...
Ranking in Application Security Tools
1st
Average Rating
8.0
Reviews Sentiment
7.2
Number of Reviews
114
Ranking in other categories
Static Application Security Testing (SAST) (1st), Software Development Analytics (1st)
 

Mindshare comparison

As of April 2025, in the Application Security Tools category, the mindshare of Polyspace Code Prover is 1.2%, up from 0.8% compared to the previous year. The mindshare of SonarQube Server (formerly SonarQube) is 25.1%, down from 26.9% compared to the previous year. It is calculated based on PeerSpot user engagement data.
Application Security Tools
 

Featured Reviews

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
Wang Dayong - PeerSpot reviewer
Easy to integrate and has a plug-in that supports both C and C++ languages
The product provides false reports sometimes. It also fails to understand the context of the code. It reports that a line of code has issues without considering its relation with the previous line. The product should improve the report quality. While it asks us to improve the code quality, it would be good if it also suggests how to improve the quality.
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

"The outputs are very reliable."
"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."
"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."
"The product has a friendly UI that is easy to use and understand."
"The most valuable features are the analysis and detection of issues within the application code."
"It is very good at identifying technical debt."
"There's plenty of documentation available to users."
"The code coverage feature is very good."
"We can create a Quality Gate in order to fail Jenkins jobs where the code coverage is lower than the set percentage."
"SonarQube is useful for controlling all of our Azure task tracking and scanning."
"The good thing with SonarQube is it covers a lot of issues, it's a very robust framework."
More SonarQube Server (formerly SonarQube) pros
 

Cons

"One of the main disadvantages is the time it takes to initiate the first run."
"Using Code Prover on large applications crashes sometimes."
"Automation could be a challenge."
"The tool has some stability issues."
"I'd like the data to be taken from any format."
"Lacks sufficient visibility and documentation."
"The product's pricing could be lower."
"SonarQube needs to improve its support model. They do not work 24/7, and they do not provide weekend support in case things go wrong. They only have a standard 8:00 am to 5:00 pm support model in which you have to raise a support ticket and wait. The support model is not effective for premium customers."
"There are limitations to the free version that limit development options as far as languages."
"I would like to see more options for security, beyond the basics like SQL injection."
"The product provides false reports sometimes."
"There are sometimes security breaches in our code, which aren't be caught by SonarQube. In the security area, SonarCube has to improve. It needs to better compete with other products."
"A better design of the interface and add some new rules."
More SonarQube Server (formerly SonarQube) cons
 

Pricing and Cost Advice

"We use the paid version."
"It is very expensive. Its price should be improved."
"The tool's pricing is reasonable."
"The development license cost is reasonable, and we've had no concerns about SonarQube when it comes to cost."
"I think comparing the product to competitors it should be less expensive."
"I use the full trial version of SonarQube."
"We are using the community version of the solution and we plan on purchasing licenses for the upgraded version soon. There is a limitation on how many lines of code can be scanned and this is why we are going to purchase a license for an increased amount."
"The developer edition is based on cost per lines of code."
"We are using the open-source version, which is available free of cost."
More SonarQube Server (formerly SonarQube) pricing and cost advice
report
See which vendors are best for you
Use our free recommendation engine to learn which Application Security Tools solutions are best for your needs.
See recommendations
845,040 professionals have used our research since 2012.
 

Top Industries

By visitors reading reviews
Manufacturing Company
39%
Computer Software Company
12%
Transportation Company
5%
Government
4%
Financial Services Firm
17%
Computer Software Company
15%
Manufacturing Company
13%
Government
6%
 

Company Size

By reviewers
Large Enterprise
Midsize Enterprise
Small Business
No data available
 

Questions from the Community

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
Is SonarQube the best tool for static analysis?
I am not very familiar with SonarQube and their solutions, so I can not answer. But if you are asking me about which tools that are the best for for Static Code Analysis, I suggest you have a look...
See all answers
Which gives you more for your money - SonarQube or Veracode?
SonarQube is easy to deploy and configure, and also integrates well with other tools to do quality code analysis. SonarQube has a great community edition, which is open-source and free. Easy to use...
See all answers
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
 

Comparisons

Coverity vs Polyspace Code Prover Logo
Coverity vs Polyspace Code Prover
Compared 30% 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
Checkmarx One vs SonarQube Server (formerly SonarQube) Logo
Checkmarx One vs SonarQube Server (formerly SonarQube)
Compared 13% of the time
Coverity vs SonarQube Server (formerly SonarQube) Logo
Coverity vs SonarQube Server (formerly SonarQube)
Compared 12% of the time
SonarQube Cloud (formerly SonarCloud) vs SonarQube Server (formerly SonarQube) Logo
SonarQube Cloud (formerly SonarCloud) vs SonarQube Server (formerly SonarQube)
Compared 11% of the time
GitHub Advanced Security vs SonarQube Server (formerly SonarQube) Logo
GitHub Advanced Security vs SonarQube Server (formerly SonarQube)
Compared 10% of the time
Veracode vs SonarQube Server (formerly SonarQube) Logo
Veracode vs SonarQube Server (formerly SonarQube)
Compared 8% of the time
More SonarQube Server (formerly SonarQube) Competitors
 

Product Reports

Buyer's Guide
Polyspace Code Prover
March 2025
Polyspace Code Prover reportDownload Polyspace Code Prover product report
Buyer's Guide
SonarQube Server (formerly SonarQube)
March 2025
SonarQube Server (formerly SonarQube) reportDownload SonarQube Server (formerly SonarQube) product report
 

Also Known As

No data available
Sonar
 

Interactive Demo

Demo not available
MathWorks
Sonar
 

Overview

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

SonarQube Server enhances code quality and security via static code analysis. It detects vulnerabilities, improves standards, and reduces technical debt, integrating into CI/CD pipelines.

SonarQube Server is a comprehensive tool for enhancing code quality and security. It offers static code analysis to identify vulnerabilities, improve coding standards, and reduce technical debt. By integrating into CI/CD pipelines, it provides automated checks for adherence to best practices. Organizations use it for code inspection, security testing, and compliance, ensuring development environments with better maintainability and fewer issues.

What are the key features of SonarQube Server?
  • Support for 20+ languages: Extensive programming language support suitable for diverse coding environments.
  • Custom coding rules: Allows for tailored rule sets to match specific coding standards.
  • Flexible quality gates: Define criteria for code acceptance at various intervals.
  • CI/CD integration: Seamless integration with Continuous Integration/Continuous Deployment tools.
  • Rich interface: User-friendly dashboard with detailed visual insights.
What benefits should users expect from SonarQube Server?
  • Improved code quality: Enhanced analysis contributes to fewer bugs and improved coding practices.
  • Security enhancements: Identifies and mitigates security vulnerabilities pre-emptively.
  • Maintainability: Reduces technical debt, yielding long-term development efficiency.
  • Customizable: Flexibility in configuration aligns with specific project needs.

Many industries implement SonarQube Server to uphold coding standards, maintain security protocols, and streamline their software development lifecycle. In sectors like finance and healthcare, adhering to regulations and ensuring reliable software is critical, making SonarQube Server invaluable. It is often integrated into CI/CD pipelines, ensuring that code changes meet set standards before deployment. This approach enhances productivity and maintains compliance with industry-specific requirements.

Sonar
 

Sample Customers

Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center
Information Not Available
Buyer's Guide
Polyspace Code Prover vs. SonarQube Server (formerly SonarQube)
March 2025
Free Report: Polyspace Code Prover vs. SonarQube Server (formerly SonarQube)
Find out what your peers are saying about Polyspace Code Prover vs. SonarQube Server (formerly SonarQube) and other solutions. Updated: March 2025.
DOWNLOAD NOW
845,040 professionals have used our research since 2012.
See our Polyspace Code Prover vs. SonarQube Server (formerly SonarQube) report.
See our list of best Application Security Tools vendors.

We monitor all Application Security Tools 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.