Static Analysis of Integer Overflow of Smart Contracts in Ethereum.

Enmei Lai Wenjun Luo

Published in: ICCSP (2020)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
supply chain
case study
abstract interpretation
database
test suite
regular expressions
buffer overflow
real world
test generation