Configure and Run Analysis
Check C/C++ code exhaustively for run-time errors. Depending on your product configuration, you might be running an analysis on one of these locations:
Desktop: If you are running Polyspace Code Prover, you can analyze code in the Polyspace user interface, using scripts, or from another app such as Simulink® or MATLAB® Coder™. You can even dispatch the analysis to a server (where the analysis runs using Polyspace Code Prover Server™) and download the results to your desktop.
Server: If you are running Polyspace Code Prover Server, you can schedule automated runs on servers using Continuous Integration (CI) tools such as Jenkins®.
Categories
- Set Up Code Prover Analysis on Desktop
Check C/C++ code for run-time errors in the Polyspace user interface or using scripts
- Set Up Code Prover Analysis on Servers During Continuous
Integration
Check C/C++ code for defects in the Polyspace user interface or using scripts
- Complete List of Polyspace
Code Prover Analysis Options
Configure Polyspace Code Prover analysis
You can also select a web site from the following list
Americas
- América Latina (Español)
- Canada (English)
- United States (English)
Europe
- Belgium (English)
- Denmark (English)
- Deutschland (Deutsch)
- España (Español)
- Finland (English)
- France (Français)
- Ireland (English)
- Italia (Italiano)
- Luxembourg (English)
- Netherlands (English)
- Norway (English)
- Österreich (Deutsch)
- Portugal (English)
- Sweden (English)
- Switzerland
- United Kingdom (English)
Asia Pacific
- Australia (English)
- India (English)
- New Zealand (English)
- 中国
- 日本Japanese (日本語)
- 한국Korean (한국어)