Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/workflows/build-codeql.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -132,6 +132,7 @@ jobs:
with:
azPSVersion: latest
inlineScript: |
Update-AzConfig -DisplayBreakingChangeWarning $false
$context = New-AzStorageContext -StorageAccountName "$env:ACCOUNT_NAME" -UseConnectedAccount -EnableFileBackupRequestIntent
Set-AzStorageFileContent -ShareName "$env:SHARE_NAME" -Source "diffdetailedfunctiontestresults.xlsx" -Path "health-diffdetailedfunctiontestresults.xlsx" -Context $context
exit 1
Expand Down
367 changes: 0 additions & 367 deletions src/drivers/general/queries/FloatSafeExit/FloatSafeExit.sarif

This file was deleted.

534 changes: 0 additions & 534 deletions src/drivers/general/queries/FloatUnsafeExit/FloatUnsafeExit.sarif

This file was deleted.

Original file line number Diff line number Diff line change
Expand Up @@ -89,13 +89,13 @@ where
safeFloatRestoreFuncCall.getEnclosingFunction() = kernelFloatFunc
) and
msg =
"Function annotated with _Kernel_float_restored_ but does not call a safe float access function for some path(s)"
"Function annotated with _Kernel_float_restored_ but may not call/check return value of a safe float access function for some path(s)"
or
// Paths have call to safe float access function but return value is not used
unusedFc instanceof SafeFloatRestoreFuncCall and
unusedFc.getEnclosingFunction() = kernelFloatFunc and
msg =
"Function annotated with _Kernel_float_restored_ but does not check a safe float access function return value for some path(s)" and
"Function annotated with _Kernel_float_restored_ but may not call/check return value of a safe float access function for some path(s)" and
(
// return value isn't used at all
unused(unusedFc)
Expand Down
610 changes: 610 additions & 0 deletions src/drivers/kmdf/queries/FloatSafeExit/FloatSafeExit.sarif

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
Expand Up @@ -81,13 +81,13 @@ where
safeFloatAccessFuncCall.getEnclosingFunction() = kernelFloatFunc
) and
msg =
"Function annotated with _Kernel_float_saved_ but does not call a safe float access function for some path(s)"
"Function annotated with _Kernel_float_saved_ but may not call/check return values of safe float access function for some path(s)"
or
// Paths have call to safe float access function but return value is not used
unusedFc instanceof SafeFloatAccessFuncCall and
unusedFc.getEnclosingFunction() = kernelFloatFunc and
msg =
"Function annotated with _Kernel_float_saved_ but does not check a safe float access function return value for some path(s)" and
"Function annotated with _Kernel_float_saved_ but may not call/check return values of safe float access function for some path(s)" and
(
// return value isn't used at all
unused(unusedFc)
Expand Down
579 changes: 579 additions & 0 deletions src/drivers/kmdf/queries/FloatUnsafeExit/FloatUnsafeExit.sarif

Large diffs are not rendered by default.