|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ー ： [ちょうおん] (n) long vowel mark (usually only used in katakana) ・ 解析 ： [かいせき] 1. (n,vs) (1) analysis 2. (2) parsing
シェープ解析（英: Shape analysis）は、静的コード解析の技法のひとつであり、(通常は命令型の)コンピュータプログラムの中で相互にリンクしている動的に割り当てられたデータの特性を解析・検証する技術である。通常はコンパイル時にソフトウェアのバグを発見したり、プログラムの特性の高レベルな妥当性を検証するために用いられる。 シェープ解析は、例えば Java プログラムではソートするメソッドが正しくソートを行えることを保証するために用いたり、C のプログラムでは、適切に開放されないようなメモリのブロックの箇所を見つけ出したりすることができる。シェープ解析は非常に強力ではあるが、実行に非常に時間がかかるのが通例である。このため、大学や研究機関（実験的にのみ使用）以外ではあまり広く用いられていない。 ==シェープ解析の応用== シェープ解析は、多くの問題に適用することができる。 * メモリリークの発見。Java 的なリーク(不要のオブジェクトに対するポインタがヌルクリアされていないために発生する)を含む * メモリブロックが複数回解放されるような場合の発見(C) * "dangling pointer" (Cでは解放されたメモリに対するポインタ)の解放の検知 * 配列の境界違反の発見 * type-state properties の確認(例えば、ファイルが read() されるより前に open()されることを保証する) * リンクリストを逆方向にたどるメソッドが、循環しないことを検証する * ソートするメソッドが正しくソートされた結果を返すことを検証する 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「シェープ解析」の詳細全文を読む スポンサード リンク
|