TY - RPRT TI - How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection AU - Asem Ghaleb AU - Karthik Pattabiraman PY - 2020 DO - 10.1145/3395363.3397385 UR - https://arxiv.org/abs/2005.11613 ID - 2005.11613 ER -