Compare CodeSonar vs. Polyspace Code Prover

CodeSonar is ranked 18th in Application Security with 1 review while Polyspace Code Prover is ranked 22nd in Application Security. CodeSonar is rated 9.0, while Polyspace Code Prover is rated 0. The top reviewer of CodeSonar writes "Catches critical code defects at the source code level". On the other hand, CodeSonar is most compared with SonarQube, Coverity and Klocwork, whereas Polyspace Code Prover is most compared with Coverity, SonarQube and Klocwork.
Cancel
You must select at least 2 products to compare!
Veracode Logo
60,055 views|32,007 comparisons
CodeSonar Logo
948 views|573 comparisons
Polyspace Code Prover Logo
1,405 views|1,227 comparisons
Most Helpful Review
Use CodeSonar? Share your opinion.
Use Polyspace Code Prover? Share your opinion.
Find out what your peers are saying about Veracode, SonarQube, Sonatype and others in Application Security. Updated: March 2020.
407,401 professionals have used our research since 2012.
Quotes From Members

We asked business professionals to review the solutions they use. Here are some excerpts of what they said:

Pricing and Cost Advice
They have just streamlined the licensing and they have a number of flexible options available, so overall it is quite good, albeit pricey.They just changed their pricing model two weeks ago. They went from a per-app license to a per-megabyte license. I know that the dynamic scan was $500 per app. Static analysis was about $4500 yearly. The license is only for the number of users, it doesn't matter what data you put in there. That was the old model. I do not know how the new model works.Veracode has been fair. We use their SaaS solution and it's just an annual subscription.No issues, the pricing seems reasonable.It is pricey. There is a lot of value in the product, but it is a costly tool.I recommend going for a one-year licensing with CA, because currently they are the leaders in this field with more features and a much better turn around time with a cheaper position, but there are a lot of new companies coming up in the market and they are building up their platforms.Costs are reasonable. No special infrastructure is required and the license model is good.I think the pricing is in line with the rest of the tools. I think you get what you pay for. It is certainly not inexpensive, but the value proposition is there. There are certainly cheaper tools, but I don't think we'd be getting the support that we get with those, and that is what separates this product from the others.

Read more »

Pricing is a bit costly.

Read more »

Information Not Available
report
Use our free recommendation engine to learn which Application Security solutions are best for your needs.
407,401 professionals have used our research since 2012.
Top Comparisons
Compared 50% of the time.
Compared 14% of the time.
Compared 63% of the time.
Compared 25% of the time.
Compared 6% of the time.
Compared 30% of the time.
Compared 19% of the time.
Compared 16% of the time.
Learn
Veracode
Video Not Available
GrammaTech
MathWorks
Video Not Available
Overview

Veracode covers all your Application Security needs in one solution through a combination of five analysis types; static analysis, dynamic analysis, software composition analysis, interactive application security testing, and penetration testing. Unlike on-premise solutions that are hard to scale and focused on finding rather than fixing, Veracode comprises a unique combination of SaaS technology and on-demand expertise that enables DevSecOps through integration with your pipeline, and empowers developers to find and fix security defects.

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.

Offer
Keep your software secure

Application security starts with secure code. Find out more about the benefits of using Veracode to keep your software secure throughout the development lifecycle.

Learn more about CodeSonar
Learn more about Polyspace Code Prover
Sample Customers
State of Missouri, ReknerViveris, Micrel Medical Devices, Olympus, SOFTEQ, SONYAlenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center
Top Industries
REVIEWERS
Financial Services Firm31%
Insurance Company15%
Consumer Goods8%
Healthcare Company8%
VISITORS READING REVIEWS
Software R&D Company40%
Comms Service Provider12%
Financial Services Firm6%
Media Company6%
VISITORS READING REVIEWS
Software R&D Company45%
Comms Service Provider18%
K 12 Educational Company Or School10%
Retailer10%
No Data Available
Company Size
REVIEWERS
Small Business21%
Midsize Enterprise25%
Large Enterprise55%
VISITORS READING REVIEWS
Small Business17%
Midsize Enterprise9%
Large Enterprise74%
No Data Available
No Data Available
Find out what your peers are saying about Veracode, SonarQube, Sonatype and others in Application Security. Updated: March 2020.
407,401 professionals have used our research since 2012.
We monitor all Application Security 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.