Login / Signup
SmartCheck: Static Analysis of Ethereum Smart Contracts.
Sergei Tikhomirov
Ekaterina Voskresenskaya
Ivan Ivanitskiy
Ramil Takhaviev
Evgeny Marchenko
Yaroslav Alexandrov
Published in:
WETSEB@ICSE (2018)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
malicious code
supply chain
java card
abstract interpretation
regular expressions
test suite
test generation
database
real world
pattern matching
open source
feature space
training data