{"id":4180272,"name":"model","ecosystem":"cargo","description":"model-based testing for data structures, with linearizability checking","homepage":null,"licenses":"MIT/Apache-2.0","normalized_licenses":["MIT","Apache-2.0"],"repository_url":"https://github.com/spacejam/model","keywords_array":["simulation","deterministic","model-checking","testing"],"namespace":null,"versions_count":6,"first_release_published_at":"2018-05-12T19:15:33.864Z","latest_release_published_at":"2019-01-05T11:08:27.757Z","latest_release_number":"0.1.2","last_synced_at":"2026-09-13T03:18:39.782Z","created_at":"2022-04-12T19:11:08.106Z","updated_at":"2026-09-13T12:18:10.830Z","registry_url":"https://crates.io/crates/model/","install_command":"cargo install model","documentation_url":"https://docs.rs/model/","metadata":{"categories":[]},"repo_metadata":{"id":57639786,"uuid":"164207199","full_name":"spacejam/model","owner":"spacejam","description":"model testing sugar for testing interactions on structures over time","archived":false,"fork":false,"pushed_at":"2019-07-24T09:12:06.000Z","size":4,"stargazers_count":26,"open_issues_count":2,"forks_count":1,"subscribers_count":1,"default_branch":"master","last_synced_at":"2026-08-29T20:38:44.489Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://docs.rs/model","language":"Rust","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/spacejam.png","metadata":{"files":{"readme":null,"changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2019-01-05T11:06:14.000Z","updated_at":"2026-02-23T18:38:38.000Z","dependencies_parsed_at":"2022-08-27T20:02:21.114Z","dependency_job_id":null,"html_url":"https://github.com/spacejam/model","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/spacejam/model","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spacejam%2Fmodel","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spacejam%2Fmodel/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spacejam%2Fmodel/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spacejam%2Fmodel/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/spacejam","download_url":"https://codeload.github.com/spacejam/model/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/spacejam%2Fmodel/sbom","scorecard":{"id":839952,"data":{"date":"2025-08-11","repo":{"name":"github.com/spacejam/model","commit":"b50d9eef17a80297a45772af4aa8a7413aa66c2c"},"scorecard":{"version":"v5.2.1-40-gf6ed084d","commit":"f6ed084d17c9236477efd66e5b258b9d4cc7b389"},"score":3.3,"checks":[{"name":"Token-Permissions","score":-1,"reason":"No tokens found","details":null,"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":"Dangerous-Workflow","score":-1,"reason":"no workflows found","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":"Pinned-Dependencies","score":-1,"reason":"no dependencies found","details":null,"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"}},{"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":"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":"Code-Review","score":5,"reason":"Found 1/2 approved changesets -- score normalized to 5","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":"Binary-Artifacts","score":10,"reason":"no binaries found in the repo","details":null,"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":"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":"Security-Policy","score":0,"reason":"security policy file not detected","details":["Warn: no security policy file detected","Warn: no security file to analyze","Warn: no security file to analyze","Warn: no security file to analyze"],"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":"License","score":0,"reason":"license file not detected","details":["Warn: project does not have a license file"],"documentation":{"short":"Determines if the project has defined a license.","url":"https://github.com/ossf/scorecard/blob/f6ed084d17c9236477efd66e5b258b9d4cc7b389/docs/checks.md#license"}},{"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":"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":"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":"SAST","score":0,"reason":"SAST tool is not run on all commits -- score normalized to 0","details":["Warn: 0 commits out of 2 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":"Branch-Protection","score":0,"reason":"branch protection not enabled on development/release branches","details":["Warn: branch protection not enabled for branch 'master'"],"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"}}]},"last_synced_at":"2025-08-23T20:13:37.540Z","repository_id":57639786,"created_at":"2025-08-23T20:13:37.540Z","updated_at":"2025-08-23T20:13:37.540Z"},"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":341189360,"owners_count":37187828,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-08-22T15:14:58.755Z","status":"online","status_checked_at":"2026-09-09T02:00:06.536Z","response_time":53,"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_record":{"login":"spacejam","name":"Tyler Neely","uuid":"1505488","kind":"user","description":"reliable stateful systems at scale","email":"","website":"http://tylerneely.com","location":"Berlin","twitter":"sadisticsystems","company":"Pinecone","icon_url":"https://avatars.githubusercontent.com/u/1505488?u=2c0cbecc79b509d18d421b151f45159965af61f9\u0026v=4","repositories_count":184,"last_synced_at":"2024-05-01T10:48:14.711Z","metadata":{"has_sponsors_listing":true},"html_url":"https://github.com/spacejam","funding_links":["https://github.com/sponsors/spacejam"],"total_stars":10485,"followers":2220,"following":145,"created_at":"2022-11-04T09:51:58.858Z","updated_at":"2024-05-01T10:48:49.196Z","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/spacejam","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/spacejam/repositories"},"tags":[]},"repo_metadata_updated_at":"2026-09-09T20:16:35.959Z","dependent_packages_count":7,"downloads":330461,"downloads_period":"total","dependent_repos_count":13,"rankings":{"downloads":3.82959285302421,"dependent_repos_count":7.175499318260139,"dependent_packages_count":4.700921910924382,"stargazers_count":21.011783919033313,"forks_count":30.774761819162322,"docker_downloads_count":null,"average":13.498511964080873},"purl":"pkg:cargo/model","advisories":[{"uuid":"MDE2OlNlY3VyaXR5QWR2aXNvcnlHSFNBLThxNjQtd3Jmci1xNDhj","url":"https://github.com/advisories/GHSA-8q64-wrfr-q48c","title":"Data races in model","description":"`Shared` data structure in `model` crate implements `Send` and `Sync` traits regardless of the inner type.\nThis allows safe Rust code to trigger a data race, which is undefined behavior in Rust.\n\nUsers are advised to treat `Shared` as an unsafe type.\nIt should not be used outside of the testing context,\nand care must be taken so that the testing code does not have a data race\nbesides a race condition that is expected to be caught by the test.\n\nCheck [the Rustonomicon](https://doc.rust-lang.org/nomicon/races.html) for the difference between\na data race and a general race condition.\n","origin":"UNSPECIFIED","severity":"MODERATE","published_at":"2021-08-25T20:59:24.000Z","withdrawn_at":"2021-08-24T17:59:47.000Z","classification":"GENERAL","cvss_score":0.0,"cvss_vector":null,"references":["https://github.com/spacejam/model/issues/3","https://rustsec.org/advisories/RUSTSEC-2020-0140.html","https://github.com/advisories/GHSA-8q64-wrfr-q48c"],"source_kind":"github","identifiers":["GHSA-8q64-wrfr-q48c"],"repository_url":"https://github.com/spacejam/model","blast_radius":0.0,"created_at":"2022-12-21T16:12:56.604Z","updated_at":"2026-05-04T17:10:41.012Z","epss_percentage":null,"epss_percentile":null,"api_url":"https://advisories.ecosyste.ms/api/v1/advisories/MDE2OlNlY3VyaXR5QWR2aXNvcnlHSFNBLThxNjQtd3Jmci1xNDhj","html_url":"https://advisories.ecosyste.ms/advisories/MDE2OlNlY3VyaXR5QWR2aXNvcnlHSFNBLThxNjQtd3Jmci1xNDhj","packages":[{"ecosystem":"cargo","package_name":"model","versions":[{"first_patched_version":null,"vulnerable_version_range":"\u003c= 0.1.2"}],"purl":"pkg:cargo/model"}],"related_packages_url":"https://advisories.ecosyste.ms/api/v1/advisories/MDE2OlNlY3VyaXR5QWR2aXNvcnlHSFNBLThxNjQtd3Jmci1xNDhj/related_packages","related_advisories":[]},{"uuid":"MDE2OlNlY3VyaXR5QWR2aXNvcnlHSFNBLW14djYtcTk4eC1oOTU4","url":"https://github.com/advisories/GHSA-mxv6-q98x-h958","title":"Data races in model","description":"`Shared` data structure in `model` crate implements `Send` and `Sync` traits regardless of the inner type.\nThis allows safe Rust code to trigger a data race, which is undefined behavior in Rust.\n\nUsers are advised to treat `Shared` as an unsafe type.\nIt should not be used outside of the testing context,\nand care must be taken so that the testing code does not have a data race\nbesides a race condition that is expected to be caught by the test.\n","origin":"UNSPECIFIED","severity":"HIGH","published_at":"2021-08-25T20:56:07.000Z","withdrawn_at":null,"classification":"GENERAL","cvss_score":8.1,"cvss_vector":"CVSS:3.1/AV:N/AC:H/PR:N/UI:N/S:U/C:H/I:H/A:H","references":["https://nvd.nist.gov/vuln/detail/CVE-2020-36460","https://github.com/spacejam/model/issues/3","https://rustsec.org/advisories/RUSTSEC-2020-0140.html","https://github.com/advisories/GHSA-mxv6-q98x-h958"],"source_kind":"github","identifiers":["GHSA-mxv6-q98x-h958","CVE-2020-36460"],"repository_url":"https://github.com/spacejam/model","blast_radius":0.0,"created_at":"2022-12-21T16:12:56.065Z","updated_at":"2026-09-13T12:13:39.565Z","epss_percentage":0.01098,"epss_percentile":0.63641,"api_url":"https://advisories.ecosyste.ms/api/v1/advisories/MDE2OlNlY3VyaXR5QWR2aXNvcnlHSFNBLW14djYtcTk4eC1oOTU4","html_url":"https://advisories.ecosyste.ms/advisories/MDE2OlNlY3VyaXR5QWR2aXNvcnlHSFNBLW14djYtcTk4eC1oOTU4","packages":[{"ecosystem":"cargo","package_name":"model","versions":[{"first_patched_version":null,"vulnerable_version_range":"\u003c= 0.1.2"}],"purl":"pkg:cargo/model"}],"related_packages_url":"https://advisories.ecosyste.ms/api/v1/advisories/MDE2OlNlY3VyaXR5QWR2aXNvcnlHSFNBLW14djYtcTk4eC1oOTU4/related_packages","related_advisories":[]}],"docker_usage_url":"https://docker.ecosyste.ms/usage/cargo/model","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/cargo/model","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/cargo/model/dependencies","status":null,"funding_links":["https://github.com/sponsors/spacejam"],"critical":null,"issue_metadata":{"last_synced_at":"2026-09-02T03:06:48.252Z","issues_count":2,"pull_requests_count":1,"avg_time_to_close_issue":null,"avg_time_to_close_pull_request":2628036.0,"issues_closed_count":0,"pull_requests_closed_count":1,"pull_request_authors_count":1,"issue_authors_count":2,"avg_comments_per_issue":0.5,"avg_comments_per_pull_request":1.0,"merged_pull_requests_count":1,"bot_issues_count":0,"bot_pull_requests_count":0,"past_year_issues_count":0,"past_year_pull_requests_count":0,"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":0,"past_year_issue_authors_count":0,"past_year_avg_comments_per_issue":null,"past_year_avg_comments_per_pull_request":null,"past_year_bot_issues_count":0,"past_year_bot_pull_requests_count":0,"past_year_merged_pull_requests_count":0,"issues_url":"https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/spacejam%2Fmodel/issues","maintainers":[],"active_maintainers":[]},"versions_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/model/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/model/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/model/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/model/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/model/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/packages/model/codemeta","maintainers":[{"uuid":"507","login":"spacejam","name":"Tyler Neely","email":null,"url":"https://github.com/spacejam","packages_count":80,"html_url":"https://crates.io/users/spacejam","role":null,"created_at":"2022-11-07T22:04:33.382Z","updated_at":"2022-11-07T22:04:33.382Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/crates.io/maintainers/spacejam/packages"}]}