Eveem 简介
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
Eveem 相关信息
Michael Bauer
Token Allowance Checker 创始人。
Nick Ward
区块链开发工程师。
Nicolas Feignon
自由职业的区块链开发工程师。
Alexander Mazaletskiy
Akropolis 首席技术官。
Saurav Tomar
ZeFi 联合创始人。
Sam Richards
以太坊 Ethereum 网页开发工程师。
Simon Polrot
ADAN 非营利组织的主席。
Otto Garcia
Autark 联合创始人。
Alex Chepurnoy
尔格 Ergo 核心开发者。