企業(yè)
- 企業(yè)
- 產(chǎn)品
- 知識
智能合約自動檢測工具，可用來檢測區(qū)塊鏈智能合約漏洞。平臺針對每個用戶模擬了一條單獨的測試鏈，用戶可以自主在測試鏈上對智能合約進行部署、測試和驗證，是集智能合約開發(fā)、測試、驗證于一體的綜合平臺。 在驗證的過程中，平臺采用形式化驗證等技術(shù)，對執(zhí)行環(huán)境進行建模，通過數(shù)學(xué)推理等方法對安全屬性進行驗證，發(fā)現(xiàn)合約在運行時可能出現(xiàn)的安全問題，協(xié)助合約開發(fā)者發(fā)現(xiàn)合約中的潛在安全隱患，定位漏洞產(chǎn)生的位置，增強合約的安全性。主要包含四大方面的檢測：代碼規(guī)范檢測、標準規(guī)范檢測、函數(shù)調(diào)用檢測、業(yè)務(wù)邏輯安全檢測。