Foundations and Tools for the Static Analysis of Ethereum Smart Contracts.

Ilya Grishchenko Matteo Maffei Clara Schneidewind

Published in: CAV (1) (2018)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
artificial intelligence
abstract interpretation
regular expressions
symbolic execution
test generation
supply chain
test suite
enabling technologies
error rate
java card
natural resources