Smart Contracts Claimed Vulnerable by the CVE Database, with Labels and Source Locations

arXiv:2609.01186 · cs.CR, cs.SE · Submitted 2026-09-01 · Read on arXiv

cs.CR, cs.SE

Submitted: 2026-09-01

Updated: 2026-09-01

Code: https://github.com/kupl/VeriSmart-benchmarks

Project page: https://ethereum.github.io/yellowpaper/paper

Terminology

Provenance — 13× in this paper · explained in 4 episodes
Benchmark — 7× in this paper · explained in 2 episodes
Verification — 7× in this paper · explained in 2 episodes
Common Vulnerabilities and Exposures — 3× in this paper
Consistency — 3× in this paper · explained in 3 episodes
Common Weakness Enumeration — 2× in this paper
Smart Contract Weakness Classification Registry — 2× in this paper
Abstention — 1× in this paper · explained in 1 episode
Abstraction — 1× in this paper · explained in 1 episode
Core — 1× in this paper · explained in 2 episodes
Ethereum Virtual Machine — 1× in this paper
Verifier — 1× in this paper · explained in 2 episodes

Related papers