DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode

Jiachi Chen
Jiachi Chen
John Grundy
John Grundy
Cited by: 0|Bibtex|Views9|Links

Abstract:

Smart contracts are Turing-complete programs running on the blockchain. They are immutable and cannot be modified, even when bugs are detected. Therefore, ensuring smart contracts are bug-free and well-designed before deploying them to the blockchain is extremely important. A contract defect is an error, flaw or fault in a smart contrac...More

Code:

Data:

Your rating :
0

 

Tags
Comments