Exponenta Banner

CERT C: Rec. PRE07-C

Избегайте использования повторенных вопросительных знаков

расширьте все на странице

Описание

Управляйте определением

Избегайте использования повторенного вопроса marks.[1]

Реализация Polyspace

Это средство проверки проверяет на Использование trigraphs.

Примеры

развернуть все

Проблема

Проблема происходит, когда вы используете trigraphs в своем коде.

Анализ Polyspace® преобразует trigraphs в эквивалентный символ для дефектного анализа. Однако Polyspace также повышает нарушение MISRA®.

Стандарт требует, чтобы trigraphs был преобразован, прежде чем комментарии удалены во время предварительной обработки. Поэтому Polyspace повышает нарушение этого правила, даже если trigraph появляется в комментариях к коду.

Риск

Вы обозначаете trigraphs с двумя вопросительными знаками, сопровождаемыми определенным третьим символом (например, '??-' представляет '~' (тильда) символ и '??)' представляет ']'). Эти trigraphs могут вызвать случайный беспорядок с другим использованием двух вопросительных знаков.

Примечание

Диграфы (<: :>, <% %>, %:, %:%:) разрешены, потому что они - лексемы.

Проверяйте информацию

Группа: Rec. 01. Препроцессор (PRE)

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

Темы

Внешние веб-сайты

Введенный в R2019a

[1]  Это программное обеспечение было создано MathWorks, включающим фрагменты: “Веб-сайт SEI CERT-C”, © 2017 Carnegie Mellon University, веб-сайт SEI CERT-C © 2017 Carnegie Mellon University”, CERT SEI C Кодирование Стандарта – Правил для Разработки безопасных, Надежных и Защищенных систем – 2 016 Выпусков”, © 2016 Carnegie Mellon University, and “CERT SEI Стандарт Кодирования C++ – Правил для Разработки безопасных, Надежных и Защищенных систем на C++ – 2 016 Выпусков” © 2016 Carnegie Mellon University, со специальным разрешением от его Института программной инженерии.

ЛЮБОЙ МАТЕРИАЛ УНИВЕРСИТЕТА КАРНЕГИ-МЕЛЛОН И/ИЛИ ЕГО ИНСТИТУТА ПРОГРАММНОЙ ИНЖЕНЕРИИ СОДЕРЖАЛ, ЗДЕСЬ ПРЕДОСТАВЛЯЕТСЯ НА ОСНОВЕ "ASIS". УНИВЕРСИТЕТ КАРНЕГИ-МЕЛЛОН НЕ ДАЕТ ГАРАНТИЙ НИКАКОГО ВИДА, ИЛИ ОПИСАЛ ИЛИ ПОДРАЗУМЕВАЛ, ОТНОСИТЕЛЬНО ЛЮБОГО ВОПРОСА ВКЛЮЧАЯ, НО НЕ ОГРАНИЧИЛ, ГАРАНТИЯ ПРИГОДНОСТИ ДЛЯ ЦЕЛИ ИЛИ ВЫСОКОГО СПРОСА, ИСКЛЮЧИТЕЛЬНОСТИ, ИЛИ ЗАКАНЧИВАЕТСЯ ПОЛУЧЕННЫЙ ИЗ ИСПОЛЬЗОВАНИЯ МАТЕРИАЛА. УНИВЕРСИТЕТ КАРНЕГИ-МЕЛЛОН НЕ ДАЕТ ГАРАНТИИ НИКАКОГО ВИДА ОТНОСИТЕЛЬНО СВОБОДЫ ОТ ПАТЕНТА, ТОВАРНОГО ЗНАКА ИЛИ НАРУШЕНИЯ АВТОРСКОГО ПРАВА.

Это программное обеспечение и сопоставленная документация не были рассмотрены, ни являются подтвержденным Университетом Карнеги-Меллон или его Институтом программной инженерии.

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

Поддержка