Polyspace Code Prover Reviews

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.

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.

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. We primarily use it in the automotive industry, where we develop components that need to meet certain safety standards. Polyspace Code Prover helps us minimize the risk associated with these components by identifying potential problems in the code, such as invalid pointer accesses or divisions by zero. These are issues that could be missed during regular code reviews or unit testing, which focus on individual parts and specific input combinations. By leveraging Polyspace Code Prover, we aim to minimize risks as much as possible when developing safe components.