このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。
CERT C++: STR50-CPP
Guarantee that storage for strings has sufficient space for character data and the null terminator
説明
ルール定義
文字列のストレージに、文字データと NULL 終端のための十分な領域があることを保証します。1
Polyspace 実装
ルール チェッカーは以下の問題をチェックします。
危険な標準関数を使用しています。
不正確な文字列形式指定子によるバッファー オーバーフロー。
文字列操作で格納先バッファーがオーバーフローしています。
格納先バッファー サイズが不十分。
null で終了していない入力文字列
例
チェック情報
グループ: 05.文字と文字列 (STR) |
バージョン履歴
R2019a で導入1 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.