Try our new research platform with insights from 80,000+ expert users
Polyspace Code Prover Logo

Polyspace Code Prover pros and cons

Vendor: MathWorks
3.9 out of 5

Pros & Cons summary

Buyer's Guide

Get pricing advice, tips, use cases and valuable features from real users of this product.
Get the report

Prominent pros & cons

PROS

Outputs from Polyspace Code Prover are very reliable.
Polyspace Code Prover is distinct because it runs the code, differentiating it from other static code analysis tools.
It detects memory corruptions effectively.
Using Polyspace Code Prover helps fulfill ISO 26262 compliance for safety modules.
It carries out many quality checks, including checks for division by zero, data type casts, and null pointer dereferences.

CONS

Automation could be a challenge.
Data acceptance is limited to specific formats.
Initiating the first run takes significant time.
There are stability issues present.
Crashes occur when using on large applications.
 

Polyspace Code Prover Pros review quotes

RE
Jun 26, 2023
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.
Subir Datta - PeerSpot reviewer
Mar 31, 2023
Polyspace Code Prover is a very user-friendly tool.
Aman Singla - PeerSpot reviewer
Apr 3, 2023
The outputs are very reliable.
Learn what your peers think about Polyspace Code Prover. Get advice and tips from experienced pros sharing their opinions. Updated: November 2024.
816,406 professionals have used our research since 2012.
reviewer2342475 - PeerSpot reviewer
Feb 8, 2024
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.
Pradeep Panchakarla - PeerSpot reviewer
Nov 29, 2023
The product detects memory corruptions.
 

Polyspace Code Prover Cons review quotes

RE
Jun 26, 2023
One of the main disadvantages is the time it takes to initiate the first run.
Subir Datta - PeerSpot reviewer
Mar 31, 2023
Automation could be a challenge.
Aman Singla - PeerSpot reviewer
Apr 3, 2023
I'd like the data to be taken from any format.
Learn what your peers think about Polyspace Code Prover. Get advice and tips from experienced pros sharing their opinions. Updated: November 2024.
816,406 professionals have used our research since 2012.
reviewer2342475 - PeerSpot reviewer
Feb 8, 2024
Using Code Prover on large applications crashes sometimes.
Pradeep Panchakarla - PeerSpot reviewer
Nov 29, 2023
The tool has some stability issues.