シェープ解析

読み方、または別称：

英: Shape analysis

シェープ解析とは

シェープ解析（英: Shape analysis）は、静的コード解析の技法のひとつであり、(通常は命令型の)コンピュータプログラムの中で相互にリンクしている動的に割り当てられたデータの特性を解析・検証する技術である。通常はコンパイル時にソフトウェアのバグを発見したり、プログラムの特性の高レベルな妥当性を検証するために用いられる。

• 出典: フリー百科事典『ウィキペディア（Wikipedia）』
• [ シェープ解析の改定履歴 ]