aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorSimon Rozman <simon@rozman.si>2019-07-31 13:51:35 +0200
committerJason A. Donenfeld <Jason@zx2c4.com>2019-08-02 09:43:32 +0000
commitafdbc75bf9edfb7b292b5795b59553ecc0ef0926 (patch)
tree75b5790778d15a0ec1f473f15278d56e432d0869 /README.md
parentAdd SDVView target (diff)
downloadwintun-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.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md
index a39fff4..7b06464 100644
--- a/README.md
+++ b/README.md
@@ -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.