CodeSonar vs Polyspace Code Prover comparison

CodeSecure and MathWorks are both solutions in the Application Security Tools category. CodeSecure is ranked #32 with an average rating of 7.0, while MathWorks is ranked #18 with an average rating of 7.8. CodeSecure holds a 1.3% mindshare in AS, compared to MathWorks’s 1.1% mindshare. Additionally, 87% of CodeSecure users are willing to recommend the solution, compared to 83% of MathWorks users who would recommend it.

CodeSonar

Read 7 CodeSonar reviews

1,958 Views
1,256 Comparison Views

87% willing to recommend

Polyspace Code Prover

Read 6 Polyspace Code Prover reviews

1,609 Views
1,029 Comparison Views

83% willing to recommend

CodeSonar

Polyspace Code Prover

Comparison Buyer's Guide

Download the report

Executive SummaryUpdated on Oct 8, 2024

Polyspace Code Prover and CodeSonar compete in the static code analysis category. CodeSonar seems to have the upper hand due to its broader defect detection capabilities, appealing to projects with diverse requirements.

Features: Polyspace Code Prover provides strong proof of code correctness, making it ideal for mission-critical systems. It is praised for its analytical capabilities and straightforward deployment. CodeSonar is recognized for its comprehensive defect detection, offering extensive coverage and flexible deployment options.

Room for Improvement: Polyspace Code Prover could enhance performance speed on large projects and refine its deployment efficiency. Users suggest more responsive customer support. CodeSonar could improve its learning curve and enhance deployment options. Users also mention the need for better customer service responsiveness.

Ease of Deployment and Customer Service: Polyspace Code Prover is noted for its straightforward deployment and effective customer support. CodeSonar offers flexible deployment but receives mixed feedback on customer service responsiveness.

Pricing and ROI: Polyspace Code Prover's pricing aligns well with its robust verification, offering a good ROI in safety-critical domains. CodeSonar users justify its cost by its defect detection capabilities, although setup costs can be high.

To learn more, read our detailed CodeSonar vs. Polyspace Code Prover Report (Updated: January 2025).

Buyer's Guide

CodeSonar vs. Polyspace Code Prover

January 2025

Download the complete report

Helped 831,158 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

CodeSonar

Ranking in Application Security Tools

32nd

Average Rating

8.2

Reviews Sentiment

6.9

Number of Reviews

Ranking in other categories

Static Code Analysis (8th)

Polyspace Code Prover

Ranking in Application Security Tools

18th

Average Rating

7.8

Reviews Sentiment

8.8

Number of Reviews

Ranking in other categories

No ranking in other categories

Mindshare comparison

As of January 2025, in the Application Security Tools category, the mindshare of CodeSonar is 1.3%, up from 0.9% compared to the previous year. The mindshare of Polyspace Code Prover is 1.1%, up from 0.7% compared to the previous year. It is calculated based on PeerSpot user engagement data.

Application Security Tools

Featured Reviews

Mathieu ALBRESPY

Intigration Developer at ez-Wheel

Nice interface, quick to deploy, and easy to expand

This is the first time I've used this kind of software. It was the only one we could apply to analyze with MISRA rules. At my new company, I tried to use Klocwork. I tried to use it, just once so I cannot compare it exactly with CodeSonar. I also have a plugin for my Visual Studio and I try to make it work. It's not easy, however, I don't think that we have this kind of functionality with CodeSonar. It can do some incremental analysis. However, since this feature is also available on CodeSonar, it would be a good idea to have a plugin on Visual Studio just to have a quick analysis.

Read full review

Aman Singla

Senior Engineer at a manufacturing company with 10,001+ employees

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

"The most valuable feature of CodeSonar is the catching of dead code. It is helpful."

"CodeSonar’s most valuable feature is finding security threats."

"It has been able to scale."

"The most valuable features of CodeSonar were all the categorized classes provided, and reports of future bugs which might occur in the production code. Additionally, I found the buffer overflow and underflow useful."

"What I like best about CodeSonar is that it has fantastic speed, analysis and configuration times. Its detection of all runtime errors is also very good, though there were times it missed a few. The configuration of logs by CodeSonar is also very fantastic which I've not seen anywhere else. I also like the GUI interface of CodeSonar because it's very user friendly and the tool also shows very precise logs and results."

"The tool is very good for detecting memory leaks."

"There is nice functionality for code surfing and browsing."

"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 outputs are very reliable."

"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 product detects memory corruptions."

Cons

"In a future release, the solution should upgrade itself to the current trends and differentiate between the languages. If there are any classifications that can be set for these programming languages that would be helpful rather than having everything in the generic category."

"CodeSonar could improve by having better coding rules so we did not have to use another solution, such as MISRA C."

"In terms of areas for improvement, the use case for CodeSonar was good, but compared to other tools, it seems CodeSonar isn't a sound static analysis tool, and this is a major con I've seen from it. Right now, in the market, people prefer sound static analysis tools, so I would have preferred if CodeSonar was developed into a sound static analysis tool formally, in terms of its algorithms, so then you can see it extensively used in the market because at the moment, here in India, only fifty to sixty customers use CodeSonar. If the product is developed into a sound static analysis tool, it could compete with Polyspace, and from its current fifty customers, that number could go up to a hundred."

"The scanning tool for core architecture could be improved."

"It was expensive."

"There could be a shared licensing model for the users."

"It would be beneficial for the solution to include code standards and additional functionality for security."

"Automation could be a challenge."

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

Pricing and Cost Advice

"Pricing is a bit costly."

"The application’s pricing is high compared to other tools."

"Our organization purchased a license to use the solution."

"The solution's price depends on the number of licenses needed and the source code for the project."

"We use the paid version."

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

831,158 professionals have used our research since 2012.

Top Industries

By visitors reading reviews

Manufacturing Company

26%

Computer Software Company

13%

University

Financial Services Firm

Manufacturing Company

38%

Computer Software Company

13%

Transportation Company

Government

Company Size

By reviewers

Large Enterprise

Midsize Enterprise

Small Business

No data available

Questions from the Community

What do you like most about CodeSonar?

CodeSonar’s most valuable feature is finding security threats.

See all answers

What is your experience regarding pricing and costs for CodeSonar?

The application’s pricing is high compared to other tools. I rate its pricing a four out of ten.

See all answers

What needs improvement with CodeSonar?

Our license model allows one user per license. Currently, we have limitations for VPN profiles. We can’t share the key with other users. There could be a shared licensing model for the users. It wi...

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 CodeSonar

Compared 63% of the time

Coverity vs CodeSonar

Compared 19% of the time

Klocwork vs CodeSonar

Compared 4% of the time

Fortify Static Code Analyzer vs CodeSonar

Compared 3% of the time

Semgrep vs CodeSonar

Compared 2% of the time

More CodeSonar Competitors

SonarQube Server (formerly SonarQube) vs Polyspace Code Prover

Compared 28% of the time

Coverity vs Polyspace Code Prover

Compared 28% of the time

Klocwork vs Polyspace Code Prover

Compared 17% of the time

Parasoft SOAtest vs Polyspace Code Prover

Compared 5% of the time

Veracode vs Polyspace Code Prover

Compared 3% of the time

More Polyspace Code Prover Competitors

Product Reports

Buyer's Guide

Application Security Tools

December 2024

Download CodeSonar product report

Buyer's Guide

Polyspace Code Prover

January 2025

Download Polyspace Code Prover product report

Learn More

CodeSecure

Video not available

MathWorks

Overview

GrammaTech enables organizations to develop software applications more efficiently, on-budget, and on-schedule by helping to eliminate harmful defects that can cause system failures, enable data breaches, and ultimately increase corporate liabilities in today’s connected world. GrammaTech is the developer of CodeSonar, the most powerful source and binary code analysis solution available today. Extraordinarily precise, CodeSonar finds, on average, 2 times more serious defects in software than other static analysis solutions. Designed for organizations with zero tolerance for defects and vulnerabilities in their applications, CodeSonar provides static analysis for applications where reliability and security are paramount - widely used by software developers in avionics, medical, automotive, industrial control, and other mission-critical applications. Some of GrammaTech's customers include Toyota, GE, Hyundai, Kawasaki, LG, Lockheed Martin, NASA, Northrop Grumman, Panasonic, and Samsung.

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.

Sample Customers

Viveris, Micrel Medical Devices, Olympus, SOFTEQ, SONY

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

CodeSonar vs. Polyspace Code Prover

January 2025

Free Report: CodeSonar vs. Polyspace Code Prover

Find out what your peers are saying about CodeSonar vs. Polyspace Code Prover and other solutions. Updated: January 2025.

DOWNLOAD NOW

831,158 professionals have used our research since 2012.

See our CodeSonar vs. Polyspace Code Prover 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.