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.