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...
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 |
Similar Items
-
An interpretable model for large-scale smart contract vulnerability detection
by: Xia Feng, et al.
Published: (2024-09-01) -
SmartLLMSentry: A Comprehensive LLM Based Smart Contract Vulnerability Detection Framework
by: Oualid Zaazaa, et al.
Published: (2024-12-01) -
Vulnerability detection method for blockchain smart contracts based on metamorphic testing
by: Jinfu CHEN, et al.
Published: (2023-10-01) -
Vulnerability detection method for blockchain smart contracts based on metamorphic testing
by: Jinfu CHEN, et al.
Published: (2023-10-01) -
A Survey of Vulnerability Detection Techniques by Smart Contract Tools
by: Zulfiqar Ali Khan, et al.
Published: (2024-01-01)