Cleanup imports and move KeSetEventPaged out of experimental

microsoft · Nov 21, 2023 · 0c0aeb4 · 0c0aeb4
1 parent 8904aa7
commit 0c0aeb4
Show file tree

Hide file tree

Showing 6 changed files with 3 additions and 5 deletions.
diff --git a/...mental/KeSetEventPaged/KeSetEventPaged.ql → ...ueries/KeSetEventPaged/KeSetEventPaged.ql b/...mental/KeSetEventPaged/KeSetEventPaged.ql → ...ueries/KeSetEventPaged/KeSetEventPaged.ql
@@ -12,16 +12,15 @@
  * @owner.email sdat@microsoft.com
  * @opaqueid CQLD-D0004
  * @kind problem
- * @problem.severity warning
- * @precision medium
+ * @problem.severity error
+ * @precision high
  * @tags correctness
  *       wddst
  * @scope domainspecific
  * @query-version v1
  */
 
 import cpp
-import drivers.libraries.Irql
 import drivers.libraries.Page
 
 class KeSetEventCall extends FunctionCall {

diff --git a/...al/KeSetEventPaged/KeSetEventPaged.qlhelp → ...es/KeSetEventPaged/KeSetEventPaged.qlhelp b/...al/KeSetEventPaged/KeSetEventPaged.qlhelp → ...es/KeSetEventPaged/KeSetEventPaged.qlhelp
diff --git a/...tal/KeSetEventPaged/KeSetEventPaged.sarif → ...ies/KeSetEventPaged/KeSetEventPaged.sarif b/...tal/KeSetEventPaged/KeSetEventPaged.sarif → ...ies/KeSetEventPaged/KeSetEventPaged.sarif
diff --git a/...rimental/KeSetEventPaged/driver_snippet.c → .../queries/KeSetEventPaged/driver_snippet.c b/...rimental/KeSetEventPaged/driver_snippet.c → .../queries/KeSetEventPaged/driver_snippet.c
diff --git a/src/drivers/libraries/IrqlDebug.qll b/src/drivers/libraries/IrqlDebug.qll
@@ -1,6 +1,5 @@
 import cpp
 import drivers.libraries.Irql
-import semmle.code.cpp.dataflow.new.DataFlow
 
 /**
  * A debugging function used to print the rationale for why a given CFN has the IRQL value it does.

diff --git a/src/drivers/test/build_create_analyze_test.cmd b/src/drivers/test/build_create_analyze_test.cmd
@@ -32,7 +32,7 @@ call :test IllegalFieldWrite WDMTestTemplate wdm queries
 call :test IllegalFieldAccess2 WDMTestTemplate wdm queries
 call :test RoutineFunctionTypeNotExpected WDMTestTemplate general queries
 call :test KeSetEventIrql WDMTestTemplate general queries\experimental
-call :test KeSetEventPaged WDMTestTemplate general queries\experimental
+call :test KeSetEventPaged WDMTestTemplate general queries
 
 exit /b 0