OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities
arXiv:2303.14523 · doi:10.1007/s10664-024-10446-8
Abstract
Smart contracts are nowadays at the core of most blockchain systems, as they specify and allow an agreement between entities that wish to perform a transaction. As any computer program, smart contracts are subject to the presence of residual faults, including severe security vulnerabilities, which require that the vulnerable contract is terminated in the blockchain. In this context, research began to be developed to prevent the deployment of smart contract holding vulnerabilities, mostly in the form of vulnerability detection tools. Along with these efforts, several and heterogeneous vulnerability classification schemes arised (e.g., most notably DASP and SWC). At the time of writing, these are mostly outdated initiatives, despite the fact that smart contract vulnerabilities are continuously being discovered and the associated rich information being mostly disregarded. In this paper, we propose OpenSCV, a new and Open hierarchical taxonomy for Smart Contract Vulnerabilities, which is open to community contributions and matches the current state of the practice, while being prepared to handle future modifications and evolution. The taxonomy was built based on the analysis of research on vulnerability classification, community-maintained classification schemes, and research on smart contract vulnerability detection. We show how OpenSCV covers the announced detection ability of current vulnerability detection tools, and highlight its usefulness as a resource in smart contract vulnerability research.
References in corpus (13)
- Blockchain Technology Overview
- Slither: A Static Analysis Framework For Smart Contracts
- ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection
- Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
- Combining Graph Neural Networks with Expert Knowledge for Smart Contract Vulnerability Detection
- How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection
- A Semantic Framework for the Security Analysis of Ethereum smart contracts
- A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems
- xFuzz: Machine Learning Guided Cross-Contract Fuzzing
- solc-verify: A Modular Verifier for Solidity Smart Contracts
- Security Defense For Smart Contracts: A Comprehensive Survey
- EASYFLOW: Keep Ethereum Away From Overflow
- Vulpedia: Detecting Vulnerable Ethereum Smart Contracts via Abstracted Vulnerability Signatures