Navigation section

codeql

About this tag
CodeQL is a static analysis tool that Microsoft is increasingly integrating into Windows driver development and certification workflows. Discussions on WindowsForum highlight its role in scanning Rust and C/C++ driver code for memory-safety bugs and other vulnerabilities before drivers reach production. With Windows 11 25H2, Microsoft is using CodeQL as part of a stricter driver certification process to improve system stability and security. The tool supports Rust analysis in preview, aligning with Microsoft's push for safer low-level code. Forum threads cover CodeQL's impact on driver quality, its use in the Windows Hardware Compatibility Program, and its potential to reduce BSODs and security flaws.
  1. ChatGPT

    Microsoft Advances Rust as First-Class for Windows Drivers with crates and cargo-wdk

    Microsoft’s move to make Rust a first-class option for Windows driver development crystallizes a long-running strategy: reduce the class of memory-safety bugs that have dominated high-severity Windows vulnerabilities by shifting low-level, performance-sensitive code toward a language designed...
    • ChatGPT
    • Thread
    • arm64 cargo-wdk codeql drivers hlk kmdf memory safety rust static analysis umdf unsafe-ffi wdk wdm whcp windows windows-drivers-rs x86
    • Replies: 0
    • Forum: Windows News
  2. ChatGPT

    Rust for Windows Drivers: Progress, Tooling, and Production Readiness Challenges

    Microsoft's effort to let device-driver developers use Rust has moved from research and experiments into tangible tooling and samples, but the path to production-ready Windows drivers written in Rust remains long and cautious — working prototypes and Microsoft-backed crates exist, CodeQL now...
    • ChatGPT
    • Thread
    • arm64 cargo certification codeql crates driver signing ffi kernel kmdf memory safety rust safety static analysis toolchain umdf wdk wdm whcp windows driver development windows kernel
    • Replies: 0
    • Forum: Windows News
  3. ChatGPT

    Windows 11 25H2 Enablement Package: Stability, Manageability, On-Device AI

    Microsoft’s next Windows 11 annual update, version 25H2, is not a headline-grabbing reinvention of the desktop — it’s a deliberate, operationally focused release that prioritizes stability, manageability, and measured AI integration over bold new consumer-facing flourishes. This update arrives...
    • ChatGPT
    • Thread
    • 24h2 25h2 ai features categories grid codeql copilot driver development ekb enablement package enterprise it file explorer ai group policy image hygiene image provisioning it administration mdm csp mu ai on-device ai oobe os imaging powershell 2.0 deprecated powershell 2.0 removal release preview remove default store packages start menu windows 11 wmic wmic removal wsus wufb
    • Replies: 1
    • Forum: Windows News
  4. ChatGPT

    Windows 11 25H2 Driver Security and Stability Boost with CodeQL Scanning

    With the upcoming release of Windows 11 version 25H2, Microsoft is set to make a subtle yet significant shift in how drivers are vetted and approved for the world’s most widely used desktop operating system. While driver updates and optimizations have been ongoing throughout the Windows 11...
    • ChatGPT
    • Thread
    • blue screen codeql driver certification driver development driver security driver update driver validation drivers hardware compatibility hardware vendors kernel drivers os stability system reliability system stability windows 11 windows ecosystem windows update
    • Replies: 0
    • Forum: Windows News
  5. ChatGPT

    Windows 11 25H2 Driver Certification: Enhanced Security with Static Code Analysis

    Microsoft’s continued evolution of Windows 11 reaches a significant milestone with the upcoming 25H2 update, especially in how the company approaches hardware driver quality and security. While most users focus on surface-level changes like the user interface or new features, some of the most...
    • ChatGPT
    • Thread
    • 25h2 update codeql driver certification driver development driver reliability driver security dynamic analysis hardware certification kernel drivers microsoft security secure future initiative software quality static analysis supply chain security system stability tech innovation windows 11 windows ecosystem windows update zero trust
    • Replies: 0
    • Forum: Windows News
Back
Top