Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
crytic/medusa has 496 GitHub stars.
It currently ranks #24402 daily, #25029 weekly, #27233 monthly by momentum on Trending Repos; its best-ever rank is #12509.