Slither: A Static Analysis Framework For Smart Contracts.

Josselin Feist Gustavo Grieco Alex Groce

Published in: CoRR (2019)

Keyphrases

static analysis
source code
object oriented
relational databases
probabilistic model
information security
abstract interpretation