PLD'14でのFlowdroidの論文

Question

私は最近、Flowdroidについての論文を読んだが、私はオンデマンドエイリアス分析のアルゴリズムと非常に混同していた。

場合のnライン14に割り当てている、なぜD3をconstuctするD2にLHSを追加し、D3がLHS D2にによってRHSを交換しない構成？

Answer 1

これは、データフロー解析アルゴリズムです。それはプログラムが何をしているかの説明を提供します。したがって、 'n'節が代入lhs = rhs（行14）である場合、rhsをlhsに置き換えて、データがlhs変数によって提供されることを示します。