From 602ca8ed80ec21462335bfd04b67353ecd3e33d5 Mon Sep 17 00:00:00 2001 From: "Jakob Lichtenberg (170957)" Date: Tue, 7 Feb 2023 17:10:35 -0800 Subject: user-jakobl-CodeQL-Testing --- tools/sdv/samples/SDV-FailDriver-WDM/driver/fail_driver1.c | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) 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; -- cgit v1.3.1