Running Code Prover
Check C/C++ code for run-time errors in Polyspace® Platform user interface, using scripts, or from other environments
Run Polyspace Code Prover™ to check C/C++ code exhaustively for run-time errors.
You can run Code Prover after adding source code to a Polyspace Platform project, or perform automated runs using scripts. If you generate C/C++ code from MATLAB® code or Simulink® models, you can run Code Prover directly from those environments.
Categories
- 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
