Flowdroid在PLDI'14中的论文

Question

我最近阅读了关于Flowdroid的论文，但是我对于按需别名分析算法感到困惑。

当n是分配在第14行，为什么构建D3更换RHS通过LHS在D2，而不是增加LHS在D2到constuct D3？

Answer 1

这是一个数据流的分析算法。它提供了一个程序的描述。因此，如果'n'-clause是赋值lhs = rhs（第14行），那么它将用lhs替换rhs以表明数据由lhs变量提供。