smalivm：提供一个用于执行 Dalvik 方法的虚拟机沙箱。执行一个方法后，它返回一个图形，其中包含每个执行路径的所有可能的寄存器和类值。

我想从 APK 中找到一个静态常量。由于使用了混淆，代码难以阅读。但是我知道常量是混淆后从函数返回的，我确定它是一个固定值。我觉得smalivm可以找出这个函数的返回值，但是除了这篇文章，我找不到完整描述smalivm是如何使用的示例文章。这让我陷入了困境。

我不太了解简化。不使用 smalivm 时，简化是否同样有效？