本文介绍了一个将Dalvik字节码转换为Jimple的软件包Dexpler。Dexpler是建立在Dedexer和Soot之上的。由于Jimple是Soot的主要内部代码表示，Dalvik字节码可以用任何Jimple操作。。。

副作用分析是一种基本的静态分析，用于确定每个程序实体修改或使用的内存位置。对于带有指针的程序，分析可能非常不精确。为了提高副作用分析的准确性。。。