Smart Contract Vulnerability Detection Based on Symbolic Execution Technology.

Yiping Liu Jie Xu Baojiang Cui

Published in: CNCERT (2021)

Keyphrases

symbolic execution
case study
static analysis
supply chain
source code
specification language
test generation
data sets
open source