Skip to content

Commit ee8a3d0

Browse files
authored
Improve output for IrqlSet* queries to be more clear (#202)
* Make IRQLTooLow's behavior consistent with IRQLTooHigh * Bump IrqlTooLow query version * Improve output message for IrqlSet queries * Clean baseline for IrqlSetTooLow * Bump QLPack to 1.8.2 * Revert "Bump QLPack to 1.8.2" This reverts commit cce7b9c.
1 parent f64f2bf commit ee8a3d0

5 files changed

Lines changed: 1093 additions & 754 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)