Try our new research platform with insights from 80,000+ expert users

Polyspace Code Prover vs WhiteHat Dynamic comparison

 

Comparison Buyer's Guide

Executive Summary

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
Average Rating
7.8
Reviews Sentiment
8.8
Number of Reviews
6
Ranking in other categories
Application Security Tools (19th)
WhiteHat Dynamic
Average Rating
8.0
Number of Reviews
2
Ranking in other categories
Dynamic Application Security Testing (DAST) (6th)
 

Mindshare comparison

Polyspace Code Prover and WhiteHat Dynamic aren’t in the same category and serve different purposes. Polyspace Code Prover is designed for Application Security Tools and holds a mindshare of 1.2%, up 0.8% compared to last year.
WhiteHat Dynamic, on the other hand, focuses on Dynamic Application Security Testing (DAST), holds 6.7% mindshare, up 5.1% since last year.
Application Security Tools
Dynamic Application Security Testing (DAST)
 

Featured Reviews

Aman Singla - PeerSpot reviewer
Easy to setup with reliable outputs and good reliability
It is easy to set up the solution. We can actually modify it using script also. It's pretty easy to link it with our in-house toolchain with the Polyspace configuration settings. If we have small amounts of data, it's quick and you can set it up within ten to 15 minutes. However, depending on the size of the data and the variables, it could take a while since you have to provide a range for all variables. If you have, for example, 500 variables, you'll be configuring a lot. However, the input extremes can be fed using an Excel file or some other format.
it_user245412 - PeerSpot reviewer
The product and customer service is extremely efficient but I would like to see more research and code examples.
* The continuous online scanning capabilities and reporting features. * The SaaS product features accessible from a browser make managing our online systems easy. * The ability to review security items quickly along with being able to retest vulnerabilities on our schedule make the Sentinel product an invaluable tool for our company’s product security requirements.
report
Use our free recommendation engine to learn which Application Security Tools solutions are best for your needs.
845,406 professionals have used our research since 2012.
 

Top Industries

By visitors reading reviews
Manufacturing Company
39%
Computer Software Company
12%
Transportation Company
5%
Government
4%
Computer Software Company
16%
Financial Services Firm
14%
Government
13%
Healthcare Company
10%
 

Company Size

By reviewers
Large Enterprise
Midsize Enterprise
Small Business
No data available
No data available
 

Questions from the Community

What do you like most about 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,...
What needs improvement with Polyspace Code Prover?
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. It require support. There could be an issue with range propag...
Ask a question
Earn 20 points
 

Also Known As

No data available
Sentinel Dynamic, WhiteHat Security Application Security Testing, Synopsys WhiteHat Dynamic
 

Overview

 

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
Information Not Available
Find out what your peers are saying about Sonar, Veracode, Checkmarx and others in Application Security Tools. Updated: March 2025.
845,406 professionals have used our research since 2012.