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 following error is generated by a static analysis of my application:
I tried this, but can only see the results as a raw xml file. Is there a reader/viewer for the PDR file?
I have a question concerning the Intel SSA. When I rebuild the solution for Intel SSA all projects build fine.