立春财经网

欢迎光临
扫描二维码在手机上浏览

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

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

「查看原文」

赞 2 打赏
分享海报
版权声明
未经允许不得转载:
文章地址: » Trail of Bits 提出为 Solidity 智能合约提供交互分析的原型框架 Solar

评论 抢沙发

  • *
  • *
  • Q Q(选填)
图片正在生成中,请稍后...

周三

04/14

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

火星财经消息,据官方称,网络安全研究和咨询公司 Trail of Bits 撰文阐述其概念验证的静态分析框架 Solar,这是一个可以为 Solidity 智能合约提供上下文无关的交互分析框架。Trail of Bits 称,虽然是一个原型,但 Solar 代表了一种新型的、优先考虑交互性的分析平台,其潜在应用包括代码审计和类似于 IDE 的语义检查。「查看原文」

登录

记住我

注册