Tag
static-analysis
- Aug 24, 2026 Static Analysis Findings as a Review Signal What a linter or analyser can prove about a diff, how findings are ranked so that reviewers see the few that matter, and why suppression is the mechanism that decides whether any of it works. software engineering
- Jul 17, 2025 What an API Doc Generator Can Recover From Source Alone Parsing and runtime introspection produce different documentation from the same code. Which one a toolchain uses decides what it can see, what it silently omits, and what it can never know. software engineering
- Jul 22, 2024 Ownership and Borrowing as a Static Lifetime Proof How move semantics, exclusive borrows, and non-lexical lifetimes let a compiler prove that no pointer outlives its referent, and where the proof stops being able to help. memory systems
- May 5, 2024 Detecting Drift Between Reference Material and the Code It Describes Documentation goes stale one claim at a time. Separating checkable claims from judgement calls shows which kinds of drift a build can catch and which only review can. software engineering