Compare Coverity vs. Polyspace Code Prover

Cancel
You must select at least 2 products to compare!
Veracode Logo
67,668 views|36,295 comparisons
Coverity Logo
19,421 views|15,198 comparisons
Polyspace Code Prover Logo
1,712 views|1,477 comparisons
Most Helpful Review
Use Polyspace Code Prover? Share your opinion.
Find out what your peers are saying about SonarQube, Veracode, Sonatype and others in Application Security. Updated: September 2020.
437,323 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
I don't really know about the pricing, but I'd say it's worth whatever Veracode is charging, because the solution is that good.For the value we get out of it, coupled with the live defect review sessions, we find it an effective value for the money. We are a larger organization.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.

More Veracode Pricing and Cost Advice »

Coverity is quite expensive.

More Coverity Pricing and Cost Advice »

Information Not Available
report
Use our free recommendation engine to learn which Application Security solutions are best for your needs.
437,323 professionals have used our research since 2012.
Questions from the Community
Top Answer: JaeLee, check out our comparison page here of Veracode vs Checkmarx: https://www.itcentralstation.com/products/comparisons/checkmarx_vs_veracode Checkmarx is ranked 4th, while Veracode is ranked… more »
Top Answer: I would recommend Veracode. Our uses cases included removing vulnerable code from our Product and ensuring the product is secure. Veracode helps us in regularly scanning our code base and reporting… more »
Top Answer: SonarQube depends on completely what you configure the Rules. You will have the option of the Profile creation and can be assigned to the Projects. If you configure the project --> under them services… more »
Top Answer: Coverity is quite stable and we haven’t had any issues or any downtime.
Top Answer: Coverity is quite expensive. Generally, for security scanning products, the pricing is very expensive. Some solutions have pricing that is based on the number of millions of lines of code, but… more »
Top Answer: I would like to see integration with popular IDEs, such as Eclipse. If Coverity were available as a plugin then developers could use it to find security issues while they are coding because right now… more »
Ask a question

Earn 20 points

Popular Comparisons
Compared 51% of the time.
Compared 15% of the time.
Compared 5% of the time.
Compared 3% of the time.
Compared 51% of the time.
Compared 7% of the time.
Compared 7% of the time.
Compared 3% of the time.
Compared 18% of the time.
Compared 17% of the time.
Compared 8% of the time.
Compared 5% of the time.
Also Known As
Synopsys Static Analysis
Learn
Veracode
Synopsys
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.

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
Learn more about Veracode
Learn more about Coverity
Learn more about Polyspace Code Prover
Sample Customers
State of Missouri, ReknerMStar Semiconductor, Alcatel-LucentAlenia 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 Firm37%
Insurance Company13%
Consumer Goods Company7%
Healthcare Company7%
VISITORS READING REVIEWS
Computer Software Company44%
Comms Service Provider11%
Media Company6%
Insurance Company5%
VISITORS READING REVIEWS
Computer Software Company40%
Comms Service Provider15%
Manufacturing Company9%
Retailer7%
VISITORS READING REVIEWS
Computer Software Company39%
Comms Service Provider16%
Manufacturing Company15%
K 12 Educational Company Or School10%
Company Size
REVIEWERS
Small Business20%
Midsize Enterprise25%
Large Enterprise54%
VISITORS READING REVIEWS
Small Business17%
Midsize Enterprise15%
Large Enterprise68%
REVIEWERS
Midsize Enterprise29%
Large Enterprise71%
No Data Available
Find out what your peers are saying about SonarQube, Veracode, Sonatype and others in Application Security. Updated: September 2020.
437,323 professionals have used our research since 2012.
Coverity is ranked 13th in Application Security with 5 reviews while Polyspace Code Prover is ranked 23rd in Application Security. Coverity is rated 6.8, while Polyspace Code Prover is rated 0.0. The top reviewer of Coverity writes "Improves security by detecting vulnerabilities in code, but it needs integration with popular development environments". On the other hand, Coverity is most compared with SonarQube, Micro Focus Fortify on Demand, Checkmarx, Klocwork and CodeSonar, whereas Polyspace Code Prover is most compared with Klocwork, SonarQube, HCL AppScan, Checkmarx and CodeSonar.

See our list of best Application Security vendors.

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.