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,003 views|1,585 comparisons
Veracode Logo
64,927 views|35,377 comparisons
Top Review
Find out what your peers are saying about SonarSource, Veracode, Sonatype and others in Application Security. Updated: October 2021.
541,708 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
"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.""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.""The pricing is really fair compared to a lot of other tools on the market.""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."

More Veracode Pricing and Cost Advice »

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

Earn 20 points

Top Answer: We have used SonarQube quite a lot and this is great to check code quality, security hotspots much earlier in the SDLC and fix those. The community edition is free to use, can be used on-premises and… more »
Top Answer: Good static analysis and dynamic analysis.
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,003
Comparisons
1,585
Reviews
0
Average Words per Review
0
Rating
N/A
2nd
Views
64,927
Comparisons
35,377
Reviews
21
Average Words per Review
1,185
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 Company20%
Comms Service Provider10%
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 Business23%
Midsize Enterprise26%
Large Enterprise51%
VISITORS READING REVIEWS
Small Business23%
Midsize Enterprise29%
Large Enterprise48%
Find out what your peers are saying about SonarSource, Veracode, Sonatype and others in Application Security. Updated: October 2021.
541,708 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 22 reviews. Polyspace Code Prover is rated 0.0, while Veracode is rated 8.0. On the other hand, the top reviewer of Veracode writes "Prevents vulnerable code from going into production, but the user interface is dated and needs considerable work". 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.