{"id":"2005.11613","title":"How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection","url":"https://codeofpaper.com/paper/2005.11613","arxiv_url":"https://arxiv.org/abs/2005.11613","published":"2020-05-23","code":"official","best":{"full_name":"DependableSystemsLab/SolidiFI","url":"https://github.com/DependableSystemsLab/SolidiFI","tier":"official","stars":84,"license":null,"framework":null,"language":"Solidity","last_commit":"2024-02-03T00:42:53"},"most_starred_community":null,"implementations":[{"full_name":"DependableSystemsLab/SolidiFI","url":"https://github.com/DependableSystemsLab/SolidiFI","tier":"official","stars":84,"license":null,"framework":null,"language":"Solidity","last_commit":"2024-02-03T00:42:53"},{"full_name":"DependableSystemsLab/SolidiFI-benchmark","url":"https://github.com/DependableSystemsLab/SolidiFI-benchmark","tier":"official","stars":81,"license":null,"framework":null,"language":"Python","last_commit":"2022-06-16T08:16:21"}],"possible_matches":0}