Here's a list of the driver code analysis warnings. I wonder how many of these could be codified as compile-time checks in the winapi-kmd-rs library. For exampl

Here's a list of the driver code analysis warnings. I wonder how many of these could be codified as compile-time checks in the winapi-kmd-rs library. For example, the KIRQL type is a u8 in winapi-kmd-rs, but the code analysis warnings the valid IRQL range is 0–31. https://msdn.microsoft.com/en-us/library/windows/hardware/ff550572(v=vs.85).aspx https://msdn.microsoft.com/en-us/library/windows/hardware/ff...