技術編號：40454204
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。本發(fā)明屬于軟件測試中的漏洞檢測領域，尤其適用于智能合約軟件測試中的重入漏洞檢測領域，其目的在于通過生成語義信息更加豐富的跨合約重入語義圖來提高智能合約重入漏洞的檢測效率，保障智能合約測試的充分性。背景技術、智能合約是一種具有自我驗證、自我執(zhí)行、抗篡改屬性的計算機程序。它以自動和透明的方式驗證和執(zhí)行買賣雙方之間的交易，而不涉及第三方。當前已有數以萬計的智能合約被部署，控制著價值數百億美元資產，正因為如此，智能合約安全性一直備受關注。重入漏洞也被稱為dao攻擊，是指在程序執(zhí)行期間能夠中斷，并在上一...
注意：該技術已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權人授權前，僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。