Login / Signup
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