StabelによるSCATR

SCATRは、脆弱性のないバージョンを書き直し、80％の重要なバグを削減することにより、契約を保護および最適化するスマートコントラクトセキュリティツールです。