Hunting for Re-Entrancy Attacks in Ethereum Smart Contracts via Static Analysis.

Yuichiro Chinen Naoto Yanai Jason Paul Cruz Shingo Okamura

Published in: CoRR (2020)

Keyphrases

static analysis
java card
malicious code
dynamic analysis
source code
symbolic execution
supply chain
regular expressions
countermeasures
test generation
artificial intelligence
smart grid
test suite
case study
data sets
relational databases
feature space
abstract interpretation