Eveem 简介
Eveem 即 Panoramix，使用一种不寻常的反编译技术，称为符号执行。 简而言之，它有一个虚拟机，可以在符号和代数上运行，而非具体的值和算术。此方法通常用于合约的形式验证，但似乎没有人尝试使用它提供可读的源代码。它还有一个定制的内存模型，比基于 SMT 求解器的通用模型更快，可以在循环和动态长度变量附近查找。
Eveem 相关信息
Balaji S. Srinivasan
前 Coinbase 首席技术官。
Erez Ben Kiki
2key Network 联合创始人兼首席执行官。
Daniel Merrill
Fleek 联合创始人兼技术主管。
Piotr Kosinski
Energy Web 系统架构师。
陈品
Pelith 沛理科技的创始人兼首席执行官。
Gabriele Muse
Coinrule 联合创始人兼首席执行官。
Kamen Angelov
kChannels 首席架构师。
Bogdan Dumitru
Tech head at ConsenSys.
Wayne Chang
Spruce Systems 首席执行官。