摘要: 摘要: 智能合约中安全漏洞的符号分析对于分析预定义的漏洞属性是有价值的。虽然一些符号工具执行复杂的分析步骤,但它们需要预定的调用深度来搜索易受攻击的执行路径,并且搜索时间随着深度的增加而增加。自2015年12月以来,以太坊等区块链上的合同数量增长了176倍。如果这些象征性的工具不能及时分析数量越来越 阅读全文
posted @ 2021-03-29 20:22 蜉蝣一夕 阅读(632) 评论(0) 推荐(0) 编辑