Set Up Code Prover Analysis on Desktop

Check C/C++ code for run-time errors in the Polyspace^® user interface or using scripts

Configure and run Polyspace Code Prover™ to check your code for run-time errors. You can configure and run Polyspace by using:

Categories

Code Prover Analysis in Polyspace User Interface
Check C/C++ code for run-time errors in the Polyspace user interface
Code Prover Analysis in Polyspace Platform User Interface
Check C/C++ code for defects in the Polyspace Platform user interface
Code Prover Analysis with Windows or Linux Scripts
Check C/C++ code for run-time errors using batch files (.bat) or shell scripts (.sh)
Code Prover Analysis with MATLAB Scripts
Check C/C++ code for defects using MATLAB M-files
Code Prover Analysis in Simulink
Verify code imported into and generated from Simulink^® models
Code Prover Analysis on Clusters
Check C/C++ code for run-time errors on a remote cluster
Code Prover Analysis in MATLAB Coder
Verify code generated from MATLAB code
Code Prover Analysis of AUTOSAR Code
Verify code implementation of AUTOSAR software components.