CERT C: Rec.PRE07-C

疑問符を繰り返し使用することを避ける

このページをすべて展開する

説明

ルール定義

疑問符を繰り返し使用することを避けます。¹

Polyspace 実装

ルールチェッカーは、"3 文字表記の使用" をチェックします。

例

すべて展開する

3 文字表記の使用

問題

この問題は、コード内で 3 文字表記を使用する場合に発生します。

Polyspace^® 解析は欠陥解析用に 3 文字表記を等価の文字に変換します。ただし、Polyspace はさらに MISRA™ 違反を報告します。

標準により、3 文字表記は前処理中にコメントを削除する "前" に変換しなければなりません。したがって、3 文字表記がコードコメントにある場合も、Polyspace はこのルールの違反を報告します。

リスク

3 文字表記は 2 つの疑問符に続いて 3 文字目に特定の文字を指定して表します。たとえば、'??-' は '~' (チルダ) 文字を表し、'??)' は ']' を表します。これらの 3 文字表記により、他の 2 つの疑問符の使用と誤って混同される可能性があります。

メモ

2 文字表記 (<: :>、<% %>、%:、%:%:) はトークンなので許可されています。

チェック情報

グループ: Rec.01.プリプロセッサ (PRE)

バージョン履歴

R2019a で導入

参考

SEI CERT-C をチェック (-cert-c)

トピック

コーディング規約違反のチェックおよびレビュー

外部の Web サイト

PRE07-C

¹ This software has been created by MathWorks incorporating portions of: the “SEI CERT-C Website,” © 2017 Carnegie Mellon University, the SEI CERT-C++ Web site © 2017 Carnegie Mellon University, ”SEI CERT C Coding Standard – Rules for Developing safe, Reliable and Secure systems – 2016 Edition,” © 2016 Carnegie Mellon University, and “SEI CERT C++ Coding Standard – Rules for Developing safe, Reliable and Secure systems in C++ – 2016 Edition” © 2016 Carnegie Mellon University, with special permission from its Software Engineering Institute.

ANY MATERIAL OF CARNEGIE MELLON UNIVERSITY AND/OR ITS SOFTWARE ENGINEERING INSTITUTE CONTAINED HEREIN IS FURNISHED ON AN "AS-IS" BASIS. CARNEGIE MELLON UNIVERSITY MAKES NO WARRANTIES OF ANY KIND, EITHER EXPRESSED OR IMPLIED, AS TO ANY MATTER INCLUDING, BUT NOT LIMITED TO, WARRANTY OF FITNESS FOR PURPOSE OR MERCHANTABILITY, EXCLUSIVITY, OR RESULTS OBTAINED FROM USE OF THE MATERIAL. CARNEGIE MELLON UNIVERSITY DOES NOT MAKE ANY WARRANTY OF ANY KIND WITH RESPECT TO FREEDOM FROM PATENT, TRADEMARK, OR COPYRIGHT INFRINGEMENT.

This software and associated documentation has not been reviewed nor is it endorsed by Carnegie Mellon University or its Software Engineering Institute.