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

Clara Schneidewind Ilya Grishchenko Markus Scherer Matteo Maffei

Published in: CoRR (2020)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
real world
regular expressions
malicious code
java card
open source
pattern matching
test suite
test generation
supply chain
abstract interpretation