抄録
AspectJにおける新しいポイントカットdflowの実現のためのJavaバイトコード変換を提案する．dflowとは，値間の動的な依存関係を特定できるポイントカットである．dflowポイントカットを使うことで，ポイントカット中の変数が指す値の間の依存関係の有無によってアドバイスの実行を制御できる．本変換は，AspectJコンパイラが生成したJavaバイトコードに対し，値間の依存関係を動的に記録する命令を追加する．本変換はまず静的に変数間の依存性を解析し，その解析結果を用いることで必要最低限の命令を追加する．そのため，解析を行わない単純な変換手法よりもオーバーヘッドの小さいバイトコードを生成できる．dflowポイントカットの使用例に基づいてバイトコードを変換し，変換後コードのオーバーヘッドを測定した結果，本変換の有用性を確認できた．
