A Smart Contract Weakness and Security Hole Analyzer Using Virtual Machine Based Dynamic Monitor

초록

Blockchain-based smart contracts are a technology for decentralized applications, and their usefulness and development potential have been highly evaluated. However, as a technology developed over an extremely short period, there are many flaws in the programming language and execution environment used for developing and executing smart contracts. In this study, a software weakness analyzer is proposed to detect possible software weaknesses in smart contracts. The proposed analyzer examines software weaknesses through a security-level information flow. For this purpose, the semantics of a smart contract when converted into an intermediate code are defined and analyzed on a dynamic monitor. © 2022, Success Culture Press. All rights reserved.

키워드