Analysis Options
Configure Polyspace®
Bug Finder™ analysis
The categories of analysis options map to the different sections of
the Configuration pane. You can specify analysis
options from the Configuration pane in the user
interface or by using polyspace-bug-finder
at the command line. Command line parameters are included in the
analysis option description.
Common Workflows
- Target and Compiler
Target processor type, compiler behavior
- Macros
Preprocessor specifications and definitions
- Environment Settings
Preprocessing script, include files
- Inputs and Stubbing
Specify ranges for global variables and functions
- Multitasking
Multitasking options, entry points, critical sections, exclusive tasks
- Coding Standards & Code Metrics
MISRA, AUTOSAR, CERT, and JSF coding rule sets, custom coding rules, code metrics
- Bug Finder Analysis
Analysis options for finding defects
- Main Generator
Main generation; initialization, step, and termination functions; parameters and input variables
- Check Behavior
Modify default behavior of run-time checks
- Reporting
Defect reports, summary reports, report templates
- Run Settings
Remote analysis, results repository
- Advanced Settings
Post-analysis commands, scripts, nonofficial options
- Command-Line Only Options
Command-line only options, advanced options
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)
