Configuration
To integrate Polyspace® Code Prover™ effectively in your software development workflow, set appropriate analysis options for optimal results. In particular:
Emulate your source code build by creating a Polyspace project or options file using your build system, or by explicitly specifying compiler options, sizes of data types, and other build-related options relevant for static analysis.
Limit the analyzed code paths by specifying external constraints on inputs and global variables, or by specifying global analysis assumptions.
Create separate analysis modules (projects or options files) corresponding to existing components in your codebase.
Define additional information required for specialized analysis, such as multitasking or global variable initialization.
You can configure Code Prover by using a Polyspace Platform project, by using command-line flags, or by using an options file. See:
Categories
- Configure Sources and Build Options
Configure Polyspace to mimic your build closely to improve result precision
- Configure Checks
Specify behavior of various Polyspace checks
- Modularize Analysis
Modularize your projects into smaller parts and specify how to analyze each part
- Improve Precision
Provide extra information about your code to reduce orange checks
- Configure Review Information Import
Configure importing review information from existing results
- Configure Reporting
Generate reports
