基于正則表達(dá)式、程序插樁和代碼替換的以太坊智能合約bug檢測和修復(fù)方法

摘要： 作為當(dāng)前最大的支持智能合約的區(qū)塊鏈平臺(tái),數(shù)以百萬計(jì)的智能合約被部署在以太坊上。
由于即使發(fā)現(xiàn)包含bug也無法修改已部署的智能合約,因此對(duì)于開發(fā)人員而言,在部署合約前修復(fù)合約中的bug至關(guān)重要。
當(dāng)前研究人員已經(jīng)提出了許多智能合約分析工具,用于檢測合約中的bug。
這些工具要么使用基于以太坊虛擬機(jī)字節(jié)碼的符號(hào)執(zhí)行來檢測bug,要么將源代碼轉(zhuǎn)換為中間表示形式后再檢測bug。 （共13頁）