SpecC記述のプログラムスライシングを利用した未初期化変数·未使用変数の検出

摘要

プログラムスライシングはプログラムの記述から依存グラフを構築し到達可能性を判定することで依存関係を調べる手法である。 本稿では並列処理などを含むシステムレベルのSpcC記述を対象に、この依存グラフを末初期化変数の参照や未使用変数の検出に応用する手法を提案し、その手法を実装したツールの評価を行う。