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

Compare Polyspace Code Prover vs. Veracode

Cancel
You must select at least 2 products to compare!
Polyspace Code Prover Logo
2,061 views|1,617 comparisons
Veracode Logo
63,090 views|34,507 comparisons
Featured Review
Find out what your peers are saying about SonarSource, Veracode, Sonatype and others in Application Security. Updated: November 2021.
552,407 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
Information Not Available
"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.""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.""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 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.""We use this product per project rather than per developer... Your development model will really determine what the best fit is for you in terms of licensing, because of the project-based licensing. If you do a few projects, that's more attractive. If you have a large number of developers, that would also make the product a little more attractive.""Licensing cost is on a yearly basis and there are no additional costs, the pricing is straightforward.""The pricing is really fair compared to a lot of other tools on the market.""Veracode's price is high. I would like them to better optimize their pricing."

More Veracode Pricing and Cost Advice »

report
Use our free recommendation engine to learn which Application Security solutions are best for your needs.
552,407 professionals have used our research since 2012.
Questions from the Community
Ask a question

Earn 20 points

Top Answer: SonarQube is easy to deploy and configure, and also integrates well with other tools to do quality code analysis. SonarQube has a great community edition, which is open-source and free. Easy to use… more »
Top Answer: The visibility into application status helps reduce risk exposure for our software. Today, any findings provided by the DAST are reviewed by the developers and we have internal processes in place to… more »
Top Answer: Veracode is very, very expensive, one of the most expensive security scanning tools available. We pay an annual license fee that is over $1 million.
Ranking
25th
Views
2,061
Comparisons
1,617
Reviews
0
Average Words per Review
0
Rating
N/A
2nd
Views
63,090
Comparisons
34,507
Reviews
22
Average Words per Review
1,204
Rating
8.0
Comparisons
Learn More
MathWorks
Video Not Available
Overview

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.

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.

Offer
Learn more about Polyspace Code Prover
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.

Sample Customers
Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center
State of Missouri, Rekner
Top Industries
VISITORS READING REVIEWS
Computer Software Company28%
Manufacturing Company18%
Comms Service Provider12%
Transportation Company6%
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%
Company Size
No Data Available
REVIEWERS
Small Business24%
Midsize Enterprise25%
Large Enterprise51%
VISITORS READING REVIEWS
Small Business24%
Midsize Enterprise31%
Large Enterprise45%
Find out what your peers are saying about SonarSource, Veracode, Sonatype and others in Application Security. Updated: November 2021.
552,407 professionals have used our research since 2012.

Polyspace Code Prover is ranked 25th in Application Security while Veracode is ranked 2nd in Application Security with 24 reviews. Polyspace Code Prover is rated 0.0, while Veracode is rated 8.2. On the other hand, the top reviewer of Veracode writes "Good reporting, comprehensive interface, and integrates well into our build pipeline". Polyspace Code Prover is most compared with Coverity, SonarQube, Klocwork, CodeSonar and Checkmarx, whereas Veracode is most compared with SonarQube, Checkmarx, Micro Focus Fortify on Demand, Coverity and OWASP Zap.

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.