JxPlatform: Javaソースコード向け静的解析ツールプラットフォーム

抄録

ソフトウェア開発および保守活動を支援および調査するツールを構築する際，プログラム内の制御フローやデータフローに関する情報が必要になることが多い．しかしながら，既存のJavaプログラム用のソースコード解析ツールは，正確な情報を取得する十分な能力を備えていない．たとえバイトコード解析ツールが十分な情報を提供できるとしても，解析結果とソースコード要素との対応関係が明確ではないため，ソースコード操作の実装には不向きである．JxPlatformは、Javaソースコードに現れる文，式，変数に対応する節点で構成される制御フローグラフとプログラム依存グラフを構築し，既存のソースコード解析ツールよりも正確な情報を提供する．本論文では，JxPlatformの主要な機能，実装の詳細，評価結果を述べる．