Polyspace Code Prover Reviews

Name: Polyspace Code Prover
Brand: MathWorks
Rating: 3.9 (6 reviews)

3.9 out of 5

6 reviews
83% willing to recommend

What is Polyspace Code Prover?

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 Server (formerly SonarQube), Veracode and more!

Polyspace Code Prover is the #18 ranked solution in application security solutions. PeerSpot users give Polyspace Code Prover an average rating of 7.8 out of 10. Based on the analysis of the 6 most recent Polyspace Code Prover reviews, the overall sentiment is positive, with a sentiment score of 8.8. (The highest in the category). Polyspace Code Prover is most commonly compared to SonarQube Server (formerly SonarQube): Polyspace Code Prover vs SonarQube Server (formerly SonarQube). Polyspace Code Prover is popular among the large enterprise segment, accounting for 76% of users researching this solution on PeerSpot. The top industry researching this solution are professionals from a manufacturing company, accounting for 37% of all views.

Buyer's Guide

Polyspace Code Prover

November 2024

Get the report

Helped 816,406 peers since 2012

Featured reviews

Pradeep Panchakarla

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

The run time analysis process must be improved. If we do not run with the main loop, it generates its own main and doesn’t allow developers to modify the execution sequences. The solution must provide more flexibility to the developers to manipulate the runtime analysis tools. The developer must be allowed to modify the main sequence. It will be very easy for them to test their use cases. Otherwise, Polyspace generates a random main file and executes all the functions randomly.

Read full review

Aman Singla

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

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

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 mindshare

As of November 2024, the mindshare of Polyspace Code Prover in the Application Security Tools category stands at 1.0%, up from 0.7% compared to the previous year, according to calculations based on PeerSpot user engagement data.

Application Security Tools

Key learnings from peers

Last updated Nov 21, 2024

Valuable Features

Polyspace Code Prover is user-friendly, integrated into automotive environments, highlights and explains issues in code files, and helps meet ISO 26262 compliance. It effectively detects overflow, division by zero, memory corruption, and undefined access. Polyspace runs code to find runtime overflows and ensures reliable outputs. Users appreciate its ease of setup and the ability to minimize development risks by identifying potential problems like invalid pointer access or out-of-boundary memory issues.

"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

Polyspace Code Prover requires better automation to streamline processes, enhanced speed for handling large files, and broader file format support. The initial setup and dependency issues slow execution. Runtime analysis needs developer flexibility for editing main sequences. There are challenges with false results and scalability on large systems. Range propagation with constraints demands clearer guidance, requiring improved support.

"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

Polyspace Code Prover pricing is perceived as high but justified due to its benefits. Many users mention that costs vary among companies, and while the solution isn't cheap, its value is recognized. It typically operates on a yearly licensing model, with users often opting for the paid version to maximize its features.

"We use the paid version."

Popular Use Cases

Polyspace Code Prover is primarily used for static code analysis and unit testing in automotive software projects. Automotive embedded engineers utilize it to check generated code from models or hand-coded components before flashing onto processors. It plays a critical role in detecting runtime issues and ensuring software component integrity for electronic control units. Despite integration with Simulink models for smaller and larger projects, users report occasional crashes with extensive files or functions.

Service and Support

Polyspace Code Prover support is strong in technical aspects but response time needs improvement. Some have never needed assistance due to smooth functioning. Online resources are recommended first, but complex cases require team involvement. Each use case has unique challenges due to dependencies, demanding personalized attention. Support offers good suggestions and effectively addresses issues.

Deployment

Polyspace Code Prover's initial setup is easy when familiar with policy-based tools. Guidelines and project-specific guidance are available, facilitating configuration with in-house toolchains. Small data setups are quick, but large projects may require more time, often involving two engineers for installation and maintenance. In organizations with many projects, a larger team is necessary. Training is essential for ease of installation, which can range from hours to a few days depending on implementation.

Scalability

Polyspace Code Prover handles a large number of users effectively, with a typical floating license presenting some restrictions regarding simultaneous access. It processes tasks sequentially, accommodating hundreds of users globally, mainly developers. Medium-sized enterprises and teams find it scalable, supporting multiple users with ease. Fast result generation could enhance scalability further.

Stability

Users indicate stability, mentioning past bugs that were resolved, suggesting ongoing improvement. Some report no recent problems except with licensing, while others note rare stability issues and occasional false positives, estimating stability at 90%. Ratings for Polyspace Code Prover's stability are high, as reflected by one assessment of nine out of ten.

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

37%

Computer Software Company

13%

Transportation Company

Financial Services Firm

Educational Organization

Retailer

Government

Energy/Utilities Company

Aerospace/Defense Firm

Healthcare Company

Recreational Facilities/Services Company

Construction Company

Logistics Company

University

Media Company

Real Estate/Law Firm

Engineering Company

Insurance Company

Outsourcing Company

Wholesaler/Distributor

Comms Service Provider

Hospitality 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