Slither: a static analysis framework for smart contracts.

Josselin Feist Gustavo Grieco Alex Groce

Published in: WETSEB@ICSE (2019)

Keyphrases

static analysis
abstract interpretation
dynamic analysis
database
probabilistic model
supply chain
data model