{"id":43940833,"url":"https://github.com/safer-rust/safety-tags","last_synced_at":"2026-02-18T20:00:39.439Z","repository":{"id":270952597,"uuid":"911949797","full_name":"safer-rust/safety-tags","owner":"safer-rust","description":"Tag the safety properties of the Rust standard library.","archived":false,"fork":false,"pushed_at":"2026-02-01T08:44:35.000Z","size":1358,"stargazers_count":15,"open_issues_count":17,"forks_count":5,"subscribers_count":2,"default_branch":"main","last_synced_at":"2026-02-01T19:12:01.751Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://artisan-lab.github.io/tag-std","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/safer-rust.png","metadata":{"files":{"readme":"README.md","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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2025-01-04T09:29:20.000Z","updated_at":"2026-02-01T08:44:38.000Z","dependencies_parsed_at":"2025-01-04T10:59:32.515Z","dependency_job_id":"185b4dce-df18-4b2f-a63f-60223ebc3a4f","html_url":"https://github.com/safer-rust/safety-tags","commit_stats":null,"previous_names":["artisan-lab/tag-std","safer-rust/tag-std","safer-rust/safety-tags"],"tags_count":1,"template":false,"template_full_name":null,"purl":"pkg:github/safer-rust/safety-tags","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/safer-rust%2Fsafety-tags","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/safer-rust%2Fsafety-tags/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/safer-rust%2Fsafety-tags/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/safer-rust%2Fsafety-tags/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/safer-rust","download_url":"https://codeload.github.com/safer-rust/safety-tags/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/safer-rust%2Fsafety-tags/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29593919,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-18T18:54:29.675Z","status":"ssl_error","status_checked_at":"2026-02-18T18:50:50.517Z","response_time":162,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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"}},"keywords":[],"created_at":"2026-02-07T02:00:19.929Z","updated_at":"2026-02-18T20:00:39.432Z","avatar_url":"https://github.com/safer-rust.png","language":"Rust","funding_links":[],"categories":["Static Checkers"],"sub_categories":[],"readme":"# safety-tags (formerly tag-std)\n\nThis project aims to provide an annotation-based approach to managing safety-related comments in unsafe Rust code. It has three main objectives:\n- The annotation system should be user-friendly and compatible with existing developer workflows.\n- The annotations should be syntactically checkable by the compiler, thereby enabling standardized usage.\n- If sufficiently precise, the annotations could also support formal verification, for example by being extended into contracts. However, this is not required for general projects.\n\nSee this [RFC](https://github.com/rust-lang/rfcs/pull/3842), and [pre-RFC](https://internals.rust-lang.org/t/pre-rfc-safety-property-system/23252) for more details.\n\nThe project is named tag-std because it was originally intended to standardize safety property annotations for unsafe code within the Rust core and standard libraries through a simple yet precise tag-based approach. We have already defined a set of [primitive safety properties](primitive-sp.md) to describe the safety concerns associated with unsafe APIs in the standard library, and we have [labeled these unsafe APIs with tags](data/std.json) accordingly. In addition, we have developed a systematic method to detect annotation discrepancies through program analysis, demonstrating the effectiveness of safety tags. For more details, please refer to our paper:\n- \"[Annotating and Auditing the Safety Properties of Unsafe Rust](https://arxiv.org/abs/2504.21312)\", Zihao Rao, Hongliang Tian, Xin Wang, **Hui Xu**, _arXiv:2504.21312_, 2025.\n\nWhile we are formulating the [annotation method](usage.md) and developing the [corresponding tools](safety-tool), we are also exploring the application of this approach to Rust projects beyond the standard library, including [Rust-for-Linux](https://github.com/rust-for-linux) and [Asterinas](https://github.com/asterinas/asterinas)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsafer-rust%2Fsafety-tags","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsafer-rust%2Fsafety-tags","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsafer-rust%2Fsafety-tags/lists"}