A Summer Spent on the LLVM Clang Static Analyzer for the Linux Kernel