Skip to content

Commit 2256139

Browse files
authored
[Development RI] Improve IRQL queries and bump to 1.8.2
[Development RI] Improve IRQL queries and bump to 1.8.2
2 parents c77a974 + 8440e02 commit 2256139

7 files changed

Lines changed: 1096 additions & 757 deletions

File tree

src/drivers/general/queries/IrqlSetTooHigh/IrqlSetTooHigh.ql

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -51,6 +51,7 @@ where
5151
tooHighForFunc(irqlFunc, otherNode, irqlRequirement)
5252
)
5353
select statement,
54-
"$@: IRQL potentially set too high at $@. Maximum IRQL for this function: " + irqlRequirement +
55-
", IRQL at statement: " + min(getPotentialExitIrqlAtCfn(statement)), irqlFunc,
56-
irqlFunc.getQualifiedName(), statement, statement.toString()
54+
"$@: " + irqlFunc.getQualifiedName() + " is annotated that it should never raise the IRQL above " +
55+
irqlRequirement + ", but the statement $@ may set the IRQL to " +
56+
min(getPotentialExitIrqlAtCfn(statement)), irqlFunc, irqlFunc.getQualifiedName(), statement,
57+
statement.toString()

0 commit comments

Comments
 (0)