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

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

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

来源链接

免责声明：作为区块链信息平台，本站所发布文章仅代表作者个人观点，与链闻 ChainNews 立场无关。文章内的信息、意见等均仅供参考，并非作为或被视为实际投资建议。

—-

编译者/作者：区块链网络

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。