Compare Klocwork vs. Polyspace Code Prover

Klocwork is ranked 8th in Application Security with 8 reviews while Polyspace Code Prover is ranked 21st in Application Security. Klocwork is rated 8.6, while Polyspace Code Prover is rated 0. The top reviewer of Klocwork writes "The product has a low false positive rate, but they could loosen up on their licensing". On the other hand, Klocwork is most compared with SonarQube, Veracode and Coverity, whereas Polyspace Code Prover is most compared with Coverity, SonarQube and Klocwork.
Cancel
You must select at least 2 products to compare!
Veracode Logo
50,234 views|26,819 comparisons
Klocwork Logo
7,266 views|4,517 comparisons
Polyspace Code Prover Logo
956 views|836 comparisons
Most Helpful Review
Use Polyspace Code Prover? Share your opinion.
Find out what your peers are saying about Veracode, SonarQube, Sonatype and others in Application Security. Updated: November 2019.
378,397 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 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.It is pricey. There is a lot of value in the product, but it is a costly tool.I recommend going for a one-year licensing with CA, because currently they are the leaders in this field with more features and a much better turn around time with a cheaper position, but there are a lot of new companies coming up in the market and they are building up their platforms.Costs are reasonable. No special infrastructure is required and the license model is good.I think the pricing is in line with the rest of the tools. I think you get what you pay for. It is certainly not inexpensive, but the value proposition is there. There are certainly cheaper tools, but I don't think we'd be getting the support that we get with those, and that is what separates this product from the others.

Read more »

Klocwork is still tight on their licensing. If Klocwork would loosen up on the licensing, and where the license could be used, and how many different programs could be run on it, then we have several development programs that I would love to be able to use it for going forward.Klocwork should not to be quite so heavy handed on the licensing for very specific programs.The limitation that we have is that Klocwork is licensed to certain programs, and if you want to license them to other programs, you have to pay more money.

Read more »

Information Not Available
report
Use our free recommendation engine to learn which Application Security solutions are best for your needs.
378,397 professionals have used our research since 2012.
Top Comparisons
Compared 48% of the time.
Compared 13% of the time.
Compared 43% of the time.
Compared 23% of the time.
Compared 18% of the time.
Compared 34% of the time.
Compared 23% of the time.
Compared 18% of the time.
Learn
Veracode
Rogue Wave
MathWorks
Video Not Available
Overview

Veracode is an application security company that offers an automated cloud-based service for securing web, mobile and third-party enterprise applications. Veracode provides multiple security analysis technologies on a single platform, including static analysis, dynamic analysis, mobile application behavioral analysis and software composition analysis.

Klocwork detects security, safety, and reliability issues in real-time by using this static code analysis toolkit that works alongside developers, finding issues as early as possible, and integrates with teams, supporting continuous integration and actionable reporting.

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 Klocwork
Learn more about Polyspace Code Prover
Sample Customers
State of Missouri, ReknerACCESS Co Ltd, Risk-AI, Winbond Electronics, Bristol-Myers Squibb Pharmaceutical Research Institute, University of Southern California, Alebra Technologies, SIMULIA, Risk Management Solutions, Brigham Young University, SRD, HRLAlenia 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 Firm33%
Insurance Company17%
Consumer Goods8%
Healthcare Company8%
VISITORS READING REVIEWS
Software R&D Company39%
Comms Service Provider11%
Financial Services Firm8%
Media Company5%
VISITORS READING REVIEWS
Software R&D Company33%
Manufacturing Company20%
Comms Service Provider13%
Financial Services Firm7%
No Data Available
Company Size
REVIEWERS
Small Business22%
Midsize Enterprise26%
Large Enterprise52%
VISITORS READING REVIEWS
Small Business14%
Midsize Enterprise9%
Large Enterprise78%
REVIEWERS
Small Business29%
Midsize Enterprise14%
Large Enterprise57%
No Data Available
Find out what your peers are saying about Veracode, SonarQube, Sonatype and others in Application Security. Updated: November 2019.
378,397 professionals have used our research since 2012.
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.
Sign Up with Email