Compare Polyspace Code Prover vs. Qualys Web Application Scanning

Cancel
You must select at least 2 products to compare!
Most Helpful Review
Use Polyspace Code Prover? Share your opinion.
Find out what your peers are saying about SonarQube, Veracode, Sonatype and others in Application Security. Updated: September 2020.
441,850 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
"Veracode has been fair. We use their SaaS solution and it's just an annual subscription.""No issues, the pricing seems reasonable.""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.""They have just streamlined the licensing and they have a number of flexible options available, so overall it is quite good, albeit pricey.""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."

More Veracode Pricing and Cost Advice »

Information Not Available
"The product is expensive, at least initially, in comparison to other products in this category.""There are different options available with respect to licensing.""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."

More Qualys Web Application Scanning Pricing and Cost Advice »

report
Use our free recommendation engine to learn which Application Security solutions are best for your needs.
441,850 professionals have used our research since 2012.
Answers from the Community
Miriam Tover
Questions from the Community
Top Answer: Veracode has offered a dynamic analysis testing solution for several years, having launched our first offering in 2015… more »
Top Answer: I would recommend them. They have the ability to cover multiple languages and come with all the features you would… more »
Top Answer: SonarQube depends on completely what you configure the Rules. You will have the option of the Profile creation and can… more »
Ask a question

Earn 20 points

Top Answer: por ahora estoy usando Owasp Zap, es muy intuitivo y sus reportes muy detallados, probe con burp suite pero no me… more »
Top Answer: The interface is user-friendly and easy to understand.
Top Answer: There are different options available with respect to licensing.
Popular Comparisons
Compared 50% of the time.
Compared 15% of the time.
Compared 4% of the time.
Compared 28% of the time.
Compared 18% of the time.
Compared 17% of the time.
Compared 9% of the time.
Also Known As
Qualys WAS
Learn
Veracode
MathWorks
Video Not Available
Qualys
Overview

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.

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.

Qualys Web Application Scanning (WAS) is a cloud service that provides automated crawling and testing of custom web applications to identify vulnerabilities including cross-site scripting (XSS) and SQL injection. The automated service enables regular testing that produces consistent results, reduces false positives, and easily scales to secure a large number of websites. Proactively scans websites for malware infections, sending alerts to website owners to help prevent black listing and brand reputation damage.
Offer
Learn more about Veracode
Learn more about Polyspace Code Prover
Learn more about Qualys Web Application Scanning
Sample Customers
State of Missouri, ReknerAlenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research CenterBskyB, 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.
Top Industries
REVIEWERS
Financial Services Firm34%
Insurance Company13%
Retailer6%
Pharma/Biotech Company6%
VISITORS READING REVIEWS
Computer Software Company41%
Comms Service Provider14%
Media Company6%
Financial Services Firm5%
VISITORS READING REVIEWS
Computer Software Company37%
Manufacturing Company17%
Comms Service Provider14%
K 12 Educational Company Or School9%
REVIEWERS
Financial Services Firm50%
Comms Service Provider13%
Computer Software Company13%
Recruiting/Hr Firm13%
VISITORS READING REVIEWS
Computer Software Company42%
Government9%
Comms Service Provider9%
Insurance Company6%
Company Size
REVIEWERS
Small Business20%
Midsize Enterprise25%
Large Enterprise55%
VISITORS READING REVIEWS
Small Business15%
Midsize Enterprise16%
Large Enterprise69%
No Data Available
REVIEWERS
Small Business11%
Midsize Enterprise11%
Large Enterprise79%
Find out what your peers are saying about SonarQube, Veracode, Sonatype and others in Application Security. Updated: September 2020.
441,850 professionals have used our research since 2012.
Polyspace Code Prover is ranked 23rd in Application Security while Qualys Web Application Scanning is ranked 13th in Application Security with 6 reviews. Polyspace Code Prover is rated 0.0, while Qualys Web Application Scanning is rated 7.6. On the other hand, the top reviewer of Qualys Web Application Scanning writes "Has comprehensive SSL security measurements but the price should be lowered". Polyspace Code Prover is most compared with Coverity, Klocwork, SonarQube, Checkmarx and HCL AppScan, whereas Qualys Web Application Scanning is most compared with OWASP Zap, SonarQube, HCL AppScan, WebInspect and PortSwigger Burp.

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.