Compare Checkmarx vs. Polyspace Code Prover

Cancel
You must select at least 2 products to compare!
Veracode Logo
69,854 views|37,366 comparisons
Checkmarx Logo
48,812 views|33,514 comparisons
Polyspace Code Prover Logo
1,768 views|1,508 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: November 2020.
447,546 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 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.""They have just streamlined the licensing and they have a number of flexible options available, so overall it is quite good, albeit pricey.""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.""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.""Veracode's price is high. I would like them to better optimize their pricing.""If I compare the pricing with other software tools, then it is quite competitive. Whatever the price is, they have always given us a good discount."

More Veracode Pricing and Cost Advice »

"We have a subscription license that is on a yearly basis, and it's a pretty competitive solution.""This solution is expensive. The customized package allows you to buy additional users at any time.""It's relatively expensive.""The interface used to create custom rules comes at an additional cost.""The number of users and coverage for languages will have an impact on the cost of the license."

More Checkmarx Pricing and Cost Advice »

Information Not Available
report
Use our free recommendation engine to learn which Application Security solutions are best for your needs.
447,546 professionals have used our research since 2012.
Questions from the Community
Top Answer: Veracode has offered a dynamic analysis testing solution for several years, having launched our first offering in 2015… more »
Top Answer: I would recommend them. They have the ability to cover multiple languages and come with all the features you would… more »
Top Answer: SonarQube depends on completely what you configure the Rules. You will have the option of the Profile creation and can… more »
Top Answer: Thanks a lot. Thank you for the information.
Top Answer: The major difference I have seen between Checkmarx and SonarQube is : CheckMarx support: Supports a large number of… more »
Ask a question

Earn 20 points

Popular Comparisons
Compared 50% of the time.
Compared 4% of the time.
Compared 4% of the time.
Compared 3% of the time.
Compared 41% of the time.
Compared 3% of the time.
Compared 3% of the time.
Compared 2% of the time.
Compared 27% of the time.
Compared 18% of the time.
Compared 17% of the time.
Compared 6% of the time.
Learn
Veracode
Checkmarx
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.

Checkmarx CxSAST is a highly accurate and flexible Static Code Analysis product that allows organizations to automatically scan un-compiled / un-built code and identify hundreds of security vulnerabilities in all major coding languages. CxSAST is available as a standalone product and can be effectively integrated into the Software Development Lifecycle (SDLC) to streamline detection and remediation. CxSAST can be deployed on-premise in a private data center or hosted via a public cloud.

Whitepaper: I, II

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 Checkmarx
Learn more about Polyspace Code Prover
Sample Customers
State of Missouri, ReknerYIT, Salesforce, Coca-Cola, SAP, U.S. Army, Liveperson, Playtech Case Study: Liveperson Implements Innovative Secure SDLCAlenia 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 Firm30%
Insurance Company11%
Computer Software Company8%
Engineering Company5%
VISITORS READING REVIEWS
Computer Software Company37%
Comms Service Provider16%
Financial Services Firm7%
Media Company5%
REVIEWERS
Financial Services Firm36%
Computer Software Company36%
Engineering Company9%
Comms Service Provider9%
VISITORS READING REVIEWS
Computer Software Company37%
Comms Service Provider14%
Financial Services Firm11%
Insurance Company5%
VISITORS READING REVIEWS
Computer Software Company35%
Manufacturing Company24%
Comms Service Provider13%
K 12 Educational Company Or School7%
Company Size
REVIEWERS
Small Business23%
Midsize Enterprise26%
Large Enterprise51%
VISITORS READING REVIEWS
Small Business16%
Midsize Enterprise19%
Large Enterprise66%
REVIEWERS
Small Business34%
Midsize Enterprise20%
Large Enterprise46%
VISITORS READING REVIEWS
Small Business14%
Midsize Enterprise21%
Large Enterprise65%
No Data Available
Find out what your peers are saying about SonarQube, Veracode, Sonatype and others in Application Security. Updated: November 2020.
447,546 professionals have used our research since 2012.
Checkmarx is ranked 4th in Application Security with 14 reviews while Polyspace Code Prover is ranked 23rd in Application Security. Checkmarx is rated 8.0, while Polyspace Code Prover is rated 0.0. The top reviewer of Checkmarx writes "Works well with Windows servers but no Linux support and takes too long to scan files". On the other hand, Checkmarx is most compared with SonarQube, Micro Focus Fortify on Demand, Coverity, HCL AppScan and WhiteSource, whereas Polyspace Code Prover is most compared with Coverity, Klocwork, SonarQube, HCL AppScan 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.