The Static Check Needle in the Warnings Haystack
Talkat Open Source Summit Europe + Embedded Linux Conference Europe 2019 · on Wednesday, 2019-10-30· at 14:25· Forum 1·
summary
Many Linux kernel files already produce hundreds or thousands of static warnings (example: 1,300 lines → 1,320 after a tiny edit) and typical diffs show dozens of noisy line changes, so new warnings are hard to find. A lightweight script on GitHub generates filtered old/new warning files, classifies messages by tool (GCC, dtc, sparse, smatch, LLVM/clang), reports counts (e.g. W=1: 2→3 lines, 606→609 (W=2)) and shows cleaned diffs for quick triage; it works but needs more tool support and polish.
AI-written summary · about
chapters (11)
- 0:00Start
- 1:01Examples of Static Analysis Tools
- 1:26What is the problem?
- 2:12Look at an example
- 3:11Many warnings?
- 4:27(2) Hard to find new warnings?
- 4:49Don't check for new warnings? Who in this room ever checks their submissions for new warnings?
- 11:39Examples of noise - other files
- 14:29Solution: proof of concept tool
- 15:00Revisit initial example
- 23:56How to get a copy of the slides
