Upgrading Runtime Leaks to Compile-Time Errors: Adopting Clang’s require_exp... - Ian Rogers, Google
0:00 · Watch on YouTube
The talk introduces REQUIREEXPLICITINITIALIZATION (Clang 14+ attribute) as an experimental tool to make struct fields mandatory at initialization, and reports that applying it to ~77 kernel structures surfaced ~68 rea...