Configuration Parameters

Polyspace settings: The analysis options that you used to obtain your results. The table lists command-line version of the options along with their values.

Analysis assumptions: The assumptions used to obtain your Code Prover results. The table lists only the modifiable assumptions. For assumptions that you cannot change, see the Polyspace^® documentation.

Coding rules configuration: The coding rules whose violations you checked for. The table lists the rule number, rule description and other information about the rules.

Files with compilation errors: If your project has source files with compilation errors, these files are listed.