IBM Security AppScan vs. Polyspace Code Prover

As of May 2019, IBM Security AppScan is ranked 5th in Application Security with 14 reviews vs Polyspace Code Prover which is ranked 23rd in Application Security. The top reviewer of IBM Security AppScan writes "The ease of use is key, the developers can actually use it and get results from dynamic testing". IBM Security AppScan is most compared with Veracode, Micro Focus Fortify on Demand and Checkmarx. Polyspace Code Prover is most compared with Coverity, SonarQube and Klocwork.
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 Veracode, SonarQube, Micro Focus and others in Application Security. Updated: April 2019.
340,467 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
AppScan is a little bit expensive. IBM needs to work a little bit on the pricing model, decreasing the license cost.

Read more »

Information Not Available
report
Use our free recommendation engine to learn which Application Security solutions are best for your needs.
340,467 professionals have used our research since 2012.
Ranking
5th
Views
18,893
Comparisons
9,307
Reviews
12
Average Words per Review
402
Avg. Rating
7.9
23rd
Views
496
Comparisons
433
Reviews
0
Average Words per Review
0
Avg. Rating
N/A
Top Comparisons
Compared 17% of the time.
Compared 15% of the time.
Compared 37% of the time.
Compared 26% of the time.
Compared 26% of the time.
Also Known As
Rational AppScan, AppScan
Learn
IBM
MathWorks
Video Not Available
Overview

IBM Security AppScan enhances web application security and mobile application security, improves application security program management and strengthens regulatory compliance. By scanning your web and mobile applications prior to deployment, AppScan enables you to identify security vulnerabilities and generate reports and fix recommendations.

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
Learn more about IBM Security AppScan
Learn more about Polyspace Code Prover
Sample Customers
Essex Technology Group Inc., Cisco, West Virginia University, APIS ITAlenia 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
Government29%
Financial Services Firm14%
Aerospace/Defense Firm14%
Transportation Company14%
VISITORS READING REVIEWS
Government26%
Financial Services Firm14%
Healthcare Company13%
Transportation Company10%
No Data Available
Company Size
REVIEWERS
Small Business16%
Midsize Enterprise16%
Large Enterprise68%
VISITORS READING REVIEWS
Midsize Enterprise2%
Large Enterprise98%
No Data Available
Find out what your peers are saying about Veracode, SonarQube, Micro Focus and others in Application Security. Updated: April 2019.
340,467 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