diff --git a/src/windows-driver-suites/ported_driver_ca_checks.qls b/src/windows-driver-suites/ported_driver_ca_checks.qls index ae1b044f..5273b7f7 100644 --- a/src/windows-driver-suites/ported_driver_ca_checks.qls +++ b/src/windows-driver-suites/ported_driver_ca_checks.qls @@ -25,17 +25,26 @@ - drivers/general/queries/IoInitializeTimerCall/IoInitializeTimerCall.ql - drivers/general/queries/OperandAssignment/OperandAssignment.ql - drivers/general/queries/MultithreadedAVCondition/MultithreadedAVCondition.ql + - drivers/general/queries/FloatHardwareStateProtection/FloatHardwareStateProtection.ql + - drivers/general/queries/FloatSafeExit/FloatSafeExit.ql + - drivers/general/queries/FloatUnsafeExit/FloatUnsafeExit.ql + - drivers/general/queries/InvalidFunctionPointerAnnotation/InvalidFunctionPointerAnnotation.ql + - drivers/general/queries/IrqlIllegalValue/IrqlIllegalValue.ql + - drivers/general/queries/NtstatusExplicitCast/NtstatusExplicitCast.ql + - drivers/general/queries/NtstatusExplicitCast2/NtstatusExplicitCast2.ql + - drivers/general/queries/NtstatusExplicitCast3/NtstatusExplicitCast3.ql + - drivers/general/queries/NullCharacterPointerAssignment/NullCharacterPointerAssignment.ql + - drivers/general/queries/PointerVariableSize/PointerVariableSize.ql - drivers/wdm/queries/IllegalFieldAccess/IllegalFieldAccess.ql - drivers/wdm/queries/IllegalFieldAccess2/IllegalFieldAccess2.ql - drivers/wdm/queries/IllegalFieldWrite/IllegalFieldWrite.ql - drivers/wdm/queries/InitNotCleared/InitNotCleared.ql - drivers/wdm/queries/KeWaitLocal/KeWaitLocal.ql - - drivers/wdm/queries/MultiplePagedCode/MultiplePagedCode.ql + - drivers/wdm/queries/MultiplePagedCode/fIrqlIllegalValueMultiplePagedCode.ql - drivers/wdm/queries/NoPagedCode/NoPagedCode.ql - drivers/wdm/queries/NoPagingSegment/NoPagingSegment.ql - drivers/wdm/queries/ObReferenceMode/ObReferenceMode.ql - drivers/wdm/queries/OpaqueMdlUse/OpaqueMdlUse.ql - drivers/wdm/queries/OpaqueMdlWrite/OpaqueMdlWrite.ql - drivers/wdm/queries/PendingStatusError/PendingStatusError.ql - - drivers/wdm/queries/WrongDispatchTableAssignment/WrongDispatchTableAssignment.ql - - drivers/kmdf/queries/experimental/FloatHardwareStateProtection/FloatHardwareStateProtection.ql \ No newline at end of file + - drivers/wdm/queries/WrongDispatchTableAssignment/WrongDispatchTableAssignment.ql \ No newline at end of file