Sign in

Slither: a static analysis framework for smart contracts.

Josselin FeistGustavo GriecoAlex Groce
Published in: WETSEB@ICSE (2019)
Keyphrases
  • static analysis
  • abstract interpretation
  • dynamic analysis
  • database
  • probabilistic model
  • supply chain
  • data model