Analysis Options
Descriptions of analysis options
The categories of analysis options map to the different panes of the
Configuration pane. You can specify analysis
options from the Configuration pane in the user
interface or using polyspace-code-prover at the
command line. Command line parameters are included in the analysis
option description.
Common Workflows
- Target and Compiler
Specify target environment
- Macros
Define macros for preprocessing
- Environment Settings
Control compilation
- Inputs and Stubbing
Specify ranges for global variables and functions
- Multitasking
Task entry points, critical sections, exclusive tasks
- Coding Standards & Code Metrics
Check coding rules, specify custom rules, generate code complexity metrics
- Code Prover Verification
Verify whole application or module
- Verification Assumptions
Configure software assumptions about source code
- Check Behavior
Modify default behavior of run-time checks
- Precision
Specify verification precision
- Scaling
Specify verification scaling
- Reporting
Generate reports
- Run Settings
Specify remote verification
- Advanced Settings
Post-analysis commands, automatic orange tester, other options
- Options at Command Line Only
Descriptions of options available only at command line
Select a Web Site
Choose a web site to get translated content where available and see local events and offers. Based on your location, we recommend that you select: .
Select web siteYou 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)
