Polyspace Code Prover Reviews

Name: Polyspace Code Prover
Brand: MathWorks
Rating: 4 (5 reviews)

3.8 out of 5

5 reviews
80% willing to recommend

What is Polyspace Code Prover?UNIXBusinessApplication
Price:

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.

Get the Polyspace Code Prover Buyer's Guide and find out what your peers are saying about Polyspace Code Prover, SonarQube, Veracode and more!

Polyspace Code Prover is the #23 ranked solution in application security solutions. PeerSpot users give Polyspace Code Prover an average rating of 7.6 out of 10. Polyspace Code Prover is most commonly compared to SonarQube: Polyspace Code Prover vs SonarQube. Polyspace Code Prover is popular among the large enterprise segment, accounting for 75% of users researching this solution on PeerSpot. The top industry researching this solution are professionals from a manufacturing company, accounting for 34% of all views.

Buyer's Guide

Polyspace Code Prover

May 2024

Get the report

Helped 772,649 peers since 2012

Featured reviews

Pradeep Panchakarla

Functional Safety Engineer at a manufacturing company with 5,001-10,000 employees

Nov 29, 2023

We use the solution to check the runtime issues of our programming The product runs the code based on our application loop and tries to find run time overflows of the variable and out-of-boundary memory issues. The product detects memory corruptions. It also detects undefined memory access and…

Read full review

Aman Singla

Senior Engineer at a manufacturing company with 10,001+ employees

Apr 3, 2023

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.

Read full review

Subir Datta

Specialist at a tech consulting company with 501-1,000 employees

Mar 31, 2023

First of all, Polyspace Code Prover is a very user-friendly tool. Once you import the respective RTP, you can simulate it with the minimum amount of stimulus or input files. It will drive the code and allow you to detect issues such as overflow or division by zero. These issues are important in functional safety and can be impacted at the software level. With the help of Polyspace Code Prover, you can easily detect these kinds of issues. Additionally, the tool is user-friendly and integrated into the simulated environment used in most automotive software industries. It means that you do not need to use any other tools, and once you generate a code in the same environment, you can take that code and bring it into the Polyspace Code Prover environment to test it for unit testing. I found it easy to access and handle. There is no need for any tool switching, and integration can be done easily.

Read full review

Polyspace Code Prover market share

As of June 2024, the market share of Polyspace Code Prover in the Application Security Tools category stands at 1.3%, up from 0.8% compared to the previous year, according to calculations based on PeerSpot user engagement data.

Application Security Tools

Key learnings from peers

Valuable Features

"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."
"The product detects memory corruptions."
"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."

Room for Improvement

"Using Code Prover on large applications crashes sometimes."
"The tool has some stability issues."
"One of the main disadvantages is the time it takes to initiate the first run."

Pricing

"We use the paid version."

These insights are based on the in-depth reviews provided by peers to help you make a better buying decision.

Download our Polyspace Code Prover Buyer's Guide for additional reliable information.

Top industries

By visitors reading reviews

Manufacturing Company

34%

Computer Software Company

15%

Transportation Company

Retailer

Educational Organization

Financial Services Firm

Government

Aerospace/Defense Firm

Energy/Utilities Company

Comms Service Provider

Real Estate/Law Firm

Recreational Facilities/Services Company

Construction Company

Media Company

University

Logistics Company

Healthcare Company

Engineering Company

Insurance Company

Hospitality Company

Wholesaler/Distributor

Legal Firm

Outsourcing Company

Compare Polyspace Code Prover with alternative products

Learn more about Polyspace Code Prover

Polyspace Code Prover customers

Alenia Aermacchi, CSEE Transport, Delphi Diesel Systems, EADS, Institute for Radiological Protection and Nuclear Safety, Korean Air, KOSTAL, Miracor, NASA Ames Research Center