情報処理学会 第74回全国大会講演要旨

M. Naik らは、静的データレース検出方法を提案している。この静的データレース検出方法では、動的クラスローディングが無視されている。多くのJavaプログラムに動的クラスローディングが使われているので、もし動的クラスローディングを無視すると重要なデータレースを漏らすおそれがある。そこで、本研究では静的データレース検出方法における動的クラスローディングへの対策を提案する。動的クラスローディングへの対策アルゴリズムには、URLの文字列表現を計算するのが重要である。URLの文字列表現は3つのパターンで計算されている。3つのパターンとは、ユーザからの入力に依存しているパターン、変数間の演算に依存しているパターン、そしてコンフィグファイルに依存しているパターンである。本研究では、動的クラスローディングへの対策を提案する。