Main Content

Set Up Code Prover Analysis on Servers During Continuous Integration

Check C/C++ code for defects in the Polyspace® user interface or using scripts

You can check your code with Code Prover as part of post-submission testing. Set up scripts that run a Code Prover analysis at regular intervals or based on new submissions. The scripts can upload the analysis results for review in the Polyspace Access web interface and send emails to owners of source files with Polyspace findings.

DOS/UNIX Commands

polyspace-access (Polyspace Access)(DOS/UNIX) Manage Polyspace Access results and users at the command line
polyspace-autosar(DOS/UNIX) Run Polyspace Code Prover on code implementation of AUTOSAR software components
polyspace-cluster-profile-manager(DOS/UNIX) Import MATLAB cluster profile to Polyspace Server commands
polyspace-code-prover-server(DOS/UNIX) Run a Code Prover verification on a server from Windows, Linux, or other command line
polyspace-comments-import(DOS/UNIX) Import review information from previous Polyspace analysis
polyspace-configure(DOS/UNIX) Create Polyspace project from your build system at the DOS or UNIX command line
polyspace-report-generator(DOS/UNIX) Generate reports for Polyspace analysis results stored locally or on Polyspace Access
polyspace-results-export(DOS/UNIX) Export Polyspace results to external formats such as CSV or JSON

MATLAB API

expand all

polyspacerootGet Polyspace installation folder
polyspaceCodeProverServerRun Polyspace Code Prover verification from MATLAB
polyspaceConfigureCreate Polyspace project from your build system at the MATLAB command line
polyspaceAutosarRun Polyspace Code Prover on code implementation of AUTOSAR software components using MATLAB scripts
polyspace_reportGenerate reports from Polyspace analysis results
polyspacePackNGoGenerate and package options files to run Polyspace analysis on code generated from Simulink model
polyspacesetupIntegrate Polyspace installation with Simulink
polyspace.Project Run Polyspace analysis on C and C++ code and read results
polyspace.GenericTargetOptionsCreate a generic target configuration
polyspace.CodingRulesOptionsCreate custom list of coding rules to check
polyspace.CodeProverResultsRead Polyspace Code Prover results from MATLAB
polyspace.Project.Configuration PropertiesCustomize Polyspace analysis of handwritten code with options object properties

Topics