深圳幻海软件技术有限公司 欢迎您!

  • Move语言安全性分析及合约审计要点之逻辑校验漏洞

    1、逻辑校验漏洞智能合约开发的业务相关逻辑设计复杂,涉及的经济学计算和参数较多,不同项目和协议之间可组合性极其丰富,很难预测,非常容易出现安全漏洞。在Solidity智能合约中,我们总结了4种类型的逻辑校验漏洞:(1)未校验返回值(2)未校验相关计算数据公式(3)未校验函数参数(4)未规范使用req

推荐阅读