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 (DOS/UNIX) Manage upload, download or export ofPolyspaceresults from thePolyspaceAccess web interface
polyspace-autosar (DOS/UNIX) RunPolyspaceCode Proveron code implementation of AUTOSAR software components
polyspace-code-prover-server (DOS/UNIX) Run a Code Prover verification on a server fromWindows,Linux, or other command line
polyspace-comments-import (DOS/UNIX) Import review information from previousPolyspaceanalysis
polyspace-configure (DOS/UNIX) CreatePolyspaceproject from your build system at the DOS or UNIX command line
polyspace-report-generator (DOS/UNIX) Generate reports forPolyspace分析结果存储locally or on Polyspace Access
polyspace-results-export (DOS/UNIX) ExportPolyspaceresults to external formats such as CSV or JSON

MATLAB API

expand all

polyspaceroot GetPolyspaceinstallation folder
polyspaceCodeProverServer RunPolyspaceCode Proververification fromMATLAB
polyspaceConfigure CreatePolyspaceproject from your build system at theMATLABcommand line
polyspaceAutosar RunPolyspaceCode Proveron code implementation of AUTOSAR software components usingMATLABscripts
polyspace_report Generate reports fromPolyspaceanalysis results
polyspacePackNGo 生成文件俄文和包选项nPolyspaceanalysis on code generated from万博1manbetxmodel
polyspacesetup IntegratePolyspaceinstallation with万博1manbetx
polyspace.Project RunPolyspaceanalysis on C and C++ code and read results
polyspace.GenericTargetOptions Create a generic target configuration
polyspace.CodingRulesOptions Create custom list of coding rules to check
polyspace.CodeProverResults ReadPolyspaceCode Proverresults fromMATLAB
polyspace.Project.Configuration Properties CustomizePolyspaceanalysis of handwritten code with options object properties

Topics