diff options
| -rw-r--r-- | tools/sdv/samples/SDV-FailDriver-WDM/driver/fail_driver1.c | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/tools/sdv/samples/SDV-FailDriver-WDM/driver/fail_driver1.c b/tools/sdv/samples/SDV-FailDriver-WDM/driver/fail_driver1.c index 03087d9f..19f27900 100644 --- a/tools/sdv/samples/SDV-FailDriver-WDM/driver/fail_driver1.c +++ b/tools/sdv/samples/SDV-FailDriver-WDM/driver/fail_driver1.c @@ -121,9 +121,21 @@ DispatchCreate ( PAGED_CODE(); + // Injected defects for testing CodeQL CI: + unsigned long x=42; + unsigned long y=43; + unsigned long long z; + + // Injected defects #1: + z = x*y; - ExFreePool(badPointer); + // Injected defects #2: + z = x*y; + // Injected defects #3: + z = x*y; + + ExFreePool(badPointer); extension = (PDRIVER_DEVICE_EXTENSION)DeviceObject -> DeviceExtension; |