~/talk

Automating Code Review with Sparse

Talkat FOSDEM 2022 · on Saturday, 2022-02-05· at 10:15· D.testing· [testing, c-and-cpp]

Shows how Sparse’s C AST and its linearized IR are used to build project-specific static-analysis checks for a large C codebase, specifically targeting the Linux Test Project API. Describes using Sparse’s representations to implement custom rules that verify API usage in the code.

AI-written summary · about

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.