4月6日消息，网络安全研究和咨询公司Trailof Bits撰文阐述其概念验证的静态分析框架Solar，这是一个可以为Solidity智能合约提供上下文无关的交互分析框架。