Tag
soundness
- Jan 19, 2026 What Makes a Safe Wrapper Around Unsafe Code Sound A safe function that can cause undefined behaviour from any call site destroys the guarantee for the entire crate graph, and the obligations that prevent it are structural rather than local. systems programming
- Jun 8, 2024 Unsafe Abstraction Boundaries and What Soundness Actually Costs The contract an unsafe block transfers from compiler to programmer, the invariants a safe wrapper must maintain, and how those invariants fail in practice. programming languages
- Apr 17, 2024 What the Unsafe Keyword Actually Disables The unsafe marker gates a short, enumerable list of operations rather than switching off the type system, and the obligations it transfers reach past the block that names it. systems programming
- Sep 15, 2023 The Structure of False Positives: Over-Approximation and Suppression Debt Why a sound static analysis must report impossible paths, how technical and effective false positives differ, and what suppression comments cost over the life of a codebase. developer tools