A Critical-Path-Coverage-Based Vulnerability Detection Method for Smart Contracts

A Critical-Path-Coverage-Based Vulnerability Detection Method for Smart Contracts

The second generation of blockchain represented by smart contracts has been developing vigorously in recent years. However, frequent smart contract vulnerability incidents pose a serious risk to blockchain ecosystem security. Since current symbol execution tools often fall into path explosion and th...

Full description

Bibliographic Details
Main Authors: Menglin Fu, Lifa Wu, Zheng Hong, Feng Zhu, He Sun, Wenbo Feng
Format: Article
Language:English
Published: IEEE 2019-01-01
Series:IEEE Access
Subjects:
Block chain security
smart contract
vulnerability mining
Online Access:https://ieeexplore.ieee.org/document/8867880/

Internet

https://ieeexplore.ieee.org/document/8867880/

Similar Items