MSmart: Smart Contract Vulnerability Analysis and Improved Strategies Based on Smartcheck

As is well known, smart contracts on the blockchain store plenty of digital assets, and these contracts deployed on the blockchain are difficult to be modified. For this reason, the analysis and detection of smart contract vulnerabilities have received extensive attention. Smartcheck, a typical Java...

Full description

Bibliographic Details
Main Authors: Jiajia Fei, Xiaohan Chen, Xiangfu Zhao
Format: Article
Language:English
Published: MDPI AG 2023-01-01
Series:Applied Sciences
Subjects:
Online Access:https://www.mdpi.com/2076-3417/13/3/1733