diff options
author | Simon Rozman <simon@rozman.si> | 2019-07-31 13:51:35 +0200 |
---|---|---|
committer | Jason A. Donenfeld <Jason@zx2c4.com> | 2019-08-02 09:43:32 +0000 |
commit | afdbc75bf9edfb7b292b5795b59553ecc0ef0926 (patch) | |
tree | 75b5790778d15a0ec1f473f15278d56e432d0869 /README.md | |
parent | Add SDVView target (diff) | |
download | wintun-afdbc75bf9edfb7b292b5795b59553ecc0ef0926.tar.xz wintun-afdbc75bf9edfb7b292b5795b59553ecc0ef0926.zip |
Resolve SDV reported "defect"
NdisMGetDeviceProperty() should always return non-NULL
FunctionalDeviceObject according to _Outptr_opt_. An explicit
FunctionalDeviceObject NULL check has been added to keep the SDV happy
and not calling our driver "defective".
Signed-off-by: Simon Rozman <simon@rozman.si>
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -51,6 +51,8 @@ msbuild wintun.proj [/t:<target>] - `SDV`: Runs Static Driver Verifier, which includes a clean driver build, only for AMD64 release configuration. + - `SDVView`: Views the results of the Static Driver Verifier. + - `DVL`: Runs the `SDV`, and creates a Driver Verification Log, only for AMD64 release configurations. - `MSM`: Builds Microsoft Installer Merge Modules in `<output folder>\wintun-<platform>-<version>.msm`. Requires WHQL signed driver. |