{"id":19830726,"url":"https://github.com/crytic/medusa","last_synced_at":"2025-10-08T22:33:33.803Z","repository":{"id":151856741,"uuid":"401814297","full_name":"crytic/medusa","owner":"crytic","description":"Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum","archived":false,"fork":false,"pushed_at":"2025-05-07T17:33:57.000Z","size":2648,"stargazers_count":375,"open_issues_count":113,"forks_count":60,"subscribers_count":22,"default_branch":"master","last_synced_at":"2025-05-07T23:35:38.211Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://secure-contracts.com/program-analysis/medusa/docs/src/","language":"Go","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"agpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/crytic.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":"CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2021-08-31T19:03:08.000Z","updated_at":"2025-05-07T00:50:09.000Z","dependencies_parsed_at":"2023-12-28T13:44:12.527Z","dependency_job_id":"384ec3b5-c4e6-4549-97db-dce0f202c1c5","html_url":"https://github.com/crytic/medusa","commit_stats":null,"previous_names":["trailofbits/medusa"],"tags_count":14,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/crytic%2Fmedusa","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/crytic%2Fmedusa/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/crytic%2Fmedusa/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/crytic%2Fmedusa/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/crytic","download_url":"https://codeload.github.com/crytic/medusa/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254292042,"owners_count":22046426,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-12T11:25:02.031Z","updated_at":"2025-10-08T22:33:33.730Z","avatar_url":"https://github.com/crytic.png","language":"Go","readme":"# medusa\n\n`medusa` is a cross-platform [go-ethereum](https://github.com/ethereum/go-ethereum/)-based smart contract fuzzer inspired by [Echidna](https://github.com/crytic/echidna).\nIt provides parallelized fuzz testing of smart contracts through CLI, or its Go API that allows custom user-extended testing methodology.\n\n**Disclaimer**: The Go-level testing API is still **under development** and is subject to breaking changes.\n\n## Features\n\n`medusa` provides support for:\n\n- ✔️**Parallel fuzzing and testing** methodologies across multiple workers (threads)\n- ✔️**Assertion and property testing**: built-in support for writing basic Solidity property tests and assertion tests\n- ✔️**Mutational value generation**: fed by compilation and runtime values.\n- ✔️**Coverage collecting**: Coverage increasing call sequences are stored in the corpus\n- ✔️**Coverage guided fuzzing**: Coverage increasing call sequences from the corpus are mutated to further guide the fuzzing campaign\n- ✔️**Extensible low-level testing API** through events and hooks provided throughout the fuzzer, workers, and test chains.\n- ❌ **Extensible high-level testing API** allowing for the addition of per-contract or global post call/event property tests with minimal effort.\n\n## Documentation\n\nTo learn more about how to install and use `medusa`, please refer to our [documentation](./docs/src/SUMMARY.md).\n\nFor a better viewing experience, we recommend you install [mdbook](https://rust-lang.github.io/mdBook/guide/installation.html)\nand then running the following steps from medusa's source directory:\n\n```bash\ncd docs\nmdbook serve\n```\n\n## Install\n\nRun the following command to install the latest version of `medusa`:\n\n```shell\n\ngo install github.com/crytic/medusa@latest\n```\n\nFor more information on building from source, using package managers, or obtaining binaries for Windows and Linux,\nplease refer to the [installation guide](./docs/src/getting_started/installation.md).\n\n## Contributing\n\nFor information about how to contribute to this project, check out the [CONTRIBUTING](./CONTRIBUTING.md) guidelines.\n\n## License\n\n`medusa` is licensed and distributed under the [AGPLv3](./LICENSE).\n","funding_links":[],"categories":["Fuzzing Tools","Fuzzing Software","Tools","Security Analysis Tools"],"sub_categories":["Mainstream Fuzzers"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcrytic%2Fmedusa","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcrytic%2Fmedusa","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcrytic%2Fmedusa/lists"}