Eveem

网址:https://eveem.org

合约形式验证的反编译技术。

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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

区块分享

FTXStakingReturns

Staking 相关的数据统计与分析。 StakingReturns概述, StakingReturns信息, StakingReturns区块链, StakingReturns维基, StakingReturns社交, StakingReturns Medium, StakingReturns ICO, StakingReturns回顾, StakingReturns快讯, StakingRe

DAIBlockSeer

致力于区块链的分析和取证。 BlockSeer概述, BlockSeer信息, BlockSeer区块链, BlockSeer维基, BlockSeer社交, BlockSeer Medium, BlockSeer ICO, BlockSeer回顾, BlockSeer快讯, BlockSeer追踪

DOGERadical

为区块链提供可用接口。 Radical概述, Radical信息, Radical区块链, Radical维基, Radical社交, Radical Medium, Radical ICO, Radical回顾, Radical快讯, Radical追踪

SOLNansen

在区块链数据中显示信号。 Nansen概述, Nansen信息, Nansen区块链, Nansen维基, Nansen社交, Nansen Medium, Nansen ICO, Nansen回顾, Nansen快讯, Nansen追踪

[0:0ms0-0:516ms