eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts.

Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei

Published in: CCS (2020)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
test suite
abstract interpretation
real world
java card
supply chain
databases
test generation
regular expressions
metadata
data exchange
building blocks
database systems
case study
decision trees
data sets