java - 如何用静态分析估计变量的值？

Question

我想根据 Soot 的内置到达定义分析编写一个程序来执行此操作。现在我想知道这是正确的方法吗？我搜索并发现似乎没有人对这个方向感兴趣。

有什么建议么？

Answer 1

这是您所说的一个非常普遍的问题。达到定义与此没有太大关系。全球价值编号显然是您想要的，但从您的描述中很难分辨。尝试使用更详细的问题陈述的烟尘邮件列表。

Answer 2

您可能想要做的是使用迭代数据流求解器组合一组范围。您希望将输入中的范围值组合成跨基本块的定义集的范围值。

为此，您通常需要一个控制流图和跨基本块的传递函数。我想您可以以类似的方式处理到达定义图。

然后，您将需要跨过程范围传播以跨代码推送范围。