実行トレース間のデータの差異に基づくデータフロー解析手法の提案

摘要

デバッグやプログラム理解を目的として，プログラムの実行トレースを解析する手法では，直接的あるいは補助的にデータフロー解析を利用する．本稿では，実行トレースを用いたデバッグやプログラム理解に応用することを想定し，対象となるプログラムの入力データを変異させて実行トレースを取得することで実行トレース中にデータの差異を作り出し，その差異を解析することによりデータフローを解析する手法を提案する．