Login / Signup
How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection.
Asem Ghaleb
Karthik Pattabiraman
Published in:
CoRR (2020)
Keyphrases
</>
static analysis
source code
enabling technologies
dynamic analysis
building blocks
case study
end users
software systems
symbolic execution
abstract interpretation