static context checking for kernel codebases