Trailof Bits提出为Solidity智能合约提供交互分析的原型框架Solar
4月6日消息,网络安全研究和咨询公司Trailof Bits撰文阐述其概念验证的静态分析框架Solar,这是一个可以为Solidity智能合约提供上下文无关的交互分析框架。 Trailof Bits称,虽然是一个原型,但Solar代表了一种新型的、优先考虑交互性的分析平台,其潜在应用包括代码审计和类似于IDE的语义检查。注:TrailofBits是一家网络安全研究和咨询公司,专门解决加密、虚拟化、恶意软件和软件利用方面的问题,为开发及安全团队提供审核和咨询。