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

コンパイラなどのプログラム解析ツールは
利用する言語によって多種多様である。
複数の言語によって構築されたプログラムにおける
ツールの信頼性の溝を埋めるため、
様々な言語に対する統一的な抽象構文木を構築し、
それに対して解析を行うことで、ツールの信頼性を担保する。