Skip to content

Support safety attributes in Rust for Linux #3

Open
@zjp-CN

Description

@zjp-CN

Context

Idea

Since tag-std currently is a PoC, there are several ways to apply it to R4L

cc #2

#![register_tool(klint)]

#[klint::NotNull(self.ptr)]
unsafe fn foo(&self) { ... }

Activity

self-assigned this
on May 19, 2025
hxuhack

hxuhack commented on May 19, 2025

@hxuhack
Contributor

write a universal tool that can apply to any Rust project or enhance klint a static analysis tool/infrastructure in R4L.

This work was originally not intended to support all Rust programs, but focused solely on the standard library. The main reason is that the safety properties may not generalize well or reach convergence. However, following a request from Rust-for-Linux and inspired by the work of asterinas, we believe it may be possible to extract a set of general safety tags for Rust-based operating systems as well. We’ve decided to begin exploring this direction and will keep our findings updated in os-sp.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

    Development

    No branches or pull requests

      Participants

      @hxuhack@zjp-CN

      Issue actions

        Support safety attributes in Rust for Linux · Issue #3 · Artisan-Lab/tag-std