We just raised a $30M Series A: Read our story

Compare Checkmarx vs. Polyspace Code Prover

Cancel
You must select at least 2 products to compare!
Veracode Logo
61,411 views|33,718 comparisons
Checkmarx Logo
44,263 views|33,240 comparisons
Polyspace Code Prover Logo
2,034 views|1,592 comparisons
Featured Review
Find out what your peers are saying about SonarSource, Veracode, Sonatype and others in Application Security. Updated: November 2021.
554,382 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
"From a cost perspective, it seems okay, although we will probably evaluate alternatives next time it's up for renewal because for us, it's a relatively high cost, and we want to make sure that we are using our resources most appropriately.""Veracode's price is high. I would like them to better optimize their pricing.""Veracode is expensive. Some of its products are expensive. I don't think it's way more expensive than its competitors. The dynamic is definitely worth it, as I think it's cheaper than the competitors. The static scan is a little bit more expensive, around 20 percent more expensive. The manual pen test is more expensive, but it is an expensive service because it's a manual pen test and we also do retests. I don't think it is way more expensive than the competitors, but it's about 15 to 20 percent more expensive.""It is very reasonably priced compared to what we were paying our previous vendor. For the same price, we are getting much more value and reducing our AppSec costs from 40 to 50 percent.""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.""Veracode is one of the more expensive solutions in the market, but it is worth the expense because of the eLearning and the security consultations; everything is included in the license.""The pricing is really fair compared to a lot of other tools on the market.""Licensing cost is on a yearly basis and there are no additional costs, the pricing is straightforward."

More Veracode Pricing and Cost Advice »

"It is not expensive, but sometimes, their pricing model or licensing model is not very clear. There are similar variables, such as projects or developers, and sometimes, it is a little bit confusing.""Most of my customers opted for a perpetual license. They prefer to pay the highest amount up front for the perpetual license and then pay for additional support annually.""The interface used to create custom rules comes at an additional cost.""This solution is expensive. The customized package allows you to buy additional users at any time.""Its price is fair. It is in or around the right spot. Ultimately, if the price is wrong, customers won't commit, but they do tend to commit. It is neither too cheap nor too expensive.""It's relatively expensive.""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.
554,382 professionals have used our research since 2012.
Questions from the Community
Top Answer: SonarQube is easy to deploy and configure, and also integrates well with other tools to do quality code analysis… more »
Top Answer: The visibility into application status helps reduce risk exposure for our software. Today, any findings provided by the… more »
Top Answer: Veracode is very, very expensive, one of the most expensive security scanning tools available. We pay an annual license… more »
Top Answer: I would like to recommend Checkmarx. With Checkmarx, you are able to have an all in one solution for SAST and SCA as… more »
Top Answer: I’ve always viewed sonarqube as a code quality tool that compliments many code security tools like a checkmarx. 
Top Answer: It can integrate very well with DAST solutions. So both of them are combined into an integrated solution for customers… more »
Ask a question

Earn 20 points

Comparisons
Learn More
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
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 Checkmarx
Learn more about Polyspace Code Prover
Sample Customers
State of Missouri, Rekner
YIT, Salesforce, Coca-Cola, SAP, U.S. Army, Liveperson, Playtech Case Study: Liveperson Implements Innovative Secure SDLC
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 Firm30%
Computer Software Company12%
Insurance Company9%
Healthcare Company7%
VISITORS READING REVIEWS
Computer Software Company30%
Comms Service Provider16%
Financial Services Firm10%
Manufacturing Company6%
REVIEWERS
Computer Software Company44%
Financial Services Firm22%
Pharma/Biotech Company11%
Engineering Company6%
VISITORS READING REVIEWS
Computer Software Company29%
Financial Services Firm16%
Comms Service Provider14%
Insurance Company5%
VISITORS READING REVIEWS
Computer Software Company28%
Manufacturing Company18%
Comms Service Provider12%
Transportation Company6%
Company Size
REVIEWERS
Small Business24%
Midsize Enterprise25%
Large Enterprise51%
VISITORS READING REVIEWS
Small Business24%
Midsize Enterprise31%
Large Enterprise45%
REVIEWERS
Small Business38%
Midsize Enterprise18%
Large Enterprise44%
VISITORS READING REVIEWS
Small Business15%
Midsize Enterprise29%
Large Enterprise56%
No Data Available
Find out what your peers are saying about SonarSource, Veracode, Sonatype and others in Application Security. Updated: November 2021.
554,382 professionals have used our research since 2012.

Checkmarx is ranked 5th in Application Security with 18 reviews while Polyspace Code Prover is ranked 25th in Application Security. Checkmarx is rated 7.8, while Polyspace Code Prover is rated 0.0. The top reviewer of Checkmarx writes "Easy interface that is user friendly, quick scanning, and good technical support". On the other hand, Checkmarx is most compared with SonarQube, Micro Focus Fortify on Demand, Snyk, Coverity and WhiteSource, whereas Polyspace Code Prover is most compared with Coverity, SonarQube, Klocwork, CodeSonar and Parasoft SOAtest.

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.