Octane

Octane 是一個以開發人員爲中心的平臺，用於通過機器學習來測試智能合約。其引擎會搜索源代碼中的問題，並提供修復方法。