DefectChecker: Automated smart contract defect detection by analyzing EVM bytecode

• Main Authors: CHEN, Jiachi, XIA, Xin, LO, David, GRUNDY, John, LUO, Xiapu, CHEN, Ting
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2022
• Subjects: Smart Contracts; Ethereum; Contract Defects Detection; Bytecode Analyze; Symbolic Execution; Databases and Information Systems; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/7665; https://ink.library.smu.edu.sg/context/sis_research/article/8668/viewcontent/2009.02663.pdf
• Institution: Singapore Management University

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 e...