A Critical-Path-Based Vulnerability Detection Method for tx.origin Dependency of Smart Contract.

Smart contracts are one of the most successfully applied technologies on the blockchain, which are decentralized and immutable. Smart contracts cannot be modified once deployed. Therefore, security detection of smart contracts before deployment is essential. Some smart contracts may have tx.origin dependency vulnerabilities. In this paper, we propose a critical path vulnerability detection method for detecting tx.origin dependency vulnerabilities in smart contracts. Then, in order to solve the problem that the traditional search algorithm cannot determine the critical path, we propose a path determination method based on path priority. Our method determines the critical path in the control flow graph, which enables us to detect the vulnerabilities existing in smart contracts more quickly. The experimental results show that our method is more efficient than the existing technology and the false positive rate is lower.