Missing change to 'mayThrowException' in StructuredExceptionHandling.qll

This commit is contained in:
REDMOND\brodes
2024-11-19 13:35:45 -05:00
parent 07847762e1
commit a69daa0d20

View File

@@ -5,7 +5,7 @@ class WindowsDriverExceptionAnnotation extends ThrowingFunction {
this.hasGlobalName(["RaiseException", "ExRaiseAccessViolation", "ExRaiseDatatypeMisalignment"])
}
override predicate raisesException(boolean unconditional) { unconditional = true }
override predicate mayThrowException(boolean unconditional) { unconditional = true }
override TSehException getExceptionType() { any() }
}