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.5% 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,619 Views
  • 1,032 Comparison Views
83% willing to recommend
SonarQube Server (formerly ...
Read 114 SonarQube Server (formerly SonarQube) reviews
  • 35,412 Views
  • 29,398 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 842,388 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 March 2025, in the Application Security Tools category, the mindshare of Polyspace Code Prover is 1.2%, up from 0.7% compared to the previous year. The mindshare of SonarQube Server (formerly SonarQube) is 25.5%, down from 27.0% 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

"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."
"The product detects memory corruptions."
"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."
"Polyspace Code Prover is a very user-friendly tool."
"Some of the most valuable features have been the latest up-to-date of the OWASP, the monitoring, the reporting, and the ease of use with the IDE plugins, in terms of integration."
"SonarQube: Recording of issues over a period of time, with an indication of the addition in the new issues or the reduction of existing issues (which were fixed)."
"Before you even compile, it can catch known vulnerability issues or patterns."
"We consider it a handy tool that helps to resolve our issues immediately."
"SonarQube is designed well making it easy to use, simple to identify issues and find solutions to problems."
"Any developer can easily identify issues using the process flow or steps provided by SonarQube. In terms of integration, SonarQube makes it quite easy, simplifying the steps for users."
"Apart from the security point of view, I like that it makes it easy to detect code smells and other issues in terms of code quality and standards."
"I follow Quality Gate's graduation model within organization, and it is extremely helpful for me to benchmark products."
More SonarQube Server (formerly SonarQube) pros
 

Cons

"One of the main disadvantages is the time it takes to initiate the first run."
"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."
"A robust credential scanner would be a huge bonus as it would remove the need for yet another niche product."
"The reporting is good, but I am not able to download a specific report as a PDF, so downloading reports is something that should be looked at."
"We also use Fortify, which is another tool to find security errors. Fortify is a better security tool. It is better than SonarQube in finding errors. Sometimes, SonarQube doesn't find some of the errors that Fortify is able to find. Fortify also has a community, which SonarQube doesn't have. Its installation is a little bit complex. We need to install a database, install the product, and specify the version of the database and the product. They can simplify the installation and make it easier. We use docker for the installation because it is easier to use. Its dashboard needs to be improved. It is not intuitive. It is hard to understand the interface, and it can be improved to provide a better user experience."
"For improvement, this solution could be offered on Docker and the cloud and the support for this solution could be improved. Customizing rules could also be made simpler."
"In the next release, I would like to have notifications because now, it is a bit difficult. I think that's a feature which we could add there and it would benefit the users as well. For every full request, they should be able to see their bugs or vulnerability directly on the surface."
"Lacks sufficient visibility and documentation."
"A little bit more emphasis on security and a bit more security scanning features would be nice."
"The time it took for me to do the whole process was approximately two hours because I had to download, read the documentation, and do the configurations."
More SonarQube Server (formerly SonarQube) cons
 

Pricing and Cost Advice

"We use the paid version."
"I think comparing the product to competitors it should be less expensive."
"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."
"We did not purchase a license (required for C++ support), but this option was considered."
"The solution is cheaper than other products."
"My guess is that we have a yearly subscription. We use it quite extensively, so a monthly license wouldn't make sense. Yearly subscriptions are usually cheaper. In addition to the standard licensing fee, there is just the cost of running the hardware where it is hosted."
"The solution has a free version and a license version. The license is priced reasonably, the cost of hiring one programmer is more expensive than the solution."
"We pay €10 per month for this solution, which is good. It provides a good value for money."
"It's a bit expensive for us. The currency rate of the dollar is a problem but it may be fine for other countries."
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
842,388 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 29% of the time
Klocwork vs Polyspace Code Prover Logo
Klocwork vs Polyspace Code Prover
Compared 18% 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 5% of the time
Veracode vs Polyspace Code Prover Logo
Veracode vs Polyspace Code Prover
Compared 3% of the time
More Polyspace Code Prover Competitors
Checkmarx One vs SonarQube Server (formerly SonarQube) Logo
Checkmarx One vs SonarQube Server (formerly SonarQube)
Compared 14% 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
842,388 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.