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