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