smlXL

smlXL 正在構建專有技術，以利用區塊鏈的確定性和透明度來嚴格分析 EVM 字節碼和合約。結合靜態和動態分析、符號執行、檢測和模擬，提供對賬戶、合約及其豐富關系的完整和豐富的理解，以及與其一起工作的計算基礎設施。基于模擬的方法不同于該領域的其他參與者，后者默認索引日志和事件并依賴于手動管理，類似于現在過時的搜索引擎單獨索引站點地圖、標簽和人工管理的分類法和目錄的方式。