GSL ad hoc overview
summary
An explicit claim: a small Guideline Support Library of about a dozen abstractions makes ownership, nullness and ranges checkable and practical. It implements an owner alias (no extra runtime or ABI cost), a span (pointer+size) that enables range checks with no measurable slowdown, and not_null for null-pointer elimination; runtime checks supplement static analysis. Implementations live on GitHub under MIT, are exercised on million‑line codebases and run on MSVC GCC and Clang; Peter Sommerlad is building static‑analysis tooling.
AI-written summary · about
chapters (18)
- 0:00Intro
- 3:39Solutions
- 5:53Ownership
- 7:01Subset
- 10:22Nightmare
- 13:10Ownership abstraction
- 17:39Other problems
- 21:26Span
- 25:24Null pointer problems
- 28:26GSL Documentation
- 31:11Views
- 33:56Expect
- 35:54Concept library
- 36:54Formal specification
- 39:46Model
- 41:19Questions
- 42:04Focus of the GSL
- 45:34Legacy code
related talks
01h 06mCore and other guidelines: the good, the bad, the ...questionable?
51mCode Analysis ++
01h 01mCode Analysis++
50mProgram Analysis
58mMaking Libraries Consumable for Non-C++ Developers
52m“Tools from the C++ eco-system to save a leg”
29m“The Current State of (free) Static Analysis"
45mDissecting the stdlib