鏈聞消息，網絡安全研究和諮詢公司 Trail of Bits 撰文闡述其概念驗證的靜態分析框架 Solar，這是一個可以爲 Solidity 智能合約提供上下文無關的交互分析框架。Trail of Bits 稱，雖然是一個原型，但 Solar 代表了一種新型的、優先考慮交互性的分析平臺，其潛在應用包括代碼審計和類似於 IDE 的語義檢查。

鏈聞注，Trail of Bits 是一家網絡安全研究和諮詢公司，專門解決加密、虛擬化、惡意軟件和軟件利用方面的問題，爲開發及安全團隊提供審覈和諮詢。

來源鏈接