Составьте таблицу кодирования нарушений правила, сломанных файлом
Этот компонент составляет таблицы, содержащие кодирующий нарушения правила, сломанные каждым файлом на проект Polyspace®. Для каждого нарушения правила таблица содержит следующую информацию:
Управляйте номером
Управляйте описанием
Функция, содержащая нарушение
(Только Программа автоматического доказательства кода) Номер строки и номер столбца
Рассмотрите информацию, такую как классификация, состояние и комментарии
Используя эту опцию, можно выбрать который, кодируя нарушения правила, чтобы отобразиться. Можно отобразить нарушения для следующего набора кодирования правил:
Правила MISRA C®
Правила MISRA® AC AGC
MISRA правила C++
Правила JSF® C ++
Пользовательские правила кодирования
Используя эту опцию, можно сломать отображение кодирования нарушений правила файлом.
