A taxonomy of safety tags plus empirical auditing rules implemented as a linter, applied to Rust's standard library to fix documentation on 27 APIs and cover 96.1% of public unsafe APIs.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Annotating and Auditing the Safety Properties of Unsafe Rust
A taxonomy of safety tags plus empirical auditing rules implemented as a linter, applied to Rust's standard library to fix documentation on 27 APIs and cover 96.1% of public unsafe APIs.