シェープ解析
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/03/28 02:35 UTC 版)
シェープ解析(シェープかいせき、英: Shape analysis)は、静的コード解析の技法のひとつであり、(通常は命令型の)コンピュータプログラムの中で相互にリンクしている動的に割り当てられたデータの特性を解析・検証する技術である。通常はコンパイル時にソフトウェアのバグを発見したり、プログラムの特性の高レベルな妥当性を検証するために用いられる。
- 1 シェープ解析とは
- 2 シェープ解析の概要
- 3 シェープ解析の応用
- 4 関連項目
シェープ解析と同じ種類の言葉
- シェープ解析のページへのリンク