-xml-annotations-description
ОшибкиКогда вы используете опцию -xml-annotations-description
чтобы применить пользовательские аннотации к вашим результатам Polyspace®, некоторые пользовательские аннотации не применяются, и вы видите предупреждения в консоли выход или настольный интерфейс Output Summary.
Если вы задаете пользовательский синтаксис аннотации, но вы не сопоставляете его с синтаксисом аннотации Polyspace, Polyspace обнаруживает пользовательскую аннотацию, но не применяет ее к результатам анализа. Вы видите предупреждение, похожее на это предупреждение в консоли выход или интерфейс Output Summary рабочего стола Polyspace.
Verifying sources ...
Verifying zero_div.c (1/1)
Warning: rule :50 from exampleCustomAnnotation not found in the mapping (XML file).
Skipping the annotation
Решение. Проверяйте <Mapping/>
раздел XML-файла, который вы передаете -xml-annotations-description
опция. Если правило, перечисленное в предупреждении, не сопоставлено с правилом Polyspace, добавьте соответствующую запись, чтобы сопоставить правило. Например, чтобы сопоставить правило 50 от предыдущего предупреждения до Polyspace, кодирующего правило MISRA C®: 2012 Rule 8.4, добавьте эту запись в <Mapping/>
раздел:
<Result_Name_Mapping Rule_Identifier="50" Family="MISRA-C3" Result_Name="8.4"/>
Если вы задаете пользовательский синтаксис аннотации, и вы сопоставляете его с синтаксисом аннотации Polyspace, Polyspace не может применить некоторые пользовательские аннотации к вашему исходному коду. Вы видите предупреждение, похожее на это предупреждение в консоли выход или интерфейс Output Summary рабочего стола Polyspace.
Warning: These Polyspace annotations do not apply to the current code:
| In file D:\Polyspace\Examples\zero_div.c line 7, annotation MISRA-C3:8.4 with text
"Justified by annotation in source"
| In file D:\Polyspace\Examples\zero_div.c line 20, annotation MISRA-C3:8.4 with text
"Justified by annotation in source"
| Possible reasons:
| - Issue not detected with selected configuration options.
| - Issue is fixed.
| - Annotation syntax is incorrect
Решение. Проверяйте по этим возможным причинам:
Проблема, что адреса аннотации были зафиксированы в исходном коде. Polyspace обнаруживает пользовательскую аннотацию, но игнорирует ее.
Проблема, которую решает аннотация, не была обнаружена Polyspace с опциями анализа, которые вы задали. Например, если пользовательская аннотация обращается к MISRA C: 2 012 кодирующих стандартных нарушений, но Polyspace не проверяли на нарушения этого стандарта кодирования потому что опция Check MISRA C:2012 (-misra3)
не задан.
Проблема, которую решает аннотация, была обнаружена, но Polyspace не мог совпадать с пользовательской аннотацией к соответствующей аннотации Polyspace. Это указывает на синтаксическую ошибку в <Mapping/>
раздел XML-файла, который вы передаете -xml-annotations-description
опция.