Windows Driver Developer Blog:
As part of our ongoing commitment to improving the quality and reliability of Windows drivers, Microsoft has updated the static analysis requirements for driver certification in the upcoming Windows release.
Static analysis is a foundational requirement of Windows Hardware Compatibility Program. The validation is performed using the Static Tools Logo Test, which leverages CodeQL to identify potential issues in driver code before deployment.
Microsoft periodically reviews and improves the windows driver static analysis requirement. These updates help us stay ahead of the ever-evolving threat landscape while maintaining strong security and reliability standards
This article outlines how to obtain the latest CodeQL query pack and validate your drivers against the updated Microsoft static analysis requirement.
Prerequisites
Before running the updated static analysis tests, ensure the following components are in place:- CodeQL CLI v 2.22.1 or greater
- Microsoft Windows Drivers CodeQL Query Pack version 1.6.0 or greater
- Driver source code
Getting Started
To analyze your driver using the updated static analysis checks:- Install the CodeQL CLI and Microsoft Windows Driver CodeQL Query Pack according to this installation guide
- Build your CodeQL database
- Analyze your CodeQL database using updated query suites
- Review and address any issues flagged by the analysis to ensure compliance with WHCP certification requirements.
For questions or support, please contact your Microsoft representative or create a GitHub repo issue.
Source:
Announcing Updated Static Analysis Requirement for Windows Driver Certification | Microsoft Community Hub
As part of our ongoing commitment to improving the quality and reliability of Windows drivers, Microsoft has updated the static analysis requirements for...
