Compare Coverity vs. Polyspace Code Prover

Coverity is ranked 10th in Application Security with 5 reviews while Polyspace Code Prover is ranked 21st in Application Security. Coverity is rated 7.2, while Polyspace Code Prover is rated 0. The top reviewer of Coverity writes "Enables our entire company to publish the analysis results into our central space". On the other hand, Coverity is most compared with SonarQube, Veracode and Checkmarx, whereas Polyspace Code Prover is most compared with Coverity, SonarQube and Klocwork.
Cancel
You must select at least 2 products to compare!
Veracode Logo
50,234 views|26,819 comparisons
Coverity Logo
14,333 views|11,495 comparisons
Polyspace Code Prover Logo
956 views|836 comparisons
Most Helpful Review
Use Polyspace Code Prover? Share your opinion.
Find out what your peers are saying about Veracode, SonarQube, Sonatype and others in Application Security. Updated: October 2019.
377,828 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 »

Information Not Available
Information Not Available
report
Use our free recommendation engine to learn which Application Security solutions are best for your needs.
377,828 professionals have used our research since 2012.
Top Comparisons
Compared 48% of the time.
Compared 13% of the time.
Compared 50% of the time.
Compared 12% of the time.
Compared 9% of the time.
Compared 34% of the time.
Compared 23% of the time.
Compared 18% of the time.
Also Known As
Synopsys Static Analysis
Learn
Veracode
Synopsys
MathWorks
Video Not Available
Overview

Veracode is an application security company that offers an automated cloud-based service for securing web, mobile and third-party enterprise applications. Veracode provides multiple security analysis technologies on a single platform, including static analysis, dynamic analysis, mobile application behavioral analysis and software composition analysis.

Synopsys Static Analysis helps reduce risk and lower overall project cost by identifying critical quality defects and potential security vulnerabilities during development, with accurate and actionable remediation guidance, based on patented techniques and a decade of research and development and analysis of over 10 billion lines of proprietary and open source code.

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 Coverity
Learn more about Polyspace Code Prover
Sample Customers
State of Missouri, Rekner
Information Not Available
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
REVIEWERS
Financial Services Firm33%
Insurance Company17%
Consumer Goods8%
Healthcare Company8%
VISITORS READING REVIEWS
Software R&D Company39%
Comms Service Provider11%
Financial Services Firm8%
Media Company5%
VISITORS READING REVIEWS
Software R&D Company36%
Manufacturing Company16%
Comms Service Provider11%
Retailer9%
No Data Available
Company Size
REVIEWERS
Small Business22%
Midsize Enterprise26%
Large Enterprise52%
VISITORS READING REVIEWS
Small Business13%
Midsize Enterprise9%
Large Enterprise78%
No Data Available
No Data Available
Find out what your peers are saying about Veracode, SonarQube, Sonatype and others in Application Security. Updated: October 2019.
377,828 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.
Sign Up with Email