CWE Rule 733
説明
ルールの説明
The developer builds a security-critical protection mechanism into the software, but the compiler optimizes the program such that the mechanism is removed or modified.
Polyspace 実装
ルール チェッカーは、"不確かなメモリのクリーン アップ" をチェックします。
例
チェック情報
カテゴリ: Behavioral Problems |
バージョン履歴
R2023a で導入