-
I have written a kernel mode driver for OS Microsoft Windows 10 and now I want to certify it. One Part of the Windows Hardware Lab Kit certification is generating the Driver Verification Log using Visual Studio 2019. The Driver Verification Log consists of 3 parts: Code Analysis Log, Static Driver Verifier Log and CodeQL/Semmle Sarif Log. My problem here is the generation of the CodeQL/Semmle Sarif Log. Microsoft has a description of this on the page: https://docs.microsoft.com/en-us/windows-hardware/drivers/devtest/static-tools-and-codeql This happens with the CodeQL-version 2.4.6 prescribed by Microsoft. As a test, I tried the CodeQL 2.8.2 version, with this there is no termination. However, that doesn't help me because the CodeQL 2.8.2 version is incompatible with Visual Studio 2019. According to my tests, the program "extractor.exe" is the cause of the problem (directory: C:\codeql-home\codeql\cpp\tools\win64). So I need a problem solution for CodeQL version 2.46. My development environment consists of the following components: I hope this is the right place for my problem, thank you. |
Beta Was this translation helpful? Give feedback.
Replies: 4 comments 1 reply
-
|
Beta Was this translation helpful? Give feedback.
-
CodeQL version 2.4.6 has a bug relating to detecting compilers in non-english version of windows which was fixed in codeql 2.8.0 . Changing the language is a workaround. Can you explain in more detail why you think CodeQL 2.8.2 is incompatible with Visual Studio 2019? |
Beta Was this translation helpful? Give feedback.
-
Thanks for the reply, I will test the workaround with the Windows language switch to English. Statement regarding the incompatibility of CodeQL 2.8.2 with Visual Studio and Windows Hardware Labor Kit from my point of view: In both cases, the file format is labeled as incorrect. Furthermore, the Microsoft documentation explicitly refers to version 2.4.6 of CodeQL. If the version didn't matter then Microsoft would probably recommend the latest version, but that's not the case. |
Beta Was this translation helpful? Give feedback.
-
Switching the operating system language from German to English works. The test with it was successful. Thanks for the help here, it solved my problem. |
Beta Was this translation helpful? Give feedback.
Switching the operating system language from German to English works. The test with it was successful. Thanks for the help here, it solved my problem.