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.