Trail of Bits 提出为Solidity智能合约提供交互分析的原型框架 Solar

网络安全研究和咨询公司 Trail of Bits 撰文阐述其概念验证的静态分析框架 Solar,这是一个可以为 Solidity 智能合约提供上下文无关的交互分析框架。Trail of Bits 称,虽然是一个原型,但 Solar 代表了一种新型的、优先考虑交互性的分析平台,其潜在应用包括代码审计和类似于 IDE 的语义检查。
本文链接:https://www.8btc.com/article/6617962

转载请注明文章出处

0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
今日签到
有新私信 私信列表
搜索