実行履歴を利用したソースプログラムの部分解析に基づくスライス抽出技法の提案  [in Japanese] Proposal of Slicing Algorithms Using Static and Dynamic Analysis Information  [in Japanese]

本研究では, 静的解析と動的解析を組み合わせたプログラムスライス計算法を4つ提案する. (1)Statement-Markスライス : 文の実行履歴を用いて, 実行されなかった文(スライスに不要な文)を取り除く. (2)プログラムの部分解析 : 関数の実行履歴を用いて, 実行された文だけを静的に解析することで依存解析のコストを削減する. (3)動的なデータ依存解析 : 制御依存解析を静的に, データ依存解析を動的に行うことで, より正確なデータ依存関係を抽出する. (4)配列, ポインタ解析 : ポインタ, 配列のデータ依存解析のみを動的に, その他の依存解析を静的に行うことで, (3) と比較して実行時間の削減をめざす.

In this paper, we propose four slicing algorithms using static and dynamic analysis information. (1) Statement-Mark Slice : removes the unnecessary statements using a execution history of the statements. (2) Partial Program Analysis : reduces the static analysis cost using invocation history of procedures. (3) Dynamic Data Dependence Analysis : extracts precise data dependence relations using dynamic data dependence analysis. (4) Array and Pointer Analysis : improves the efficiency of analysis (3) by dynamically. analyzing pointer and array variables only.