WALA IR中的前向切片

Question

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

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

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

Answer 1

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