Login / Signup

How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection.

Asem GhalebKarthik Pattabiraman
Published in: ISSTA (2020)
Keyphrases
  • static analysis
  • dynamic analysis
  • source code
  • enabling technologies
  • end users
  • knowledge base
  • database
  • learning algorithm
  • high level
  • supply chain
  • symbolic execution
  • abstract interpretation