我的理解是Soot对 ByteCode 进行程序分析。
但是,我有不完整或有点错误的代码,如下所示,其中方法的返回类型不正确:
class D {
public void m1() {
int total = 0;
for(int i = 0; i < 10; i++) {
total += i;
}
return total;
}
}
Soot 是否能够对部分完整的代码或稍微有缺陷的代码进行程序分析?