Continuous Integration

R2026b
Run Code Prover Server for automated code checking on CI servers

You can check your code with Polyspace® Code Prover™ Server™ as part of post-submission checks. 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.

System Commands

polyspace-access (Polyspace Access)
polyspace-autosar(System Command) Run Polyspace Code Prover on code implementation of AUTOSAR software components
polyspace-cluster-profile-manager(System Command) Import MATLAB cluster profile to Polyspace Server commands
polyspace-code-prover-server(System Command) Run a Code Prover verification on a server from Windows, Linux, or other command line
polyspace-comments-import(System Command) Import review information from previous Polyspace analysis
polyspace-configure(System Command) Create Polyspace Platform project, workspace, or options file from build command or compilation database
polyspace-project -generate-launching-script-for(System Command) Generate files needed to run static analysis on a Polyspace Platform project
polyspace-report-generator(System Command) Generate reports from Polyspace analysis results stored locally or on Polyspace Access
polyspace-results-export(System Command) 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 Platform project, workspace, or options file from build command or compilation database
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

Run Analysis on Source Files

Run Analysis on Polyspace Platform Projects

Run Analysis Using MATLAB or MATLAB Parallel Server

Upload Results to Polyspace Access

  • Project Administration (Polyspace Access)
    Organize projects, manage permissions, and track code quality trends across analysis runs
  • Review Code Prover Results (Polyspace Access)
    Interpret Polyspace Code Prover results, trace results to root cause, and add review information

Configure Analysis on Server

Integrate with CI Tools

Related Information