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

CodeSonar vs Polyspace Code Prover comparison

CodeSecure and MathWorks are both solutions in the Application Security Tools category. CodeSecure is ranked #20 with an average rating of 7.8, while MathWorks is ranked #18 with an average rating of 7.8. CodeSecure holds a 1.2% mindshare in AS, compared to MathWorks’s 1.0% 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
  • 2,002 Views
  • 1,280 Comparison Views
87% willing to recommend
Polyspace Code Prover
Read 6 Polyspace Code Prover reviews
  • 1,688 Views
  • 1,076 Comparison Views
83% willing to recommend
 

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.

DOWNLOAD THE COMPLETE REPORT
To learn more, read our detailed CodeSonar vs. Polyspace Code Prover Report (Updated: October 2024).
Buyer's Guide
CodeSonar vs. Polyspace Code Prover
October 2024
Download the complete report
Helped 816,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:
 

Customer Service

Sentiment score
5.4
CodeSonar's support team is praised for responsiveness, expertise, and excellent service, often rated four to five stars.
No sentiment score available
Polyspace Code Prover support is appreciated for technical assistance, despite response delays, with online resources sometimes preferred first.
 

Room For Improvement

Sentiment score
4.5
CodeSonar needs improved architecture scanning, language support, security features, flexible licensing, and easier setup to compete with Polyspace.
No sentiment score available
Users seek enhanced automation, faster processing, improved scalability, flexible imports, better dependency handling, and accurate error reporting.
 

Scalability Issues

Sentiment score
8.0
CodeSonar is praised for scalability, performing well across projects, and organizations report no issues scaling its usage.
No sentiment score available
Polyspace Code Prover scales well, supporting many users, though floating licenses limit access, impacting processing speed.
 

Setup Cost

Sentiment score
8.5
CodeSonar is expensive but valued for reliability and ease of use, with costs over $100,000 annually for large projects.
No sentiment score available
Enterprise buyers deem Polyspace Code Prover's pricing high yet worthwhile, highlighting its essential value and favorable cost-to-benefit ratio.
 

Stability Issues

Sentiment score
8.1
CodeSonar is highly stable and dependable, consistently receiving high ratings for its reliability and crash-free performance.
No sentiment score available
Polyspace Code Prover is stable with resolved bugs, occasional issues, licensing concerns, and a 90% stability rating.
 

Valuable Features

Sentiment score
7.8
CodeSonar effectively detects memory leaks, runtime errors, and security threats, ensuring code stability with its user-friendly interface.
Sentiment score
8.8
Polyspace Code Prover enhances automotive code safety by detecting critical issues and supporting ISO 26262 compliance with ease.
 

Categories and Ranking

CodeSonar
Ranking in Application Security Tools
20th
Average Rating
8.2
Reviews Sentiment
7.0
Number of Reviews
7
Ranking in other categories
Static Code Analysis (5th)
Polyspace Code Prover
Ranking in Application Security Tools
18th
Average Rating
7.8
Reviews Sentiment
8.8
Number of Reviews
6
Ranking in other categories
No ranking in other categories
 

Mindshare comparison

As of November 2024, in the Application Security Tools category, the mindshare of CodeSonar is 1.2%, up from 0.8% compared to the previous year. The mindshare of Polyspace Code Prover is 1.0%, 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 - PeerSpot reviewer
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
Pradeep Panchakarla - PeerSpot reviewer
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
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
816,406 professionals have used our research since 2012.
 

Top Industries

By visitors reading reviews
Manufacturing Company
25%
Computer Software Company
14%
University
9%
Financial Services Firm
6%
Manufacturing Company
37%
Computer Software Company
13%
Transportation Company
5%
Financial Services Firm
4%
 

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 Logo
SonarQube Server (formerly SonarQube) vs CodeSonar
Compared 61% of the time
Coverity vs CodeSonar Logo
Coverity vs CodeSonar
Compared 18% of the time
Klocwork vs CodeSonar Logo
Klocwork vs CodeSonar
Compared 4% of the time
Fortify Static Code Analyzer vs CodeSonar Logo
Fortify Static Code Analyzer vs CodeSonar
Compared 3% of the time
Semgrep vs CodeSonar Logo
Semgrep vs CodeSonar
Compared 3% of the time
More CodeSonar Competitors
SonarQube Server (formerly SonarQube) vs Polyspace Code Prover Logo
SonarQube Server (formerly SonarQube) vs Polyspace Code Prover
Compared 30% of the time
Coverity vs Polyspace Code Prover Logo
Coverity vs Polyspace Code Prover
Compared 27% of the time
Klocwork vs Polyspace Code Prover Logo
Klocwork vs Polyspace Code Prover
Compared 16% 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
 

Product Reports

Buyer's Guide
Application Security Tools
November 2024
CodeSonar reportDownload CodeSonar product report
Buyer's Guide
Polyspace Code Prover
November 2024
Polyspace Code Prover reportDownload 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
October 2024
Free Report: CodeSonar vs. Polyspace Code Prover
Find out what your peers are saying about CodeSonar vs. Polyspace Code Prover and other solutions. Updated: October 2024.
DOWNLOAD NOW
816,406 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.