标签: java static-analysis
有没有办法在WALA中的IR指令级别(而不是语句级别)计算前向切片?我对程序内污染数据的前向切片很感兴趣,所以我希望切片由与该方法相关的IR指令组成,这些指令受到原始污染数据的影响。
我已经看到很多关于在程序间做类似事情的引用,但无法弄清楚这是否可用于我的目的。
编辑:正如我恰当地指出的那样,问题应该更准确地反映出我的要求:这个功能是否已经在wala中实现了?
答案 0 :(得分:0)
WALA确实带有程序切片器。这是slicer documentation。