-ignore-code-annotations

Description

-ignore-code-annotations causes a Polyspace^® analysis to ignore code annotations justifying Polyspace results and show previously annotated results as unreviewed.

To avoid reviewing a result multiple times, you can add Polyspace-specific annotations to your code with review information such as justification for a result. Later runs take into account these annotations and prepopulate the annotated results with associated review information. However, in some cases, you might want to run a clean analysis as if the results have not been previously reviewed. You can use the option -ignore-code-annotations to run such an analysis with no history. The analysis ignores the code annotations and shows all annotated results without any review information taken from the annotations.

For instance, an analysis that takes into account code annotations shows these features:

If you use the option -ignore-code-annotations, both the individual results and the aggregated statistics do not include information from the code annotations.

For details on the code annotations workflow, see Annotate Code and Hide Known or Acceptable Results.

If you are running an analysis from the user interface (Polyspace desktop products only), on the Configuration pane, you can enter this option in the Other field. See Other.

Examples

To ignore previous code annotations, use the option -ignore-code-annotations.