Main Content

Analysis Options in Polyspace Code Prover

Descriptions of analysis options

Irrespective of where you run Polyspace® from, you might want to change some default analysis options. You can change options to work around compilation errors, to specify additional checkers, to set rules from coding standards, to generate reports, and so on. See all available analysis options and accompanying workflows here. The options are organized according to the groups on the Configuration pane in the Polyspace user interface. For platform-specific instructions on how to set options, see Specify Polyspace Analysis Options.