Polyspace Code Prover vs Qualys Web Application Scanning comparison

Polyspace Code Prover vs. Qualys Web Application Scanning

Download the complete report

Helped 885,444 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

26th

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

15th

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 April 2026, in the Application Security Tools category, the mindshare of Polyspace Code Prover is 1.3%, up from 1.1% compared to the previous year. The mindshare of Qualys Web Application Scanning is 1.8%, down from 1.9% 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.8%
Polyspace Code Prover	1.3%
Other	96.9%

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

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

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

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

"The product detects memory corruptions."

"The outputs are very reliable."

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

"It combines both web application vulnerability management and internal vulnerability management on one platform and dashboard."

"It is easy to use."

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

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

"Technical support is very good whenever we send them a message."

"I recommend Qualys Web Application Scanning as it is easy to set up scans and is affordable from a cost perspective."

"Qualys WAS' most valuable features are the navigation flow of the UI and the option for a different layer of security (identification and operation through email and mobile)."

"The most valuable feature is that we are able to scan the services and put credentials like a user ID password, and we can verify the vulnerability level."

More Qualys Web Application Scanning pros

Cons

"Using Code Prover on large applications crashes sometimes."

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

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

"The tool has some stability issues."

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

"Automation could be a challenge."

"Sometimes the response time is low because the handshake fails, and then you have to re-login and start again."

"I have experience with adaptive scanning for single-page applications, which was not very effective."

"The pricing of Qualys is quite expensive in comparison with the other products in this category that are offering pretty much the same thing."

"The UI is not user-friendly and you don't have a yearly reporting facility where you can slice and dice in different jobs."

"It's missing some zero-day patches."

"Sometimes the response time is low because the handshake fails, and then you have to re-login and start again."

"It should have better automatic reporting."

"The scanner reports a lot of false positives, which is something that needs to be improved."

More Qualys Web Application Scanning cons

Pricing and Cost Advice

"We use the paid version."

"It is best to be an institutional buyer and directly contact the sales team, as they can provide over-the-top discounts for bulk orders."

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

"Qualys WAS' pricing is competitive."

"It is an expensive platform."

"The product has a very good licensing model."

"We normally purchase an annual license."

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

"Qualys Web Application Scanning's pricing is a bit expensive compared to other solutions available in the market."

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

885,444 professionals have used our research since 2012.

Top Industries

By visitors reading reviews

No data available

Financial Services Firm

13%

Manufacturing Company

12%

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

Coverity Static vs Polyspace Code Prover

Comparisons

Compared 18% of the time

SonarQube vs Polyspace Code Prover

Compared 14% of the time

Klocwork vs Polyspace Code Prover

Compared 12% of the time

CodeSonar vs Polyspace Code Prover

Compared 8% of the time

OpenText Core Application Security vs Polyspace Code Prover

Compared 6% of the time

More Polyspace Code Prover Competitors

OWASP Zap vs Qualys Web Application Scanning

Compared 8% of the time

Checkmarx SAST vs Qualys Web Application Scanning

Compared 7% of the time

SonarQube vs Qualys Web Application Scanning

Compared 6% of the time

PortSwigger Burp Suite Professional vs Qualys Web Application Scanning

Compared 6% of the time

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

MathWorks

Qualys Web Application Scanning (WAS) is a fully cloud-based web application security scanner. The scanner will automatically crawl periodically and test web applications to discover potential vulnerabilities, including cross-site scripting (XSS) and SQL injection. The consistent testing equips the automated service to generate consistent results, lessen false positives, and offer the ability to scale to protect thousands of websites effortlessly.

Qualys Web Application Scanning is bundled with different scanning technology to carefully scan websites for malware infections and will send notifications to website owners to assist in preventing blacklisting and brand reputation damage. As digital transformation takes place in various organizations, Qualys WAS gives organizations the ability to track and document their web app security status through its interactive reporting capabilities.

Qualys WAS empowers organizations to remediate any web application vulnerabilities quickly. Some of the key tools offered are:

Deep Scanning: All apps and APIs on your internal network and public cloud are covered by Qualys WAS deep scanning to show you any visible vulnerabilities.
DevSec Ops Tool: Detect security issues in your code while still in app development stages and generate comprehensive reports.
Comprehensive Discovery: Discover and catalog new and unknown web apps in your network.
Malware Detection: Scan a website, identify vulnerabilities, and receive alerts to any infections.

Benefits of Qualys Web Application Scanning

Qualys Web Application Scanning offers many benefits, including:

Quick Deployment: Requires no infrastructure or software to upkeep.
Effortless Scalability: Effortlessly launch a deep scan and protect thousands of websites.
Centralized Management: Manage and mend all web app vulnerabilities through a single interface.
Excellent Integration Capabilities: Integrates with Qualys Web App Firewall (WAF) for a single-click virtual patching of found vulnerabilities.
Respond to Threats Immediately: Qualys Continuous Monitoring offers the user a hands-free service by automatically launching scanning and sending notifications of a potential threat.
Cost-effective Solution: Data is analyzed in real time as Qualys WAS is an end-to-end solution; this helps avoid costs associated with managing multiple security vendors.

Reviews from Real Users

Qualys Web Application Scanning stands out among its competitors for a variety of reasons. Two of those reasons are its progressive scan and quick detection of vulnerabilities.

P.K., a senior software developer at a tech vendor, writes, "The feature that I have found most valuable is the progressive scan. It is good. It's done in 24 hours."

Nagaraj S., lead cybersecurity engineer at a tech service company, notes, "I have found the detection of vulnerabilities tool thorough with good results and the graphical display output to be wonderful and full of colors. It allows many types of outputs, such as bar and chart previews."

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