安全審計 Security Audits
當你開發完智能合約後,可以交給專業的團隊或者機構來審覈你的智能合約,報告會指出有哪些漏洞?該如何修復等
測試工具
- Manticore 支持EVM的動態二進制分支工具
- Input Generation: Manticore自動生成輸入來觸發獨立的代碼路徑
- Error Discovery: Manticore發現bug並生成觸發他們所需要的輸入
- Execution Tracing: Manticore爲每一個生成的輸入記錄執行的指令集跟蹤
- Programmatic Interface: Manticore通過Python API公開對其分析引擎的程序訪問
- Mythril 是一個以太坊區塊鏈的逆向和bug捕獲的框架
- 安全的EVM字節碼分析工具,支持由Ethereum、Quorum、Vechain、Roostock、Tron和一些其他的EVM兼容的區