Most Helpful Review | ||||||
|
| Use Polyspace Code Prover? Share your opinion. | ||||
Find out what your peers are saying about SonarSource, Veracode, Checkmarx and others in Application Security. Updated: December 2020. 454,950 professionals have used our research since 2012. |
We asked business professionals to review the solutions they use. Here are some excerpts of what they said:
Use our free recommendation engine to learn which Application Security solutions are best for your needs. 454,950 professionals have used our research since 2012. | ||
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 | Ask a question Earn 20 points |
Popular Comparisons | ||
![]() Compared 50% of the time. ![]() Compared 16% of the time. ![]() Compared 6% of the time. ![]() Compared 4% of the time. ![]() Compared 2% of the time. | ![]() Compared 20% of the time. ![]() Compared 9% of the time. ![]() Compared 9% of the time. ![]() Compared 8% of the time. | ![]() Compared 28% of the time. ![]() Compared 18% of the time. ![]() Compared 17% of the time. ![]() Compared 9% of the time. ![]() Compared 5% of the time. |
Also Known As | ||
IBM Security AppScan, Rational AppScan, AppScan | ||
Learn | ||
Veracode | HCL | MathWorks Video Not Available |
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. | 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 Veracode | Learn more about HCL AppScan | Learn more about Polyspace Code Prover |
Sample Customers | ||
State of Missouri, Rekner | Essex Technology Group Inc., Cisco, West Virginia University, APIS IT | Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center |
Top Industries | ||
Financial Services Firm32% Insurance Company11% Computer Software Company8% Healthcare Company5% Computer Software Company35% Comms Service Provider16% Financial Services Firm8% Manufacturing Company5% | Government33% Insurance Company22% Aerospace/Defense Firm11% Transportation Company11% Computer Software Company41% Comms Service Provider18% Government7% Media Company7% | Computer Software Company33% Manufacturing Company23% Comms Service Provider12% Educational Organization8% |
Company Size | ||
Small Business22% Midsize Enterprise25% Large Enterprise53% Small Business21% Midsize Enterprise20% Large Enterprise60% | Small Business13% Midsize Enterprise13% Large Enterprise74% | No Data Available |
HCL AppScan is ranked 16th in Application Security with 4 reviews while Polyspace Code Prover is ranked 22nd in Application Security. HCL AppScan is rated 7.8, while Polyspace Code Prover is rated 0.0. The top reviewer of HCL AppScan writes "Allows for dynamic scanning but lacks easy CI/CD integration". On the other hand, HCL AppScan is most compared with SonarQube, Checkmarx, Micro Focus Fortify on Demand and OWASP Zap, whereas Polyspace Code Prover is most compared with Coverity, Klocwork, SonarQube, Checkmarx and Parasoft SOAtest.
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.