Function-Level Dynamic Monitoring and Analysis System for Smart Contract

The close integration of blockchain and smart contract technology has become an important foundation for current trusted applications. High-quality, high-efficiency and high-security codes have become basic requirements for smart contract applications because they are not easy to be modified after b...

Full description

Saved in:
Bibliographic Details
Published in:IEEE access 2020, Vol.8, p.229161-229172
Main Authors: Ding, Yi, Wang, Chenshuo, Zhong, Qionghui, Li, Haisheng, Tan, Jinjing, Li, Jie
Format: Article
Language:English
Subjects:
Blockchain
Closed loops
code instrumentation
Computer programming
Contracts
Cryptography
Data structures
dynamic monitoring
Instruments
Monitoring
Optimization
Prototypes
Security
Smart contract
Smart contracts
Testing
Virtual environments
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The close integration of blockchain and smart contract technology has become an important foundation for current trusted applications. High-quality, high-efficiency and high-security codes have become basic requirements for smart contract applications because they are not easy to be modified after being deployed on blockchain. This paper proposes a function-level dynamic monitoring and analysis method for smart contract, and implements a prototype system. The method adds a "shadow stack" and related data structures to virtual machine of testing blockchain platform by analyzing the principle of function management with original stack, then monitors the bytecode after code instrumentation, records the function calling relationships as well as the relevant metrics of time, instruction number and gas consumption. The prototype system identifies contract inefficient behaviors using visualization and intelligent analysis methods, then forms a smart contract optimization closed loop through iterative improvement. Finally, the paper verified the high feasibility and applicability of the monitoring and analyzing method as well as prototype system's performance through experiments.
ISSN:2169-3536
2169-3536
DOI:10.1109/ACCESS.2020.3046005