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

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

链闻注,Trail of Bits 是一家网络安全研究和咨询公司,专门解决加密、虚拟化、恶意软件和软件利用方面的问题,为开发及安全团队提供审核和咨询。

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

iBTC 並非有關信息的提供者,不會為客戶或任何第三者對於該信息的(包括但不限於)正確性、品質、準確性、安全性、完整性、可靠性、性能、及時性、報價或持續可用性負責。本頁任何內容都不是投資建議

下載iBTC 手機APP
感受最佳交易體驗