Polyspace Code Prover vs Veracode comparison

Read 208 Veracode reviews

30,728 Views
15,364 Comparison Views

89% willing to recommend

Polyspace Code Prover

Comparison Buyer's Guide

Download the report

Executive SummaryUpdated on Oct 8, 2024

Veracode and Polyspace Code Prover compete in code security and analysis. Veracode often has the edge due to its seamless integration and ease of use.

Features: Veracode provides a comprehensive SaaS platform, facilitating seamless integration into CI/CD pipelines. It offers versatile usage across different environments and ensures ease of use. Polyspace Code Prover is equipped with precise formal verification tools, emphasizing detailed formal static analysis. Its capabilities are most beneficial to safety-critical systems where rigorous code verification is necessary.

Room for Improvement: Veracode could improve its in-depth code analysis, expand features for more comprehensive code reviews, and enhance reporting capabilities. Polyspace Code Prover can work on smoother integration with other development tools, simplifying setup processes, and refining user interface for ease of use.

Ease of Deployment and Customer Service: Veracode offers high scores in cloud-based deployment, enabling rapid integration supported by responsive customer service. Polyspace requires more thorough initial configuration and effort in setting up, focused on comprehensive reviews with an emphasis on on-premise installations.

Pricing and ROI: Veracode is considered cost-effective with strong ROI, suitable for fast-paced development environments. It has appealing pricing for teams requiring quick and scalable solutions. Polyspace is more costly, justifying the investment with projects that demand rigorous code verification and where verification precision is paramount.

To learn more, read our detailed Polyspace Code Prover vs. Veracode Report (Updated: September 2026).

Polyspace Code Prover vs. Veracode

Download the complete report

Helped 914,938 peers since 2012

Review summaries and opinions

We asked business professionals to review the solutions they use. Here are some excerpts of what they said:

Categories and Ranking

Polyspace Code Prover

Ranking in Application Security Tools

31st

Average Rating

7.2

Reviews Sentiment

2.3

Number of Reviews

Ranking in other categories

No ranking in other categories

Veracode

Ranking in Application Security Tools

3rd

Average Rating

8.0

Reviews Sentiment

6.9

Number of Reviews

208

Ranking in other categories

Static Application Security Testing (SAST) (3rd), Container Security (13th), Software Composition Analysis (SCA) (2nd), Static Code Analysis (1st), Dynamic Application Security Testing (DAST) (1st), Application Security Posture Management (ASPM) (3rd)

Mindshare comparison

As of October 2026, in the Application Security Tools category, the mindshare of Polyspace Code Prover is 1.2%, down from 1.3% compared to the previous year. The mindshare of Veracode is 4.2%, down from 7.8% compared to the previous year. It is calculated based on PeerSpot user engagement data.

Application Security Tools Mindshare Distribution
Product	Mindshare (%)
Veracode	4.2%
Polyspace Code Prover	1.2%
Other	94.6%

Application Security Tools

Featured Reviews

reviewer2760282

General Manager at a manufacturing company with 10,001+ employees

Has struggled with performance and integration but supports critical safety verification

Execution speed of the tests and generally the integration into AWS-driven CI work chains or workflows represent how it can be improved in my opinion. Performance issues plus license costs are two main driving factors. The CI environments that we use employ up to around 40,000 virtual CPUs per day in peak, running at the same time. We always have problems distributing licenses accordingly with other products. I can talk to the experts doing the integration, but as far as I know, I was involved with Polyspace Code Prover and we had a lot of difficulties integrating it into our Bazel-driven CI toolchain, plus integrating it on the AWS environments in Linux that we use. It was much more straightforward using Code Sonar there. The reason is the execution speed, integration with Azure and stuff, and pricing. The CI integration and maybe a better-suited license model for CI-driven execution are other areas I recommend improving. That's something we discussed with all of the software companies whose products we use, such as compilers. We have a lot of parallel builds, and each call to a license server is actually problematic in the long run.

Read full review

reviewer2753535

DevSecOps Engineer at a tech services company with 1,001-5,000 employees

Integrates security into the development process and improves team collaboration

Veracode helps organizations develop software by reducing the risk of security vulnerabilities through developer enablement and applications focused on governance. You can utilize different levels of processes to achieve better performance or a more scalable service. Since I started working with it in 2022, I’ve found it to be cost-effective as well. Overall, Veracode is a user-friendly security tool. It includes features such as Static Application Security Testing (SAST), Dynamic Application Security Testing (DAST), and Software Composition Analysis (SCA). During the development phase, we can identify vulnerabilities in the application. This process occurs in the staging environment during development. When we're ready to go to production, we conduct a final check. Essentially, this tool helps identify vulnerabilities during the code development stage, including both high-level vulnerabilities and those related to open-source software composition. We utilize specific methodologies for this purpose. Additionally, it offers a feature that allows us to set up policies based on client requirements. This means we can customize the tool to meet the specific needs of our clients, ensuring that they receive the appropriate level of security in their applications. Veracode is user-friendly as well. Compared to other tools, their scans take 15 minutes or under. If you have a large scale of libraries or data, it might take longer, but based on my personal experience, the scan usually runs within fifteen minutes. For my case study using the Veracode tool, I worked on an internal project following industry standards. We used Veracode to improve our security posture and speed up the time to market by streamlining the development process. This enhanced collaboration between developers, operations, and security teams. The automated scanning process helped identify and fix vulnerabilities earlier in the development process. We maintained compliance with regulatory requirements, avoided fines, and built customer trust by integrating security into the development process. When we conduct this scan, we receive data on a list of vulnerabilities. This information improved our communication and increased transparency, which leads to better reports about the efforts being put in. This results in a more effective and efficient collaboration process, making it user-friendly for all involved. When considering costs, if we resort to manual processes, it can be time-consuming. Therefore, we utilize automated scans to identify and fix security issues. This allows us to address vulnerabilities early in the development process, as we discussed previously. This applies both to our in-house code and third-party libraries, using Software Composition Analysis (SCA) agent-based scans. In the future, we will also implement SCA agent-based scans as a separate feature within Veracode, which can help organizations avoid the expensive and time-consuming consequences of security issues. Furthermore, we have seen an increase in compliance, helping to maintain adherence to regulatory requirements and industry standards, thereby avoiding fines and reputational damage associated with noncompliance. Additionally, by integrating security into the development process, we enhance customer trust in our organization and its products.

Read full review

Quotes from Members

We asked business professionals to review the solutions they use. Here are some excerpts of what they said:

Pros

"Polyspace Code Prover is a very user-friendly tool."

"Polyspace Code Prover has made me realize it differs from other static code analysis tools because it runs the code. So it's quite distinct in that aspect."

"The outputs are very reliable."

"Efficiency and speed are the advantages I see in Code Sonar over Polyspace Code Prover."

"When we work on safety modules, it is mandatory to fulfill ISO 26262 compliance. Using Prover helps fulfill the standard on top of many other quality checks, like division by zero, data type casts, and null pointer dereferences."

"The product detects memory corruptions."

"Veracode provides guidance for fixing vulnerabilities. It enables developers to write secure code from the start by pointing them to the problematic line of code, and saying, "This function/method has security vulnerabilities," then suggests alternatives to fix it. Then, we adopt their suggestions of the tool. By implementing it in the right way, we can fix the issue. For example, if the tool has found a method where it copied one piece of memory into another piece of memory in the code. The tool points to problematic methods with the vulnerability and provides ways to code it more securely. By adopting their suggestions, we are fixing this vulnerability."

"I appreciate the integration provided by Veracode that seamlessly integrates with our CI/CD tools and allows us to integrate with IPA as well."

"The capability to identify vulnerable code is the most valuable feature of Veracode."

"The solution is a specialist in SAST that you can rely on, and code scanning is fast with current, updated algorithms."

"The solution's ability to help create secure software is very valuable; we're a zero-trust networking company so we want to have the ability to say that we're practicing security seriously, and having something like Veracode allows us to have confidence when we're speaking to people about our product that we can back up what we're doing with a certification, with a reputable platform, and say, "This is what we're using to scan an application, here's the number of vulnerabilities that are on an application, and here's the risk that we're accepting.""

"The most valuable feature is the security and vulnerability parts of the solution. It shows medium to high vulnerabilities so we can find them, then upgrade our model before it is too late. It is useful because it automates security. Also, it makes things more efficient. So, there is no need for the security team to scan every time. The application team can update it whenever possible in development."

"We used Veracode to improve our security posture and speed up the time to market by streamlining the development process, which enhanced collaboration between developers, operations, and security teams."

"That it is a cloud-based solution is very valuable to us. We don't need that hardware running our scans and hosting the environment to be scanned. Also, the technology, the static scanning versus dynamic scanning produces a much better result, a more accurate result."

More Veracode pros

Cons

"Automation could be a challenge."

"I'm still trying to use constraints with range propagation, but I can't get it to work properly, and I haven't found any documentation."

"Because we had difficulties in efficiently integrating Polyspace Code Prover into our CI toolchain, these tests are mostly run manually and only occasionally."

"Using Code Prover on large applications crashes sometimes."

"One of the main disadvantages is the time it takes to initiate the first run."

"The tool has some stability issues."

"I'd like the data to be taken from any format."

"It could be improved with support for more programming languages, like SQL."

"It needs better APIs, reporting that I can easily query through the APIs and, preferably, a license model that I can predict."

"I am expecting some AI-related features in it. Also, if someone is using AI-generated code, Veracode should be able to detect that."

"The scans were sometimes not accurate in version 2022. There were some false positives in the vulnerability reports. We used to get false positives, and we were responsible for checking all of the alerts and determining whether they were true positives or false positives. They might have already improved it. If they have not, they can look into how to mitigate false positives."

"Veracode can improve the price model and how they bill the final offer to customers. It's based on the amount of traffic. For example, you can buy 1 gigabyte distributed across various applications, and each one can consume part of the whole allotment of traffic data."

"I would like to see these features: entering comments for internal tracking; entering a priority; reports that show the above."

"Another problem we have is that, while it is integrated with single sign-on—we are using Okta—the user interface is not great. That's especially true for a permanent link of a report of a page. If you access it, it goes to the normal login page that has nothing that says "Log in with single sign-on," unlike other software as a service that we use. It's quite bothersome because it means that we have to go to the Okta dashboard, find the Veracode link, and log in through it. Only at that point can we go to the permanent link of the page we wanted to access."

"If Veracode was more diversified, as far as the number of platforms and the number of applications it could do in our favor, we would be using it even more. But there are a number of platforms it doesn't support. For example, I know they support C+, .NET, and Java, but there are certain platforms they don't support and that was disappointing."

More Veracode cons

Pricing and Cost Advice

"We use the paid version."

"Its pricing is fair."

"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."

"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."

"The Veracode price model is based on application profiles, which is how you package your components for scanning."

"The price of Veracode Static Analysis could improve."

"Depending on the number of users, my company makes payments toward the solution's licensing costs."

"The pricing is fair."

"Veracode's price is reasonable."

More Veracode pricing and cost advice

See which vendors are best for you

Use our free recommendation engine to learn which Application Security Tools solutions are best for your needs.

See recommendations

914,938 professionals have used our research since 2012.

Top Industries

By visitors reading reviews

Manufacturing Company

36%

Aerospace/Defense Firm

Computer Software Company

Comms Service Provider

Financial Services Firm

14%

Manufacturing Company

12%

Outsourcing Company

Computer Software Company

Company Size

By reviewers

Large Enterprise

Midsize Enterprise

Small Business

By reviewers
Company Size	Count
Midsize Enterprise	1
Large Enterprise	6

By reviewers
Company Size	Count
Small Business	70
Midsize Enterprise	46
Large Enterprise	114

Questions from the Community

What needs improvement with Polyspace Code Prover?

What is your primary use case for Polyspace Code Prover?

It is validation for Functional Safety applications in automotive.

What advice do you have for others considering Polyspace Code Prover?

We are actually trying to consolidate everything into one solution. To reduce, that might also be a new solution, but we're not currently actively looking for that. It's just that we'd prefer to fi...

Which gives you more for your money - SonarQube or Veracode?

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...

What is the biggest difference between Veracode and Checkmarx?

According to my experience of using both the tools in different organizations Veracode is a Cloud-native, managed AppSec platform with strong focus on ease of use, it is SaaS delivery, and provide...

What is your experience regarding pricing and costs for Veracode Static Analysis?

My experience with pricing, setup cost, and licensing for Veracode is that it is fairly moderate.

SonarQube vs Polyspace Code Prover

Comparisons

Compared 13% of the time

Klocwork vs Polyspace Code Prover

Compared 10% of the time

Coverity Static vs Polyspace Code Prover

Compared 9% of the time

CodeSonar vs Polyspace Code Prover

Compared 7% of the time

Mend.io vs Polyspace Code Prover

Compared 4% of the time

More Polyspace Code Prover Competitors

SonarQube vs Veracode

Compared 5% of the time

Checkmarx One vs Veracode

Compared 5% of the time

HCL AppScan vs Veracode

Compared 3% of the time

Invicti vs Veracode

Compared 3% of the time

GitLab vs Veracode

Compared 2% of the time

More Veracode Competitors

Product Reports

Polyspace Code Prover

Download Polyspace Code Prover product report

Download Veracode product report

Also Known As

No data available

Crashtest Security , Veracode Detect

Overview

Polyspace Code Prover boosts code reliability by identifying critical issues like memory corruption and null pointer dereferences, adhering to ISO 26262 standards.

Polyspace Code Prover offers advanced static code analysis tailored to detect complex runtime issues, making it a substantial asset in safety-critical software development. With features that facilitate easy integration with minimal tool switching, it effectively examines code segment runtimes for potential faults such as memory overflows. Polyspace Code Prover stands out by providing mathematical proofs of correctness, differentiating it from other static tools. However, improvements in processing speed and large-scale application handling remain necessary. While integration challenges exist with CI environments like AWS and Azure, the tool's efficiency is valued in automotive applications for unit-level verification and requirement-based component development, despite some scalability limitations.

What are Polyspace Code Prover's key features?

Division by Zero Checks: Ensures code stability and reliability by identifying risky operations.
Memory Corruption Detection: Safeguards against potential memory leaks and access violations.
ISO 26262 Compliance: Aligns with critical automotive industry standards.
Mathematical Correctness Proof: Provides certainty in logic correctness, unique in static analysis tools.
Minimal Tool Switching: Enhances user efficiency with seamless integration into workflows.

What benefits can be gained from Polyspace Code Prover?

Enhanced Code Reliability: Reduces faults and improves the robustness of developed code.
Increased Efficiency: Fast analysis with minimal tool changes streamlines workflow.
Compliance Assurance: Supports meeting stringent industry standards.
Risk Reduction: Identifies critical issues early, minimizing potential downtime or defects.

In industries such as automotive, Polyspace Code Prover is crucial for Functional Safety validation. It is applied in diverse projects like vertical control systems and cluster infotainment, with a focus on requirement-based component development. Despite challenges in larger applications, it remains a vital tool for analyzing Simulink models and small-scale implementations.

MathWorks

Veracode is a leading provider of application security solutions, offering tools to identify, mitigate, and prevent vulnerabilities across the software development lifecycle. Its cloud-based platform integrates security into DevOps workflows, helping organizations ensure that their code remains secure and compliant with industry standards.

Veracode supports multiple application security testing types, including static analysis (SAST), dynamic analysis (DAST), software composition analysis (SCA), and manual penetration testing. These tools are designed to help developers detect vulnerabilities early in development while maintaining speed in deployment. Veracode also emphasizes scalability, offering features for enterprises that manage a large number of applications across different teams. Its robust reporting and analytics capabilities allow organizations to continuously monitor their security posture and track progress toward remediation.

What are the key features of Veracode?

Static Analysis (SAST) - Scans source code for vulnerabilities before deployment.
Dynamic Analysis (DAST) - Examines applications in a running state to detect flaws in real-time.
Software Composition Analysis (SCA) - Identifies risks in open-source libraries and third-party components.
Manual Penetration Testing - Offers expert analysis for more complex vulnerabilities.
Integrations with DevOps tools - Seamlessly integrates with CI/CD pipelines for automated security checks.

What benefits should users consider in Veracode reviews?

Early detection of vulnerabilities - Helps developers fix security issues early in the development process.
Scalability - Supports organizations with large-scale application portfolios.
Compliance support - Ensures applications meet various security standards and regulations.
Developer training - Provides tools for educating developers on secure coding practices.
Comprehensive reporting - Offers detailed reports that track remediation and risk trends.

Veracode is widely adopted in industries like finance, healthcare, and government, where compliance and security are critical. It helps these organizations maintain strict security standards while enabling rapid development through its integration with Agile and DevOps methodologies.

Veracode helps businesses secure their applications efficiently, ensuring they can deliver safe and compliant software at scale.

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

Manhattan Associates, Azalea Health, Sabre, QAD, Floor & Decor, Prophecy International, SchoolCNXT, Keap, Rekner, Cox Automotive, Automation Anywhere, State of Missouri and others.

Polyspace Code Prover vs. Veracode