Не генерируйте результаты для (`-do-not-generate-results-for`)

Задайте файлы, на которых вы не хотите результатов анализа

Описание

Задайте файлы, на которых вы не хотите результатов анализа.

Опция применяется только к кодированию нарушений правила, метрик кода и неиспользованных глобальных переменных. Вы не можете подавить проверки на этапе выполнения Программы автоматического доказательства Кода от исходных и заголовочных файлов.

Установите опцию

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Inputs & Stubbing.

Командная строка: Используйте опцию -do-not-generate-results-for. Смотрите информацию о Командной строке.

Почему использование эта опция

Используйте эту опцию, чтобы видеть результаты в заголовочных файлах, которые наиболее относятся к вам.

Например, по умолчанию, результаты сгенерированы на заголовочных файлах, которые расположены в той же папке как исходные файлы. Если вы не интересуетесь рассмотрением результатов в тех заголовках, изменяете значение по умолчанию этой опции.

Настройки

Значение по умолчанию: include-folders

include-folders

Результаты не сгенерированы для заголовочных файлов в, включают папки.

Включать папки являются папками, которые вы добавляете в папку Include своего проекта Polyspace^® (или используйте с аргументом -I в командной строке).

Если включать папка является подпапкой исходной папки, результаты сгенерированы для файлов в этом, включают папку, даже если вы задаете значение опции include-folders. В этой ситуации используйте значение опции custom и явным образом задайте включать папки, чтобы проигнорировать.

all-headers

Результаты не сгенерированы для всех заголовочных файлов. Заголовочные файлы могут быть в той же папке, как исходные файлы, в подпапках папок исходного файла или во включают папки.

Исходные файлы являются файлами, которые вы добавляете в папку Source своего проекта Polyspace (или используйте с аргументом -sources в командной строке).

Включать папки являются папками, которые вы добавляете в папку Include своего проекта Polyspace (или используйте с аргументом -I в командной строке).

custom

Результаты не сгенерированы для файлов, которые вы задаете. Если вы вводите имя папки, результаты подавлены из файлов в той папке.

Щелкните, чтобы добавить поле. Введите имя файла или имя папки.

Советы

Используйте эту опцию соответственно в сочетании с соответствующими значениями для опции Generate results for sources and (-generate-results-for).

Если вы выбираете custom и значения для этих двух конфликтов опций, более определенное значение определяет отображение результатов. Например, в следующих примерах, значении для опции Generate results for sources and более конкретен.

Generate results for sources and Do not generate results for Конечный результат

Generate results for sources and	Do not generate results for	Конечный результат
`custom`: `C:\Includes\Custom_Library\`	`custom`: `C:\Includes`	Результаты отображены на заголовочных файлах в `C:\Includes\Custom_Library\`, но не сгенерированы для других заголовочных файлов в `C:\Includes` и его подпапках.
`custom`: `C:\Includes\my_header.h`	`custom`: `C:\Includes\`	Результаты отображены на заголовочном файле `my_header.h` в `C:\Includes\`, но не сгенерированы для других заголовочных файлов в `C:\Includes\` и его подпапках.

custom:

C:\Includes\Custom_Library\

custom:

C:\Includes

Результаты отображены на заголовочных файлах в C:\Includes\Custom_Library\, но не сгенерированы для других заголовочных файлов в C:\Includes и его подпапках.

custom:

C:\Includes\my_header.h

custom:

C:\Includes\

Результаты отображены на заголовочном файле my_header.h в C:\Includes\, но не сгенерированы для других заголовочных файлов в C:\Includes\ и его подпапках.

Используя эти две опции вместе, можно подавить результаты всех файлов в определенной папке, но не подавить избранные файлы в тех папках.

Если вы выбираете all-headers для этой опции, результаты подавлены от всех заголовочных файлов независимо от того, что вы задаете для опции Generate results for sources and.
Если дефект или кодирующий нарушение правила включает два файла, и вы не генерируете результаты для одного из файлов, дефекта или постановляете, что нарушение все еще появляется. Например, если вы задаете две переменные с подобно выглядящими именами в файлах myFile.cpp и myFile.h, вы получаете нарушение правила 2-10-1 MISRA^® C ++, даже если вы не генерируете результаты для myFile.h. Правило 2-10-1 C++ MISRA утверждает, что различные идентификаторы должны быть типографским способом однозначными.
Следующие результаты могут включить больше чем один файл:
MISRA C: 2 004 правила
- MISRA C^®: 2 004 Правила 5.1 — Идентификаторы (внутренний и внешний) не должны полагаться на значение больше чем 31 символа.
- MISRA C: 2 004 Правила 5.2 — Идентификаторы во внутреннем осциллографе не должны использовать то же имя в качестве идентификатора во внешнем осциллографе, и поэтому скрыть тот идентификатор.
- MISRA C: 2 004 Правила 8.8 — внешний объект или функция должны быть объявлены в одном файле и только одном файле.
- MISRA C: 2 004 Правила 8.9 — идентификатор с внешней связью должен иметь точно одно внешнее определение.
MISRA C: 2 012 директив и правила
- MISRA C: 2 012 Директив 4.5 — Идентификаторы в том же пространстве имен с перекрывающейся видимостью должны быть типографским способом однозначными.
- MISRA C: 2 012 Правил 5.2 — Идентификаторы, объявленные в том же осциллографе и пространстве имен, должны быть отличными.
- MISRA C: 2 012 Правил 5.3 — идентификатор, объявленный во внутреннем осциллографе, не должен скрывать идентификатор, объявленный во внешнем осциллографе.
- MISRA C: 2 012 Правил 5.4 — Макро-идентификаторы должны быть отличными.
- MISRA C: 2 012 Правил 5.5 — Идентификаторы должны быть отличны от макро-имен.
- MISRA C: 2 012 Правил 8.5 — внешний объект или функция должны быть объявлены однажды в одном и только одном файле.
- MISRA C: 2 012 Правил 8.6 — идентификатор с внешней связью должен иметь точно одно внешнее определение.
MISRA правила C++
- MISRA Правило 2-10-1 C++ — Различные идентификаторы должен быть типографским способом однозначным.
- MISRA Правило 2-10-2 C++ — Идентификаторы, объявленные во внутреннем осциллографе, не должен скрывать идентификатор, объявленный во внешнем осциллографе.
- MISRA Правило 3-2-2 C++ — Одно Правило Определения не должен быть нарушен.
- MISRA Правило 3-2-3 C++ — тип, объект или функция, которая используется в нескольких модулях перевода, должен быть объявлен в одном и только одном файле.
- MISRA Правило 3-2-4 C++ — идентификатор с внешней связью должен иметь точно одно определение.
- MISRA Правило 7-5-4 C++ — Функции не должен вызывать себя, ни один прямо или косвенно.
- Правило 15-4-1 C++ MISRA — Если функция будет объявлена со спецификацией исключения, то все объявления той же функции (в других модулях перевода) должны быть объявлены с тем же набором идентификаторов типов.
JSF правила C++
- JSF^® C ++ Rule 46 — Заданные пользователями идентификаторы (внутренний и внешний) не будут полагаться на значение больше чем 64 символов.
- JSF Правило 48 C++ — Идентификаторы не будет отличаться только смесью случая, присутствием/отсутствием символа подчеркивания, обменом буквой O с номером 0 или буквой D, обмен буквой I с номером 1 или буквой l, обмен буквой S с номером 5, обменом буквой Z с номером 2 и обменом буквой n с буквой h.
- JSF Правило 137 C++ — Все объявления в осциллографе файла должен быть статичным, если это возможно.
- JSF Правило 139 C++ — Внешние объекты не будет объявлен больше чем в одном файле.
Дефекты Polyspace Bug Finder
- Variable shadowing — Переменная скрывает другую переменную того же имени с вложенным осциллографом.
- Declaration mismatch — Несоответствие происходит между объявлениями функции или объявлениями переменной.
Если глобальная переменная никогда не используется после объявления это появляется в результатах Программы автоматического доказательства Кода как неиспользованная глобальная переменная. Однако, если это объявляется в файле, для которого вы не хотите результаты, вы не видите неиспользуемую переменную в своих результатах верификации.
Если результат (кодирующий нарушение правила или дефект Средства поиска Ошибки) в макросе, Polyspace обычно показывает результат на макроопределении вместо макро-случаев так, чтобы вы рассмотрели результат только однажды. Даже если макрос используется в подавленном файле, результат все еще показывают на макроопределении, если определение происходит в неподавленном файле.

Информация о командной строке

Параметр: -do-not-generate-results-for

Значение: all-headers | include-folders | custom=file1[,file2[,...]] | folder1[,folder2[,...]]

Пример (средство поиска ошибки): polyspace-bug-finder -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for "C:\usr\include"

Пример (программа автоматического доказательства кода): polyspace-code-prover -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for "C:\usr\include"

Пример (сервер средства поиска ошибки):

polyspace-bug-finder-server -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for "C:\usr\include"

Пример (сервер программы автоматического доказательства кода):

polyspace-code-prover-server -lang c -sources file_name -misra2 required-rules -do-not-generate-results-for "C:\usr\include"

Документация

Не генерируйте результаты для (`-do-not-generate-results-for`)

Описание

Установите опцию

Почему использование эта опция

Настройки

Советы

Информация о командной строке

Смотрите также

Темы

Введенный в R2016a

Документация Polyspace Code Prover

Поддержка

Документация

Не генерируйте результаты для (-do-not-generate-results-for)

Описание

Установите опцию

Почему использование эта опция

Настройки

Советы

Информация о командной строке

Смотрите также

Темы

Введенный в R2016a

Документация Polyspace Code Prover

Поддержка

Не генерируйте результаты для (`-do-not-generate-results-for`)