diff options
| author | Jakob Lichtenberg (170957) <[email protected]> | 2023-02-07 17:10:35 -0800 |
|---|---|---|
| committer | Jakob Lichtenberg (170957) <[email protected]> | 2023-02-07 17:10:35 -0800 |
| commit | 602ca8ed80ec21462335bfd04b67353ecd3e33d5 (patch) | |
| tree | fc70da4c7f9d3ea32ee663ed432ca2d84477c288 | |
| parent | ced42ffc4109cba578e0c35a568a74710d50b2b8 (diff) | |
user-jakobl-CodeQL-Testing
| -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; |