diff options
| author | Barry Golden <[email protected]> | 2015-08-06 20:07:53 -0700 |
|---|---|---|
| committer | Barry Golden <[email protected]> | 2015-08-06 20:07:53 -0700 |
| commit | 7c089b4b332b8a8bd2e29672bbf4f6ee430b3e77 (patch) | |
| tree | 8a7e461efc0c2e77b9cd82b3968e38fd5efef7b4 /tools/sdv | |
| parent | 9026073a419b5ef68fb46d4f7fae52dbef09dbe1 (diff) | |
Update README.md
Diffstat (limited to 'tools/sdv')
4 files changed, 4 insertions, 4 deletions
diff --git a/tools/sdv/samples/SDV-FailDriver-KMDF/ReadMe.md b/tools/sdv/samples/SDV-FailDriver-KMDF/ReadMe.md index fcac7d69..003e71a0 100644 --- a/tools/sdv/samples/SDV-FailDriver-KMDF/ReadMe.md +++ b/tools/sdv/samples/SDV-FailDriver-KMDF/ReadMe.md @@ -3,7 +3,7 @@ SDV-FailDriver-KMDF The SDV-FailDriver-KMDF sample driver contains intentional code errors that are designed to show the capabilities and features of [Static Driver Verifier](http://msdn.microsoft.com/en-us/library/windows/hardware/ff552808) (SDV). SDV is a static verification tool that systematically analyzes the source code of Windows kernel-mode drivers. SDV is included in the Windows Driver Kit (WDK) and can be run from Microsoft Visual Studio. The sample demonstrates how SDV can find errors in a KMDF driver. -**Caution** These sample drivers contain intentional code errors that are designed to show the capabilities and features of SDV. These sample drivers are not functional and are not intended as examples for real driver development projects. +**Caution** These sample drivers contain intentional code errors that are designed to show the capabilities and features of SDV. These sample drivers are not functional and are not intended as examples for real driver development projects. Run the sample -------------- diff --git a/tools/sdv/samples/SDV-FailDriver-NDIS/ReadMe.md b/tools/sdv/samples/SDV-FailDriver-NDIS/ReadMe.md index ec690399..67d821a1 100644 --- a/tools/sdv/samples/SDV-FailDriver-NDIS/ReadMe.md +++ b/tools/sdv/samples/SDV-FailDriver-NDIS/ReadMe.md @@ -3,7 +3,7 @@ SDV-FailDriver-NDIS The SDV-FailDriver-NDIS sample driver contains intentional code errors that are designed to show the capabilities and features of [Static Driver Verifier](http://msdn.microsoft.com/en-us/library/windows/hardware/ff552808) (SDV). SDV is a static verification tool that systematically analyzes the source code of Windows kernel-mode drivers. SDV is included in the Windows Driver Kit (WDK) and can be run from Microsoft Visual Studio. The sample demonstrates how SDV can find errors in an NDIS driver. -**Caution** These sample drivers contain intentional code errors that are designed to show the capabilities and features of SDV. These sample drivers are not functional and are not intended as examples for real driver development projects. +**Caution** These sample drivers contain intentional code errors that are designed to show the capabilities and features of SDV. These sample drivers are not functional and are not intended as examples for real driver development projects. Run the sample -------------- diff --git a/tools/sdv/samples/SDV-FailDriver-STORPORT/ReadMe.md b/tools/sdv/samples/SDV-FailDriver-STORPORT/ReadMe.md index 054e2908..d0c36133 100644 --- a/tools/sdv/samples/SDV-FailDriver-STORPORT/ReadMe.md +++ b/tools/sdv/samples/SDV-FailDriver-STORPORT/ReadMe.md @@ -3,7 +3,7 @@ SDV-FailDriver-STORPORT The SDV-FailDriver-Storport sample driver contains intentional code errors that are designed to show the capabilities and features of [Static Driver Verifier](http://msdn.microsoft.com/en-us/library/windows/hardware/ff552808) (SDV). SDV is a static verification tool that systematically analyzes the source code of Windows kernel-mode drivers. SDV is included in the Windows Driver Kit (WDK) and can be run from Microsoft Visual Studio. The sample demonstrates how SDV can find errors in a Storport driver. -**Caution** These sample drivers contain intentional code errors that are designed to show the capabilities and features of SDV. These sample drivers are not functional and are not intended as examples for real driver development projects. +**Caution** These sample drivers contain intentional code errors that are designed to show the capabilities and features of SDV. These sample drivers are not functional and are not intended as examples for real driver development projects. Run the sample -------------- diff --git a/tools/sdv/samples/SDV-FailDriver-WDM/ReadMe.md b/tools/sdv/samples/SDV-FailDriver-WDM/ReadMe.md index 4aa553f1..43630cad 100644 --- a/tools/sdv/samples/SDV-FailDriver-WDM/ReadMe.md +++ b/tools/sdv/samples/SDV-FailDriver-WDM/ReadMe.md @@ -3,7 +3,7 @@ SDV-FailDriver-WDM The SDV-FailDriver-WDM sample driver contains intentional code errors that are designed to show the capabilities and features of [Static Driver Verifier](http://msdn.microsoft.com/en-us/library/windows/hardware/ff552808) (SDV). SDV is a static verification tool that systematically analyzes the source code of Windows kernel-mode drivers. SDV is included in the Windows Driver Kit (WDK) and can be run from Microsoft Visual Studio. The sample demonstrates how SDV can find errors in a WDM driver. -**Caution** These sample drivers contain intentional code errors that are designed to show the capabilities and features of SDV. These sample drivers are not functional and are not intended as examples for real driver development projects. +**Caution** These sample drivers contain intentional code errors that are designed to show the capabilities and features of SDV. These sample drivers are not functional and are not intended as examples for real driver development projects. Run the sample -------------- |