Polyspace Code Prover vs Qualys Web Application Scanning comparison

Polyspace Code Prover vs. Qualys Web Application Scanning

Download the complete report

Helped 913,806 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

Qualys Web Application Scan...

Ranking in Application Security Tools

20th

Average Rating

7.6

Reviews Sentiment

6.3

Number of Reviews

Ranking in other categories

Static Application Security Testing (SAST) (13th)

Mindshare comparison

As of September 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 Qualys Web Application Scanning is 1.7%, down from 2.0% compared to the previous year. It is calculated based on PeerSpot user engagement data.

Application Security Tools Mindshare Distribution
Product	Mindshare (%)
Qualys Web Application Scanning	1.7%
Polyspace Code Prover	1.2%
Other	97.1%

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

AnkitSharma13

Security Officer at a tech vendor with 10,001+ employees

Web scanning needs improvement but offers good vulnerability detection

The downside of Qualys Web Application Scanning is that it cannot crawl automatically. If I provide an IP address and a login form, it does basic testing, but it doesn't go deep as IBM AppScan does. If Qualys Web Application Scanning could improve its crawling capability, it would be more user-friendly. Qualys Web Application Scanning does IP-level testing, requiring direct input of credentials, and can only scan a few pages to provide known generic vulnerabilities, which isn't as beneficial from my point of view. The Vulnerability Management also relies heavily on version numbers and will flag vulnerabilities based on the component version, but it doesn't check if a real fix exists, leading to flags on components that actually have workarounds available.

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

"The outputs are very reliable."

"The product detects memory corruptions."

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

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

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

"Its most valuable features are patch management, vulnerability management, and PCI compliance."

"QualysGuard web-based scanner is very useful for performing external penetration and PCI scans from remote locations."

"This product is designed for easy scalability and can easily scale up without major challenges."

"We can do scanning and submit reports straight to the customers when there are new vulnerabilities, then tell them whether they are affected or not."

"Qualys Web Application Scanning is accurate and provides minimal false positives."

"The best thing about this product is that it is really easy to use."

"It is a very stable solution."

"Network scanner has good reporting, coverage was also good."

More Qualys Web Application Scanning pros

Cons

"Using Code Prover on large applications crashes sometimes."

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

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

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

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

"The tool has some stability issues."

"One area for improvement is the user interface. The new UI, which was recently upgraded, feels more complex and less user-friendly than the old version."

"The solution needs to adjust its pricing. They should make it more affordable."

"There's a distinction between internal and external scanning processes that could be streamlined. Currently, for internal scanning, specific configurations and scanner appliances need to be deployed within the network, which differs from the simpler setup for external scans. This dual process complicates the setup for comprehensive scanning coverage."

"There should be better visibility into the application."

"The area of false positives could be improved. There are quite a number of false positives as compared to other solutions. They could probably fine tune the algorithm to be able to reduce the number of false positives being detected."

"They should improve the performance of the security scanning. It should have better performance."

"The downside of Qualys Web Application Scanning is that it cannot crawl automatically. If I provide an IP address and a login form, it does basic testing, but it doesn't go deep as IBM AppScan does."

"We are researching open source software because Qualys needs to improve their reports and the documentation for the end-users in resolving scanned issues."

More Qualys Web Application Scanning cons

Pricing and Cost Advice

"We use the paid version."

"Licensing was based on the number of assets that you want to scan on your network. You can also do licensing on subscription. On subscription, it is easier and more flexible. You tell Qualys that you want to move from the 1000 to 2000 band or the 3000 or 5000 band, then they will give you the quotation for it. Once you pay for it, applying the licensing is quite easy and effective."

"The product is expensive, at least initially, in comparison to other products in this category."

"From my perspective, it is a budget-friendly option."

"There are different options available with respect to licensing."

"We are on an annual license for the solution and the pricing could be more affordable."

"The product pricing is fair and reasonably priced."

"The cost is $30,000 USD for one year to cover WAS (Web Application Security) and the VM (Virtual Machine) security in a company with 200 employees."

"It is an expensive platform."

More Qualys Web Application Scanning 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

913,806 professionals have used our research since 2012.

Top Industries

By visitors reading reviews

Manufacturing Company

35%

Aerospace/Defense Firm

Computer Software Company

Comms Service Provider

Financial Services Firm

13%

Manufacturing Company

11%

Outsourcing Company

Comms Service Provider

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	8
Midsize Enterprise	6
Large Enterprise	27

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

What is your experience regarding pricing and costs for Qualys Web Application Scanning?

Regarding pricing, I think for personal use, it is costly, but if organizations are ready to pay, then it is fine as they are using it.

What needs improvement with Qualys Web Application Scanning?

What is your primary use case for Qualys Web Application Scanning?

I use Qualys Web Application Scanning, and we are using Vulnerability Management. By Vulnerability Management, I mean not TotalCloud; they have some on-premises solutions also. Patch Management and...

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

Cequence Security vs Polyspace Code Prover

Compared 6% of the time

More Polyspace Code Prover Competitors

Checkmarx SAST vs Qualys Web Application Scanning

Compared 8% of the time

SonarQube vs Qualys Web Application Scanning

Compared 7% of the time

Veracode vs Qualys Web Application Scanning

Compared 6% of the time

GitHub vs Qualys Web Application Scanning

Compared 6% of the time

OWASP Zap vs Qualys Web Application Scanning

Compared 5% of the time

More Qualys Web Application Scanning Competitors

Product Reports

Polyspace Code Prover

Download Polyspace Code Prover product report

Qualys Web Application Scanning

Download Qualys Web Application Scanning product report

Also Known As

No data available

Qualys WAS

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

Qualys Web Application Scanning offers advanced vulnerability management, progressive scheduling, and seamless integration with DevOps environments. Its user-friendly design enables enterprises to enhance security with comprehensive scanning and detailed forensic insights.

Qualys Web Application Scanning addresses enterprise-level security challenges by providing robust solutions for vulnerability management, penetration testing, and compliance checks. While easing the navigation process, it supports risk mitigation with precise risk ratings, minimal false positives, and detailed reporting. However, it faces challenges with its complex interface, authenticated scanning, and automation features. Integrating smoothly with CI/CD pipelines, it is suitable for continuous and automated scanning, adapting to diverse company requirements.

What are the standout features of Qualys Web Application Scanning?

Progressive Scheduling: Enables efficient management of scanning activities, optimizing for time-sensitive scenarios.
Vulnerability Management: Offers robust identification and management of vulnerabilities across various applications.
Integration with DevOps: Seamlessly integrates with CI/CD pipelines, supporting rapid development cycles.
Risk Ratings: Provides precise risk assessments, crucial for prioritizing security efforts.
Engaging Dashboard: Offers an intuitive interface for navigating security tasks efficiently.

What benefits or ROI should users look for in Qualys Web Application Scanning reviews?

Scalability: Supports enterprise needs with a design adaptable to diverse security demands.
Risk Mitigation: Detailed alerts and forensic insights aid in reducing potential threats.
Comprehensive Reporting: Facilitates informed decision-making with clear, concise reports.
Penetration Testing: Enhances security assessments with ongoing evaluation capabilities.

Organizations across sectors like education, banking, and international data centers leverage Qualys Web Application Scanning for conducting penetration testing, scanning web applications, and managing vulnerabilities. It aids in audit security and compliance, identifying threats, and generating user-friendly reports, making it a valuable asset for maintaining strong security postures.

Qualys

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

BskyB, Cartagena, ClearPoint Learning Systems, Connect Group, du, Fortrex Technologies, HBOR, HDI, Highlights for Children, The Lithuanian State Enterprise Centre of Registers, City of Miami Beach, Microsoft, MidlandHR, MSCI Inc., Northern Arizona University, Ofgem, Olympus Europa, PhoneFactor, RTL Nederland, ThousandEyes, VGZ Organisatie B.V.

Polyspace Code Prover vs. Qualys Web Application Scanning