Zaoyu Wei1, *, Jiaqi Wang2, Xueqi Shen1, Qun Luo1
Journal of Quantum Computing, Vol.2, No.1, pp. 11-24, 2020, DOI:10.32604/jqc.2020.010815
- 28 May 2020
Abstract Smart contract has greatly improved the services and capabilities of
blockchain, but it has become the weakest link of blockchain security because of its code
nature. Therefore, efficient vulnerability detection of smart contract is the key to ensure
the security of blockchain system. Oriented to Ethereum smart contract, the study solves
the problems of redundant input and low coverage in the smart contract fuzz. In this
paper, a taint analysis method based on EVM is proposed to reduce the invalid input, a
dangerous operation database is designed to identify the dangerous input, and genetic
algorithm More >