Intelligent contract vulnerability detection method

The invention provides an intelligent contract vulnerability detection method, and relates to the technical field of block chains. The intelligent contract vulnerability detection method comprises thefollowing steps: slicing input data for calling a smart contract into a plurality of data units, and marking each data unit as a stain; in the running process of the intelligent contract, tracking the marked stains on an EVM layer; judging whether the tracked stain participates in arithmetic operation or not, and if not, judging that the smart contract is safe; if so, further judging whether an arithmetic operation result overflows or not, and if not, judging that the intelligent contract has a potential arithmetic overflow vulnerability, generating new input data by calling the input data ofthe intelligent contract, and performing judgment again; if overflow occurs, further judging whether the result overflow of the arithmetic operation is protected or not; and finally judging whether the smart contract is safe