CodeSonar vs Polyspace Code Prover comparison

Cancel
You must select at least 2 products to compare!
CodeSecure Logo
1,915 views|1,215 comparisons
87% willing to recommend
MathWorks Logo
1,773 views|1,161 comparisons
80% willing to recommend
Comparison Buyer's Guide
Executive Summary

We performed a comparison between CodeSonar and Polyspace Code Prover based on real PeerSpot user reviews.

Find out in this report how the two Application Security Tools solutions compare in terms of features, pricing, service and support, easy of deployment, and ROI.
To learn more, read our detailed CodeSonar vs. Polyspace Code Prover Report (Updated: March 2024).
767,995 professionals have used our research since 2012.
Featured 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 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.""There is nice functionality for code surfing and browsing.""The tool is very good for detecting memory leaks.""It has been able to scale.""The most valuable feature of CodeSonar is the catching of dead code. It is helpful.""CodeSonar’s most valuable feature is finding security threats.""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."

More CodeSonar Pros →

"The product detects memory corruptions.""Polyspace Code Prover is a very user-friendly tool.""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."

More Polyspace Code Prover Pros →

Cons
"There could be a shared licensing model for the users.""The scanning tool for core architecture could be improved.""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.""It was expensive.""It would be beneficial for the solution to include code standards and additional functionality for security.""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."

More CodeSonar Cons →

"I'd like the data to be taken from any format.""Automation could be a challenge.""Using Code Prover on large applications crashes sometimes.""One of the main disadvantages is the time it takes to initiate the first run.""The tool has some stability issues."

More Polyspace Code Prover Cons →

Pricing and Cost Advice
  • "Pricing is a bit costly."
  • "The solution's price depends on the number of licenses needed and the source code for the project."
  • "Our organization purchased a license to use the solution."
  • "The application’s pricing is high compared to other tools."
  • More CodeSonar Pricing and Cost Advice →

    report
    Use our free recommendation engine to learn which Application Security Tools solutions are best for your needs.
    767,995 professionals have used our research since 2012.
    Questions from the Community
    Top Answer:CodeSonar’s most valuable feature is finding security threats.
    Top Answer:The application’s pricing is high compared to other tools. I rate its pricing a four out of ten.
    Top Answer: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 will… more »
    Top Answer: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… more »
    Top Answer:There are two main areas of improvement. * False negatives and false positives. * The speed of the validation itself. Another area I see for improvement is scalability, particularly when dealing with… more »
    Ranking
    Views
    1,915
    Comparisons
    1,215
    Reviews
    6
    Average Words per Review
    505
    Rating
    8.2
    Views
    1,773
    Comparisons
    1,161
    Reviews
    5
    Average Words per Review
    656
    Rating
    7.6
    Comparisons
    Learn More
    MathWorks
    Video Not Available
    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
    Top Industries
    VISITORS READING REVIEWS
    Manufacturing Company22%
    Computer Software Company17%
    University9%
    Government6%
    VISITORS READING REVIEWS
    Manufacturing Company33%
    Computer Software Company15%
    Transportation Company7%
    Retailer5%
    Company Size
    REVIEWERS
    Small Business63%
    Midsize Enterprise13%
    Large Enterprise25%
    VISITORS READING REVIEWS
    Small Business20%
    Midsize Enterprise14%
    Large Enterprise67%
    VISITORS READING REVIEWS
    Small Business14%
    Midsize Enterprise10%
    Large Enterprise76%
    Buyer's Guide
    CodeSonar vs. Polyspace Code Prover
    March 2024
    Find out what your peers are saying about CodeSonar vs. Polyspace Code Prover and other solutions. Updated: March 2024.
    767,995 professionals have used our research since 2012.

    CodeSonar is ranked 22nd in Application Security Tools with 7 reviews while Polyspace Code Prover is ranked 23rd in Application Security Tools with 5 reviews. CodeSonar is rated 8.2, while Polyspace Code Prover is rated 7.6. The top reviewer of CodeSonar writes "Nice interface, quick to deploy, and easy to expand". On the other hand, the top reviewer of Polyspace Code Prover writes "A stable solution for developing software components". CodeSonar is most compared with SonarQube, Coverity, Klocwork, Semgrep Code and Fortify Static Code Analyzer, whereas Polyspace Code Prover is most compared with SonarQube, Coverity, Klocwork, Parasoft SOAtest and GitLab. 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.