Eveem

合约形式验证的反编译技术 Eveem简介 Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 T 求解器的通用模型更快，可以在循环和动态长度变量附近查找。