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.