{"id":38201,"name":"manticore","description":"Symbolic execution tool","url":"https://github.com/trailofbits/manticore","last_synced_at":"2025-09-05T07:43:37.268Z","repository":{"id":37587552,"uuid":"81612762","full_name":"trailofbits/manticore","owner":"trailofbits","description":"Symbolic execution tool","archived":false,"fork":false,"pushed_at":"2025-08-21T04:23:21.000Z","size":45598,"stargazers_count":3783,"open_issues_count":272,"forks_count":481,"subscribers_count":128,"default_branch":"master","last_synced_at":"2025-08-21T04:42:46.645Z","etag":null,"topics":["binary-analysis","blockchain","emulation","ethereum","program-analysis","python","security","smt","symbolic-execution","testing","z3"],"latest_commit_sha":null,"homepage":"https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/","language":"Python","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/trailofbits.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":"CODEOWNERS","security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2017-02-10T22:28:34.000Z","updated_at":"2025-08-21T03:43:43.000Z","dependencies_parsed_at":"2023-02-11T06:45:42.761Z","dependency_job_id":"a534e179-a9bd-43db-840b-dbd6cab6ef30","html_url":"https://github.com/trailofbits/manticore","commit_stats":{"total_commits":1090,"total_committers":107,"mean_commits":"10.186915887850468","dds":0.8183486238532109,"last_synced_commit":"2425d3114ebebfdbf88bd736e8d6037353a367b8"},"previous_names":[],"tags_count":28,"template":false,"template_full_name":null,"purl":"pkg:github/trailofbits/manticore","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/trailofbits","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/sbom","scorecard":{"id":896642,"data":{"date":"2025-08-11","repo":{"name":"github.com/trailofbits/manticore","commit":"8861005396ed3e25ecef9cd229e5319ae2fe2612"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":4.2,"checks":[{"name":"Maintained","score":0,"reason":"0 commit(s) and 0 issue activity found in the last 90 days -- score normalized to 0","details":null,"documentation":{"short":"Determines if the project is \"actively maintained\".","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#maintained"}},{"name":"Dangerous-Workflow","score":10,"reason":"no dangerous workflow patterns detected","details":null,"documentation":{"short":"Determines if the project's GitHub Action workflows avoid dangerous patterns.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#dangerous-workflow"}},{"name":"Code-Review","score":7,"reason":"Found 5/7 approved changesets -- score normalized to 7","details":null,"documentation":{"short":"Determines if the project requires human code review before pull requests (aka merge requests) are merged.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#code-review"}},{"name":"CII-Best-Practices","score":0,"reason":"no effort to earn an OpenSSF best practices badge detected","details":null,"documentation":{"short":"Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#cii-best-practices"}},{"name":"Token-Permissions","score":0,"reason":"detected GitHub workflow tokens with excessive permissions","details":["Warn: no topLevel permission defined: .github/workflows/ci.yml:1","Warn: no topLevel permission defined: .github/workflows/osx.yml:1","Warn: no topLevel permission defined: .github/workflows/pip-audit.yml:1","Warn: no topLevel permission defined: .github/workflows/release.yml:1","Info: no jobLevel write permissions found"],"documentation":{"short":"Determines if the project's workflows follow the principle of least privilege.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#token-permissions"}},{"name":"Binary-Artifacts","score":0,"reason":"binaries present in source code","details":["Warn: binary detected: examples/linux/binaries/corruption:1","Warn: binary detected: examples/linux/binaries/multiple-styles:1","Warn: binary detected: examples/script/aarch64/basic:1","Warn: binary detected: examples/script/aarch64/hello42:1","Warn: binary detected: examples/wasm/collatz/collatz.wasm:1","Warn: binary detected: examples/wasm/if_check/if_check.wasm:1","Warn: binary detected: tests/native/binaries/arguments:1","Warn: binary detected: tests/native/binaries/arguments_linux_amd64:1","Warn: binary detected: tests/native/binaries/arguments_linux_armv7:1","Warn: binary detected: tests/native/binaries/basic_linux_amd64:1","Warn: binary detected: tests/native/binaries/basic_linux_armv7:1","Warn: binary detected: tests/native/binaries/basic_state_merging:1","Warn: binary detected: tests/native/binaries/brk_static_amd64:1","Warn: binary detected: tests/native/binaries/epoll:1","Warn: binary detected: tests/native/binaries/fclose_linux_amd64:1","Warn: binary detected: tests/native/binaries/fileio_linux_amd64:1","Warn: binary detected: tests/native/binaries/hello_world:1","Warn: binary detected: tests/native/binaries/ioctl_bogus_linux_amd64:1","Warn: binary detected: tests/native/binaries/ioctl_socket_linux_amd64:1","Warn: binary detected: tests/native/binaries/rusticorn:1","Warn: binary detected: tests/native/binaries/str_model_tests/sym_strcpy_test:1","Warn: binary detected: tests/native/binaries/str_model_tests/sym_strlen_test:1","Warn: binary detected: tests/native/binaries/str_model_tests/sym_strncpy_test:1","Warn: binary detected: tests/native/binaries/symbolic_length_recv:1","Warn: binary detected: tests/native/binaries/symbolic_read_count:1","Warn: binary detected: tests/native/binaries/thumb_mode_entrypoint:1","Warn: binary detected: tests/wasm/inputs/br_if.wasm:1","Warn: binary detected: tests/wasm/inputs/br_table.wasm:1","Warn: binary detected: tests/wasm/inputs/call_indirect.wasm:1","Warn: binary detected: tests/wasm/inputs/if.wasm:1"],"documentation":{"short":"Determines if the project has generated executable (binary) artifacts in the source repository.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#binary-artifacts"}},{"name":"License","score":10,"reason":"license file detected","details":["Info: project has a license file: LICENSE:0","Info: FSF or OSI recognized license: GNU Affero General Public License v3.0: LICENSE:0"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"name":"Vulnerabilities","score":10,"reason":"0 existing vulnerabilities detected","details":null,"documentation":{"short":"Determines if the project has open, known unfixed vulnerabilities.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#vulnerabilities"}},{"name":"Packaging","score":-1,"reason":"packaging workflow not detected","details":["Warn: no GitHub/GitLab publishing workflow detected."],"documentation":{"short":"Determines if the project is published as a package that others can easily download, install, easily update, and uninstall.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#packaging"}},{"name":"Branch-Protection","score":-1,"reason":"internal error: error during branchesHandler.setup: internal error: githubv4.Query: Resource not accessible by integration","details":null,"documentation":{"short":"Determines if the default and release branches are protected with GitHub's branch protection settings.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#branch-protection"}},{"name":"Signed-Releases","score":-1,"reason":"no releases found","details":null,"documentation":{"short":"Determines if the project cryptographically signs release artifacts.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#signed-releases"}},{"name":"Security-Policy","score":10,"reason":"security policy file detected","details":["Info: security policy file detected: github.com/trailofbits/.github/SECURITY.md:1","Info: Found linked content: github.com/trailofbits/.github/SECURITY.md:1","Info: Found disclosure, vulnerability, and/or timelines in security policy: github.com/trailofbits/.github/SECURITY.md:1","Info: Found text in security policy: github.com/trailofbits/.github/SECURITY.md:1"],"documentation":{"short":"Determines if the project has published a security policy.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#security-policy"}},{"name":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 30 are checked with a SAST tool"],"documentation":{"short":"Determines if the project uses static code analysis.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#sast"}},{"name":"Fuzzing","score":0,"reason":"project is not fuzzed","details":["Warn: no fuzzer integrations found"],"documentation":{"short":"Determines if the project uses fuzzing.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#fuzzing"}},{"name":"Pinned-Dependencies","score":0,"reason":"dependency not pinned by hash detected -- score normalized to 0","details":["Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:47: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:49: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:53: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:122: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:124: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci.yml:154: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:163: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:165: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/ci.yml:173: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/ci.yml:19: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/ci.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/osx.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/osx.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/osx.yml:18: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/osx.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/osx.yml:22: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/osx.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pip-audit.yml:15: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/pip-audit.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/pip-audit.yml:17: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/pip-audit.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/pip-audit.yml:25: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/pip-audit.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:14: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:16: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:20: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:66: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/release.yml/master?enable=pin","Warn: GitHub-owned GitHubAction not pinned by hash: .github/workflows/release.yml:68: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/release.yml/master?enable=pin","Warn: third-party GitHubAction not pinned by hash: .github/workflows/release.yml:76: update your workflow using https://app.stepsecurity.io/secureworkflow/trailofbits/manticore/release.yml/master?enable=pin","Warn: containerImage not pinned by hash: Dockerfile:1: pin your Docker image by updating ubuntu:20.04 to ubuntu:20.04@sha256:8feb4d8ca5354def3d8fce243717141ce31e2c428701f6682bd2fafe15388214","Warn: pipCommand not pinned by hash: Dockerfile:20","Warn: pipCommand not pinned by hash: Dockerfile:23","Warn: npmCommand not pinned by hash: scripts/run_tests.sh:98","Warn: downloadThenRun not pinned by hash: .github/workflows/ci.yml:131","Warn: pipCommand not pinned by hash: .github/workflows/ci.yml:170","Warn: pipCommand not pinned by hash: .github/workflows/ci.yml:27","Warn: pipCommand not pinned by hash: .github/workflows/ci.yml:61","Warn: pipCommand not pinned by hash: .github/workflows/ci.yml:62","Warn: pipCommand not pinned by hash: .github/workflows/osx.yml:30","Warn: pipCommand not pinned by hash: .github/workflows/osx.yml:38","Warn: pipCommand not pinned by hash: .github/workflows/pip-audit.yml:22","Warn: pipCommand not pinned by hash: .github/workflows/pip-audit.yml:23","Warn: pipCommand not pinned by hash: .github/workflows/release.yml:28","Warn: pipCommand not pinned by hash: .github/workflows/release.yml:29","Warn: pipCommand not pinned by hash: .github/workflows/release.yml:73","Info:   0 out of  19 GitHub-owned GitHubAction dependencies pinned","Info:   0 out of   4 third-party GitHubAction dependencies pinned","Info:   0 out of  13 pipCommand dependencies pinned","Info:   0 out of   1 npmCommand dependencies pinned","Info:   0 out of   1 downloadThenRun dependencies pinned","Info:   0 out of   1 containerImage dependencies pinned"],"documentation":{"short":"Determines if the project has declared and pinned the dependencies of its build process.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#pinned-dependencies"}}]},"last_synced_at":"2025-08-24T13:57:50.533Z","repository_id":37587552,"created_at":"2025-08-24T13:57:50.533Z","updated_at":"2025-08-24T13:57:50.533Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":273728106,"owners_count":25157135,"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","status":"online","status_checked_at":"2025-09-05T02:00:09.113Z","response_time":402,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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"}},"owner":{"login":"trailofbits","name":"Trail of Bits","uuid":"2314423","kind":"organization","description":"More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks ","email":"opensource@trailofbits.com","website":"https://www.trailofbits.com","location":"New York, New York","twitter":"trailofbits","company":null,"icon_url":"https://avatars.githubusercontent.com/u/2314423?v=4","repositories_count":125,"last_synced_at":"2023-03-29T03:19:56.075Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/trailofbits","funding_links":[],"total_stars":null,"followers":null,"following":null,"created_at":"2022-11-04T04:22:54.571Z","updated_at":"2023-03-29T03:19:56.394Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/trailofbits","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/trailofbits/repositories"},"packages":[{"id":144711,"name":"manticore","ecosystem":"pypi","description":"Manticore is a symbolic execution tool for analysis of binaries and smart contracts.","homepage":"https://github.com/trailofbits/manticore","licenses":"GNU Affero General Public License v3","normalized_licenses":["AGPL-3.0"],"repository_url":"https://github.com/trailofbits/manticore","keywords_array":[],"namespace":null,"versions_count":1222,"first_release_published_at":"2020-07-01T12:46:49.000Z","latest_release_published_at":"2022-02-17T20:43:32.000Z","latest_release_number":"0.3.7","last_synced_at":"2025-01-14T10:22:06.513Z","created_at":"2022-04-05T15:45:35.815Z","updated_at":"2025-01-14T10:22:06.513Z","registry_url":"https://pypi.org/project/manticore/","install_command":"pip install manticore --index-url https://pypi.org/simple","documentation_url":"https://manticore.readthedocs.io/","metadata":{"funding":null,"documentation":null,"classifiers":["License :: OSI Approved :: GNU Affero General Public License v3"],"normalized_name":"manticore"},"repo_metadata":{"uuid":"81612762","full_name":"trailofbits/manticore","owner":"trailofbits","description":"Symbolic execution tool","archived":false,"fork":false,"pushed_at":"2023-09-15T20:21:13.000Z","size":45602,"stargazers_count":3580,"open_issues_count":265,"forks_count":494,"subscribers_count":132,"default_branch":"master","last_synced_at":"2023-12-17T13:02:32.495Z","etag":null,"topics":["binary-analysis","blockchain","emulation","ethereum","program-analysis","python","security","smt","symbolic-execution","testing","z3"],"latest_commit_sha":null,"homepage":"https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/","language":"Python","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/trailofbits.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGELOG.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":"CODEOWNERS","security":null,"support":null,"governance":null}},"created_at":"2017-02-10T22:28:34.000Z","updated_at":"2023-12-16T15:46:49.000Z","dependencies_parsed_at":"2023-02-11T06:45:42.761Z","dependency_job_id":"a534e179-a9bd-43db-840b-dbd6cab6ef30","html_url":"https://github.com/trailofbits/manticore","commit_stats":{"total_commits":1090,"total_committers":107,"mean_commits":"10.186915887850468","dds":0.8183486238532109,"last_synced_commit":"2425d3114ebebfdbf88bd736e8d6037353a367b8"},"previous_names":[],"tags_count":28,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/trailofbits","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":176900586,"owners_count":10464697,"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"},"owner_record":{"login":"trailofbits","name":"Trail of Bits","uuid":"2314423","kind":"organization","description":"More code: binary lifters @lifting-bits, blockchain @crytic, forks @trail-of-forks ","email":"opensource@trailofbits.com","website":"https://www.trailofbits.com","location":"New York, New York","twitter":"trailofbits","company":null,"icon_url":"https://avatars.githubusercontent.com/u/2314423?v=4","repositories_count":125,"last_synced_at":"2023-03-29T03:19:56.075Z","metadata":{"has_sponsors_listing":false},"html_url":"https://github.com/trailofbits","created_at":"2022-11-04T04:22:54.571Z","updated_at":"2023-03-29T03:19:56.394Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/trailofbits","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/trailofbits/repositories"},"tags":[{"name":"0.3.7","sha":"9ed66b6970b16d783a387363cadfd4841b547a04","kind":"commit","published_at":"2022-02-17T20:01:54.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.3.7","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.3.7","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.7/manifests"},{"name":"0.3.6","sha":"2a56484f5116bd24736c79a8a3e7bc062c532c35","kind":"commit","published_at":"2021-06-10T19:56:28.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.3.6","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.3.6","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.6/manifests"},{"name":"0.3.5","sha":"5ea4f906365dd2a5f0ee8a2c328f6dd27ad8553d","kind":"commit","published_at":"2020-11-06T22:04:44.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.3.5","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.3.5","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.5/manifests"},{"name":"0.3.4","sha":"4712491d379f1fa6c8faa2d38809877e31259f78","kind":"commit","published_at":"2020-06-27T01:54:55.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.3.4","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.3.4","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.4/manifests"},{"name":"0.3.3","sha":"934a4f0e332dfdbbe225a3f978a508429d5472a9","kind":"commit","published_at":"2020-01-31T07:28:29.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.3.3","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.3.3","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.3/manifests"},{"name":"0.3.2","sha":"b2f4fbd5e824061910e11b2f8d0715a6ed8a069b","kind":"commit","published_at":"2019-11-12T02:52:09.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.3.2","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.3.2","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.2/manifests"},{"name":"0.3.1","sha":"0464c49d9ad25c1ff83225388d7eae2eacff5e7e","kind":"commit","published_at":"2019-08-06T22:59:01.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.3.1","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.3.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.1/manifests"},{"name":"0.3.0","sha":"3ffafd57ec29abb518d56e00a27e657e863add26","kind":"commit","published_at":"2019-06-06T21:54:52.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.3.0","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.3.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.3.0/manifests"},{"name":"0.2.5","sha":"d287024cd4a96eedddcacc1425c5b37dce83879d","kind":"commit","published_at":"2019-03-18T22:09:42.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.2.5","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.2.5","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.5/manifests"},{"name":"0.2.4","sha":"e1c519ab50024a7e718e848195dec18eab6be637","kind":"tag","published_at":"2019-01-11T00:13:58.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.2.4","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.2.4","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.4/manifests"},{"name":"0.2.3","sha":"578fdc62f99820c65ba42e40dfbfea96cd5c8a74","kind":"tag","published_at":"2018-12-12T00:27:42.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.2.3","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.2.3","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.3/manifests"},{"name":"0.2.2","sha":"4365bc01358646a71debdf82ec5c0f98f77b0fc5","kind":"tag","published_at":"2018-10-31T02:19:17.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.2.2","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.2.2","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.2/manifests"},{"name":"0.1.11","sha":"61270a2bda980f79280a44407aa57b9da16f8e7d","kind":"tag","published_at":"2018-10-11T08:33:27.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.11","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.11","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.11","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.11/manifests"},{"name":"0.2.1.1","sha":"41bad1eb5b598cfe2da648d58d165acfb15f8489","kind":"tag","published_at":"2018-09-01T19:18:34.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.2.1.1","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.2.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.1.1/manifests"},{"name":"0.2.0","sha":"0ad15c736475d71116d62941444be60903c679e0","kind":"tag","published_at":"2018-08-10T20:19:23.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.2.0","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.2.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.2.0/manifests"},{"name":"last_python2","sha":"61270a2bda980f79280a44407aa57b9da16f8e7d","kind":"tag","published_at":"2018-07-25T17:49:35.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/last_python2","html_url":"https://github.com/trailofbits/manticore/releases/tag/last_python2","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/last_python2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/last_python2/manifests"},{"name":"0.1.10","sha":"484519f96000dae1807071012e932bdba30e7e8f","kind":"tag","published_at":"2018-06-22T23:44:15.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.10","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.10","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.10","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.10/manifests"},{"name":"0.1.10-corrected","sha":"63ac45c26915d805546edda7d8b11252cb2978ff","kind":"commit","published_at":"2018-06-22T23:10:41.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.10-corrected","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.10-corrected","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.10-corrected","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.10-corrected/manifests"},{"name":"0.1.9","sha":"109180fc155fd5a4c06473b89f52e726ca7d6d40","kind":"commit","published_at":"2018-05-04T20:03:35.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.9","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.9","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.9","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.9/manifests"},{"name":"0.1.8","sha":"bda9c091b58acf3ea19de876a75cd0e49e1ec5ea","kind":"commit","published_at":"2018-03-30T22:26:26.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.8","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.8","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.8","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.8/manifests"},{"name":"0.1.7","sha":"a3ee31e6e69d974bc3a4cd39760c70c666e19867","kind":"commit","published_at":"2018-02-23T23:31:31.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.7","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.7","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.7","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.7/manifests"},{"name":"0.1.6","sha":"8a588c70f4a4ddc12e98cbbff0190988723961bc","kind":"tag","published_at":"2017-12-22T23:32:56.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.6","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.6","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.6","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.6/manifests"},{"name":"0.1.5","sha":"5aa681dc762cf15be6fe987755f5f42e276a0edf","kind":"tag","published_at":"2017-10-19T19:46:49.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.5","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.5","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.5","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.5/manifests"},{"name":"0.1.4","sha":"d3d1e9c924a69e3e312d74365a2a9e2a418c5bac","kind":"tag","published_at":"2017-08-18T17:52:50.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.4","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.4","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.4","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.4/manifests"},{"name":"0.1.3","sha":"4bb48af199f0cea8d8dce0cd15ed91c9dd7daedb","kind":"tag","published_at":"2017-07-18T14:23:20.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.3","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.3","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.3","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.3/manifests"},{"name":"0.1.2","sha":"9abef20b6772710b9d30ae3c5bc184d39cd60dae","kind":"commit","published_at":"2017-06-14T19:56:11.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.2","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.2","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.2","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.2/manifests"},{"name":"0.1.1","sha":"868bdd80cefbbb0865017c12d60257f7d2913fdf","kind":"commit","published_at":"2017-05-05T19:21:52.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.1","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.1","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.1","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.1/manifests"},{"name":"0.1.0","sha":"c78ea5c9109191654d26c7bfd2bedd662dafcdc5","kind":"commit","published_at":"2017-04-26T19:24:27.000Z","download_url":"https://codeload.github.com/trailofbits/manticore/tar.gz/0.1.0","html_url":"https://github.com/trailofbits/manticore/releases/tag/0.1.0","dependencies_parsed_at":null,"dependency_job_id":null,"tag_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.0","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/tags/0.1.0/manifests"}]},"repo_metadata_updated_at":"2023-12-18T13:02:48.089Z","dependent_packages_count":1,"downloads":36234,"downloads_period":"last-month","dependent_repos_count":23,"rankings":{"downloads":3.059274515444983,"dependent_repos_count":3.025670740540252,"dependent_packages_count":4.778372240132306,"stargazers_count":1.311770881163275,"forks_count":2.3617095476486765,"docker_downloads_count":3.654667980025264,"average":3.031910984159126},"purl":"pkg:pypi/manticore","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/pypi/manticore","docker_dependents_count":1,"docker_downloads_count":38,"usage_url":"https://repos.ecosyste.ms/usage/pypi/manticore","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/pypi/manticore/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":{"last_synced_at":"2023-12-17T13:02:47.708Z","issues_count":31,"pull_requests_count":80,"avg_time_to_close_issue":2522836.75,"avg_time_to_close_pull_request":2141370.9295774647,"issues_closed_count":4,"pull_requests_closed_count":71,"pull_request_authors_count":17,"issue_authors_count":29,"avg_comments_per_issue":2.870967741935484,"avg_comments_per_pull_request":0.875,"merged_pull_requests_count":48,"bot_issues_count":0,"bot_pull_requests_count":33,"past_year_issues_count":6,"past_year_pull_requests_count":32,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":972630.8571428572,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":28,"past_year_pull_request_authors_count":6,"past_year_issue_authors_count":6,"past_year_avg_comments_per_issue":1.1666666666666667,"past_year_avg_comments_per_pull_request":0.6875,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":25,"past_year_merged_pull_requests_count":9,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/issues"},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/manticore/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/manticore/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/manticore/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages/manticore/related_packages","maintainers":[{"uuid":"trailofbits","login":"trailofbits","name":null,"email":null,"url":null,"packages_count":33,"html_url":"https://pypi.org/user/trailofbits/","role":null,"created_at":"2022-11-19T13:09:21.096Z","updated_at":"2022-11-19T13:09:21.096Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/trailofbits/packages"},{"uuid":"disconnect3d_tob","login":"disconnect3d_tob","name":null,"email":null,"url":null,"packages_count":1,"html_url":"https://pypi.org/user/disconnect3d_tob/","role":null,"created_at":"2022-11-19T13:09:21.086Z","updated_at":"2022-11-19T13:09:21.086Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers/disconnect3d_tob/packages"}],"registry":{"name":"pypi.org","url":"https://pypi.org","ecosystem":"pypi","default":true,"packages_count":725027,"maintainers_count":308331,"namespaces_count":0,"keywords_count":238006,"github":"pypi","metadata":{"funded_packages_count":50519},"icon_url":"https://github.com/pypi.png","created_at":"2022-04-04T15:19:23.364Z","updated_at":"2025-09-05T05:40:58.860Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/packages","maintainers_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/maintainers","namespaces_url":"https://packages.ecosyste.ms/api/v1/registries/pypi.org/namespaces"}}],"commits":{"id":527211,"full_name":"trailofbits/manticore","default_branch":"master","committers":[{"name":"Mark Mossberg","email":"mark.mossberg@gmail.com","login":"offlinemark","count":204},{"name":"feliam","email":"felipe.andres.manzano@gmail.com","login":"feliam","count":137},{"name":"Disconnect3d","email":"dominik.b.czarnota@gmail.com","login":"disconnect3d","count":79},{"name":"Eric Kilmer","email":"eric.d.kilmer@gmail.com","login":"ekilmer","count":69},{"name":"Yan","email":"yan","login":"yan","count":68},{"name":"Eric Hennenfent","email":"eric.hennenfent@trailofbits.com","login":null,"count":67},{"name":"JP Smith","email":"jp.smith@ilstu.edu","login":"japesinator","count":60},{"name":"ggrieco-tob","email":"31542053+ggrieco-tob","login":"ggrieco-tob","count":31},{"name":"defunct","email":"defunct@defunct.io","login":"defunctio","count":26},{"name":"Samuel E. Moelius","email":"35515885+smoelius","login":"smoelius","count":20},{"name":"kokrui","email":"kokruiwong@gmail.com","login":"kokrui","count":20},{"name":"Catena cyber","email":"35799796+catenacyber","login":"catenacyber","count":19},{"name":"Brad Larsen","email":"brad.larsen@trailofbits.com","login":null,"count":18},{"name":"Nikita Karetnikov","email":"nikita@karetnikov.org","login":"nkaretnikov","count":17},{"name":"Paul Kehrer","email":"paul.l.kehrer@gmail.com","login":"reaperhulk","count":15},{"name":"Dan Guido","email":"dan@trailofbits.com","login":"dguido","count":14},{"name":"Feist Josselin","email":"josselin@trailofbits.com","login":"montyly","count":12},{"name":"Theofilos Petsios","email":"theofilos@cs.columbia.edu","login":"nettrino","count":11},{"name":"dependabot[bot]","email":"49699333+dependabot[bot]","login":"dependabot[bot]","count":10},{"name":"Alex A","email":"neatmonster@hotmail.fr","login":"NeatMonster","count":9},{"name":"Eric Hennenfent","email":"ecapstone@gmail.com","login":"ehennenfent","count":9},{"name":"Boyan MILANOV","email":"boyan.milanov@trailofbits.com","login":"Boyan-MILANOV","count":9},{"name":"Srinivas P G","email":"spg349@nyu.edu","login":"Srinivas11789","count":9},{"name":"Arun John Kuruvilla","email":"arunjohnkuruvilla@gmail.com","login":"arunjohnkuruvilla","count":8},{"name":"sschriner","email":"60201678+sschriner","login":"sschriner","count":8},{"name":"Alan","email":"ex0dus@codemuch.tech","login":null,"count":7},{"name":"Stephan Tolksdorf","email":"st@quanttec.com","login":"stephan-tolksdorf","count":7},{"name":"Pierre Pronchery","email":"khorben@defora.org","login":"khorben","count":6},{"name":"Garret Reece","email":"GarretReece","login":"GarretReece","count":6},{"name":"William Woodruff","email":"william@trailofbits.com","login":"woodruffw","count":6},{"name":"lordidiot","email":"0xlordidiot@gmail.com","login":"lordidiot","count":5},{"name":"Samuel Groß","email":"dev@samuel-gross.com","login":"saelo","count":5},{"name":"Luke Biery","email":"Tiecoon","login":"Tiecoon","count":5},{"name":"Evan Sultanik","email":"evan@sultanik.com","login":"ESultanik","count":5},{"name":"cole-lightfighter","email":"cole@onicsla.bz","login":"cole-lightfighter","count":4},{"name":"Daniel James","email":"dwhjames@gmail.com","login":"dwhjames","count":4},{"name":"Alan Chang","email":"tcode2k16","login":"tcode2k16","count":4},{"name":"wolflo","email":"wardnick@protonmail.com","login":"wolflo","count":3},{"name":"redyoshi49q","email":"redyoshi49q@gmail.com","login":"redyoshi49q","count":3},{"name":"Artur Cygan","email":"arczicygan@gmail.com","login":"arcz","count":3},{"name":"Sidhant Gupta","email":"guptasidhant004@gmail.com","login":"sidhant-gupta-004","count":2},{"name":"Tim Deeb-Swihart","email":"chronoslynx","login":"chronoslynx","count":2},{"name":"awr|arr","email":"arr@watson.org","login":"roachspray","count":2},{"name":"Nikita Sobolev","email":"mail@sobolevn.me","login":"sobolevn","count":2},{"name":"Logan Campos","email":"logan.campos123@gmail.com","login":"binaryflesh","count":2},{"name":"Langston Barrett","email":"langston.barrett@gmail.com","login":"langston-barrett","count":2},{"name":"John F.X. Galea","email":"johnfxgalea","login":"johnfxgalea","count":2},{"name":"Jay Little","email":"computerality","login":"computerality","count":2},{"name":"James Wang","email":"jameswang9909@hotmail.com","login":"james9909","count":2},{"name":"Dushyanth Chowdary","email":"dnc295@nyu.edu","login":"adm1nPanda","count":2},{"name":"Chris B","email":"yeti.detective@gmail.com","login":"yeti-detective","count":2},{"name":"Alexander Holman MBCS AMIAP","email":"alexanderholman","login":"alexanderholman","count":2},{"name":"Artem Dinaburg","email":"artem@dinaburg.org","login":"artemdinaburg","count":2},{"name":"omahs","email":"73983677+omahs","login":"omahs","count":1},{"name":"ian klatzco","email":"iklatzco@gmail.com","login":"ianklatzco","count":1},{"name":"devtty1er","email":"contact@devtty1er.com","login":"devtty1er","count":1},{"name":"car bauer","email":"hugin@mimisbrunnr.net","login":"hugin","count":1},{"name":"aditi-gupta","email":"aditi100gupta@gmail.com","login":"aditi-gupta","count":1},{"name":"Tim Gates","email":"tim.gates@iress.com","login":"timgates42","count":1},{"name":"Shumin Guo","email":"gsmsteve@gmail.com","login":"gsm1011","count":1},{"name":"Sharon Lin","email":"sharon.lin.14@gmail.com","login":"sharon-lin","count":1},{"name":"Scott","email":"scott.heidbrink@gmail.com","login":"Sheidbrink","count":1},{"name":"Sascha Schirra","email":"sashs82@gmail.com","login":"sashs","count":1},{"name":"Peter Goodman","email":"peter.goodman@gmail.com","login":"pgoodman","count":1},{"name":"Petar Ivanov","email":"petar2394@gmail.com","login":"PetarMI","count":1},{"name":"xternet","email":"pm@xternet.dev","login":"xternet","count":1},{"name":"Aleksandr Sobolev","email":"s0b0lev","login":"s0b0lev","count":1},{"name":"HighW4y2H3ll","email":"tonyhu@sjtu.edu.cn","login":null,"count":1},{"name":"Eric Hennenfent","email":"ehennenfent@imsa.edu","login":null,"count":1},{"name":"cclauss","email":"cclauss@bluewin.ch","login":null,"count":1},{"name":"Simon Bourne","email":"simonbourne@enhedron.com","login":null,"count":1},{"name":"Rodothea Myrsini (Romy) Tsoupidi","email":"tsoupidi@kth.se","login":null,"count":1},{"name":"Matthew Roll","email":"mproll@protonmail.com","login":null,"count":1},{"name":"Alexandre ZANNI","email":"16578570+noraj","login":"noraj","count":1},{"name":"Charlie Jung","email":"32102793+charliecjung","login":"charliecjung","count":1},{"name":"Corbin Riggs","email":"corbintriggs@gmail.com","login":"ffio1","count":1},{"name":"Cory Duplantis","email":"cld251@gmail.com","login":"ctfhacker","count":1},{"name":"Daniel Bolognino","email":"dbolognino425@gmail.com","login":"dbogs425","count":1},{"name":"Daniel Zarifpour","email":"dzarifpour@gmail.com","login":"zarifpour","count":1},{"name":"David Manouchehri","email":"manouchehri@riseup.net","login":"Manouchehri","count":1},{"name":"Douglas Gastonguay-Goddard","email":"douggard","login":"douggard","count":1},{"name":"Emilio López","email":"2642849+elopez","login":"elopez","count":1},{"name":"Evan","email":"evan.p.jensen@gmail.com","login":"evanpjensen","count":1},{"name":"Evgeniy Filatov","email":"evgeniyfilatov@gmail.com","login":"evgeniuz","count":1},{"name":"Frank Busse","email":"f.busse@imperial.ac.uk","login":"251","count":1},{"name":"G-11-P","email":"85524379+G-11-P","login":"G-11-P","count":1},{"name":"George Hotz","email":"72895+geohot","login":"geohot","count":1},{"name":"Hidde-Jan Jongsma","email":"me@hidde-jan.nl","login":"hidde-jan","count":1},{"name":"James Olds","email":"oldsj","login":"oldsj","count":1},{"name":"Jean Jordaan","email":"jean.jordaan@gmail.com","login":"jean","count":1},{"name":"Jim Posen","email":"jim.posen@gmail.com","login":"jimpo","count":1},{"name":"Joel Frank","email":"joel.frank@rub.de","login":"Joool","count":1},{"name":"Kirwan","email":"kirwan.elmsly@gmail.com","login":"KirwanElmsly","count":1},{"name":"Lee Azzarello","email":"lee@rockingtiger.com","login":"lazzarello","count":1},{"name":"Luigi Coniglio","email":"luigiconig@gmail.com","login":"werew","count":1},{"name":"Manas George","email":"manas3george@gmail.com","login":"magebeans","count":1},{"name":"Matias Bordese","email":"mbordese@gmail.com","login":"matiasb","count":1},{"name":"Moksh Jain","email":"mokshjn00@gmail.com","login":"MJ10","count":1},{"name":"Nicolai Søborg","email":"NicolaiSoeborg","login":"NicolaiSoeborg","count":1}],"total_commits":1094,"total_committers":99,"total_bot_commits":10,"total_bot_committers":1,"mean_commits":11.05050505050505,"dds":0.8135283363802559,"past_year_committers":[],"past_year_total_commits":0,"past_year_total_committers":0,"past_year_total_bot_commits":0,"past_year_total_bot_committers":0,"past_year_mean_commits":0.0,"past_year_dds":0.0,"last_synced_at":"2025-05-15T04:40:54.424Z","last_synced_commit":"8861005396ed3e25ecef9cd229e5319ae2fe2612","created_at":"2023-03-09T03:36:23.059Z","updated_at":"2025-05-15T04:40:54.449Z","commits_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/commits","host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-08-28T00:00:20.468Z","repositories_count":5479765,"commits_count":853309695,"contributors_count":31095220,"owners_count":906558,"icon_url":"https://github.com/github.png","host_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://commits.ecosyste.ms/api/v1/hosts/GitHub/repositories"}},"issues_stats":{"full_name":"trailofbits/manticore","html_url":"https://github.com/trailofbits/manticore","last_synced_at":"2025-05-20T23:07:54.068Z","status":null,"issues_count":42,"pull_requests_count":83,"avg_time_to_close_issue":2522836.75,"avg_time_to_close_pull_request":2141370.9295774647,"issues_closed_count":4,"pull_requests_closed_count":71,"pull_request_authors_count":19,"issue_authors_count":31,"avg_comments_per_issue":3.4285714285714284,"avg_comments_per_pull_request":0.9156626506024096,"merged_pull_requests_count":48,"bot_issues_count":0,"bot_pull_requests_count":33,"past_year_issues_count":10,"past_year_pull_requests_count":1,"past_year_avg_time_to_close_issue":null,"past_year_avg_time_to_close_pull_request":null,"past_year_issues_closed_count":0,"past_year_pull_requests_closed_count":0,"past_year_pull_request_authors_count":1,"past_year_issue_authors_count":1,"past_year_avg_comments_per_issue":0.0,"past_year_avg_comments_per_pull_request":2.0,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"created_at":"2023-05-14T08:00:20.208Z","updated_at":"2025-09-01T22:27:02.864Z","repository_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore","issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/trailofbits%2Fmanticore/issues","issue_labels_count":{"bug":35,"idea":2,"help wanted":2,"good first issue":2,"Hacktoberfest":1,"ethereum":1},"pull_request_labels_count":{"dependencies":38,"github_actions":5,"native models":2,"api":1,"ux":1,"ci":1,"ethereum":1},"issue_author_associations_count":{"NONE":36,"MEMBER":7,"CONTRIBUTOR":3},"pull_request_author_associations_count":{"CONTRIBUTOR":84,"NONE":3,"MEMBER":2},"issue_authors":{"sam-xif":9,"dguido":6,"ekilmer":2,"PavanKumarChaparla":2,"teknogeek":1,"gsalzer":1,"krypston104":1,"0-wiz-0":1,"Pet3ris":1,"anhdungle93":1,"christiankakesa":1,"patelvishal1401":1,"Lokizzle":1,"anudit":1,"SunBeomSo":1,"mstad":1,"Simon1V":1,"zijin8631":1,"upalchowdhury":1,"abc767234318":1,"bzhang42":1,"ronenbitman":1,"enderphan94":1,"Silur":1,"vaioco":1,"alexdevassy":1,"woodruffw":1,"xqyww123":1,"ChmielewskiKamil":1,"defunctio":1,"gh0st27":1},"pull_request_authors":{"dependabot[bot]":38,"ekilmer":17,"ehennenfent":7,"feliam":5,"sschriner":5,"Yustynn":2,"gustavo-grieco":2,"wolflo":2,"Boyan-MILANOV":1,"xternet":1,"artemdinaburg":1,"zarifpour":1,"PavanKumarChaparla":1,"omahs":1,"montyly":1,"oldsj":1,"noraj":1,"woodruffw":1,"geohot":1},"host":{"name":"GitHub","url":"https://github.com","kind":"github","last_synced_at":"2025-09-04T00:00:25.939Z","repositories_count":10082624,"issues_count":31290003,"pull_requests_count":96209924,"authors_count":10694122,"icon_url":"https://github.com/github.png","host_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories","owners_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/owners","authors_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors"},"past_year_issue_labels_count":{"bug":2,"ethereum":1},"past_year_pull_request_labels_count":{"dependencies":5,"github_actions":5},"past_year_issue_author_associations_count":{"MEMBER":6},"past_year_pull_request_author_associations_count":{"CONTRIBUTOR":5,"NONE":2},"past_year_issue_authors":{"dguido":6},"past_year_pull_request_authors":{"dependabot[bot]":5,"Yustynn":2},"maintainers":[{"login":"dguido","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/dguido"},{"login":"woodruffw","count":2,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/woodruffw"},{"login":"montyly","count":1,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/montyly"}],"active_maintainers":[{"login":"dguido","count":6,"url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/authors/dguido"}]},"events":{"total":{"IssuesEvent":8,"WatchEvent":108,"DeleteEvent":23,"IssueCommentEvent":5,"PushEvent":46,"PullRequestReviewEvent":3,"PullRequestReviewCommentEvent":3,"PullRequestEvent":17,"ForkEvent":17,"CreateEvent":8},"last_year":{"IssuesEvent":8,"WatchEvent":108,"DeleteEvent":23,"IssueCommentEvent":5,"PushEvent":46,"PullRequestReviewEvent":3,"PullRequestReviewCommentEvent":3,"PullRequestEvent":17,"ForkEvent":17,"CreateEvent":8}},"keywords":["binary-analysis","blockchain","emulation","ethereum","program-analysis","python","security","smt","symbolic-execution","testing","z3"],"dependencies":[{"ecosystem":"pypi","filepath":"docs/requirements.txt","sha":null,"kind":"manifest","created_at":"2022-08-08T21:00:37.701Z","updated_at":"2022-08-08T21:00:37.701Z","repository_link":"https://github.com/trailofbits/manticore/blob/master/docs/requirements.txt","dependencies":[{"id":694389711,"package_name":"Sphinx","ecosystem":"pypi","requirements":"==4.3.0","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"pypi","filepath":"setup.py","sha":null,"kind":"manifest","created_at":"2022-08-08T21:00:37.860Z","updated_at":"2022-08-08T21:00:37.860Z","repository_link":"https://github.com/trailofbits/manticore/blob/master/setup.py","dependencies":[{"id":694394937,"package_name":"pyyaml","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394941,"package_name":"protobuf","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394943,"package_name":"evm","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394945,"package_name":"pysha3","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394947,"package_name":"prettytable","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394949,"package_name":"ply","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394951,"package_name":"rlp","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394954,"package_name":"intervaltree","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394956,"package_name":"crytic-compile","ecosystem":"pypi","requirements":"\u003e=0.2.2","direct":true,"kind":"runtime","optional":false},{"id":694394958,"package_name":"wasm","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394959,"package_name":"dataclasses","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false},{"id":694394961,"package_name":"pyevmasm","ecosystem":"pypi","requirements":"\u003e=0.2.3","direct":true,"kind":"runtime","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/ci.yml","sha":null,"kind":"manifest","created_at":"2023-02-11T06:45:42.648Z","updated_at":"2023-02-11T06:45:42.648Z","repository_link":"https://github.com/trailofbits/manticore/blob/master/.github/workflows/ci.yml","dependencies":[{"id":7546993088,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7546993089,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":7546993090,"package_name":"actions/setup-node","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7546993091,"package_name":"coverallsapp/github-action","ecosystem":"actions","requirements":"1.1.3","direct":true,"kind":"composite","optional":false},{"id":7546993092,"package_name":"pypa/gh-action-pypi-publish","ecosystem":"actions","requirements":"v1.6.4","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/osx.yml","sha":null,"kind":"manifest","created_at":"2023-02-11T06:45:42.688Z","updated_at":"2023-02-11T06:45:42.688Z","repository_link":"https://github.com/trailofbits/manticore/blob/master/.github/workflows/osx.yml","dependencies":[{"id":7546993094,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7546993095,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":7546993096,"package_name":"actions/setup-node","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/pip-audit.yml","sha":null,"kind":"manifest","created_at":"2023-02-11T06:45:42.705Z","updated_at":"2023-02-11T06:45:42.705Z","repository_link":"https://github.com/trailofbits/manticore/blob/master/.github/workflows/pip-audit.yml","dependencies":[{"id":7546993098,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7546993099,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":7546993100,"package_name":"pypa/gh-action-pip-audit","ecosystem":"actions","requirements":"v1.0.4","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"actions","filepath":".github/workflows/release.yml","sha":null,"kind":"manifest","created_at":"2023-02-11T06:45:42.716Z","updated_at":"2023-02-11T06:45:42.716Z","repository_link":"https://github.com/trailofbits/manticore/blob/master/.github/workflows/release.yml","dependencies":[{"id":7546993104,"package_name":"actions/checkout","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7546993105,"package_name":"actions/setup-python","ecosystem":"actions","requirements":"v4","direct":true,"kind":"composite","optional":false},{"id":7546993106,"package_name":"actions/setup-node","ecosystem":"actions","requirements":"v3","direct":true,"kind":"composite","optional":false},{"id":7546993107,"package_name":"pypa/gh-action-pypi-publish","ecosystem":"actions","requirements":"v1.6.4","direct":true,"kind":"composite","optional":false}]},{"ecosystem":"docker","filepath":"Dockerfile","sha":null,"kind":"manifest","created_at":"2023-02-11T06:45:42.729Z","updated_at":"2023-02-11T06:45:42.729Z","repository_link":"https://github.com/trailofbits/manticore/blob/master/Dockerfile","dependencies":[{"id":7546993109,"package_name":"ubuntu","ecosystem":"docker","requirements":"20.04","direct":true,"kind":"build","optional":false}]},{"ecosystem":"pypi","filepath":"server/setup.py","sha":null,"kind":"manifest","created_at":"2023-02-11T06:45:42.745Z","updated_at":"2023-02-11T06:45:42.745Z","repository_link":"https://github.com/trailofbits/manticore/blob/master/server/setup.py","dependencies":[{"id":7546993112,"package_name":"manticore","ecosystem":"pypi","requirements":"*","direct":true,"kind":"runtime","optional":false}]}],"score":23.40237128834822,"created_at":"2025-09-04T15:51:12.073Z","updated_at":"2025-10-07T08:15:40.838Z","avatar_url":"https://github.com/trailofbits.png","language":"Python","category":null,"sub_category":null,"monthly_downloads":36234,"funding_links":[],"readme_doi_urls":[],"works":{},"citation_counts":{},"total_citations":0,"keywords_from_contributors":["academic-papers","conference-presentations","security-reviews","solidity","vulnerability-detection","distribution","sequences","interactive","optim","fake"],"project_url":"https://science.ecosyste.ms/api/v1/projects/38201","html_url":"https://science.ecosyste.ms/projects/38201","bibtex_url":"https://science.ecosyste.ms/projects/38201/export.bibtex","apalike_url":"https://science.ecosyste.ms/projects/38201/export.apalike"}