MISRA C++:2008 Rule 18-4-1

Dynamic heap memory allocation shall not be used.

説明

ルール定義

Dynamic heap memory allocation shall not be used. 1

根拠

動的メモリ割り当てではヒープ メモリが使用されるため、メモリ リーク、データ不整合、メモリ枯渇、確定性のない動作などの問題が発生する可能性があります。

Polyspace 実装

チェッカーは、関数の malloc、calloc、realloc、および free や new 演算子と delete 演算子の非配置バージョンの使用にフラグを設定します。

また、関数 alloca の使用にもフラグを設定します。関数 alloca ではメモリ リークが発生しませんが、動的メモリ割り当てに関連する他の問題が発生する可能性があります。

トラブルシューティング

ルール違反が想定されるものの、Polyspace® から報告されない場合は、コーディング規約違反が想定どおりに表示されない理由の診断を参照してください。

チェック情報

グループ: Language Support Library
カテゴリ: 必要

バージョン履歴

R2013b で導入

参考

トピック

1 All MISRA coding rules and directives are © Copyright The MISRA Consortium Limited 2021.

The MISRA coding standards referenced in the Polyspace Bug Finder™ documentation are from the following MISRA standards:

  • MISRA C:2004

  • MISRA C:2012

  • MISRA C:2023

  • MISRA C++:2008

  • MISRA C++:2023

MISRA and MISRA C are registered trademarks of The MISRA Consortium Limited 2021.