WALA IR中的前向切片

时间:2016-04-01 22:35:15

标签: java static-analysis

有没有办法在WALA中的IR指令级别(而不是语句级别)计算前向切片?我对程序内污染数据的前向切片很感兴趣,所以我希望切片由与该方法相关的IR指令组成,这些指令受到原始污染数据的影响。

我已经看到很多关于在程序间做类似事情的引用,但无法弄清楚这是否可用于我的目的。

编辑:正如我恰当地指出的那样,问题应该更准确地反映出我的要求:这个功能是否已经在wala中实现了?

1 个答案:

答案 0 :(得分:0)

WALA确实带有程序切片器。这是slicer documentation