I'm thinking you perhaps could make a small tool to perform static analysis of a kernel... like some C/C++ tools do ( cppcheck, Visual Studio's static code analysis, etc... ).

The idea is to pass a command line app a folder path ( or a set of files ) so all the .cl archives could be parsed and analyzed. If the app finds, for instance, a buffer overrun then the program could emit via stdout/printf a warning.

You could use this app also to detect performance problems ( for example, suggest for unrolls, detect memory misaligments, etc... )

Thanks.