Alias analysis and visualization tool for object-oriented programs

エイリアスとは, 引数の参照渡し・参照変数・ポインタを介した間接参照などで生じる, 識別子が異なるが同じメモリ領域を指す可能性のある変数および式の集合である. 我々は, 解析結果そのものの再利用性, モジュール性に着目した, オブジェクト指向プログラムに対するエイリアス解析手法を提案し, J_エイリアス解析ライブラリとしてその手法を実現している. 本研究では, このJ_エイリアス解析ライブラリにユーザインタフェースを加えた, J_エイリアス解析ツールの試作を行った. ユーザインタフェース部の実現においては解析結果自身の視覚化にも重点を置いたものとなっている.
Alias is a set of variables and expressions which possibly refer to the same location during execution. We had proposed an alias analysis method for object-oriented programs, which takes reusability and modularity of its results into account, and we had implemented this method as J_alias analysis libraries. In this paper, we implement a prototype tool for analyzing aliases for J_programs as an user-interface to those libraries, which focuses on visualizing analysis results, too. We apply this tool to program debugging, and discuss its effectiveness.