{"id":"1905.06944","title":"Harvey: A Greybox Fuzzer for Smart Contracts","url":"https://codeofpaper.com/paper/1905.06944","arxiv_url":"https://arxiv.org/abs/1905.06944","published":"2019-05-15","code":"official","best":{"full_name":"crytic/echidna","url":"https://github.com/crytic/echidna","tier":"official","stars":3185,"license":"AGPL-3.0","framework":null,"language":"Haskell","last_commit":"2026-10-15T02:43:50"},"most_starred_community":null,"implementations":[{"full_name":"crytic/echidna","url":"https://github.com/crytic/echidna","tier":"official","stars":3185,"license":"AGPL-3.0","framework":null,"language":"Haskell","last_commit":"2026-10-15T02:43:50"}],"possible_matches":0}