diff --git a/ql/src/experimental/CWE-369/DivideByZero.ql b/ql/src/experimental/CWE-369/DivideByZero.ql index a7a16b2f9c5..cb147b8f48a 100644 --- a/ql/src/experimental/CWE-369/DivideByZero.ql +++ b/ql/src/experimental/CWE-369/DivideByZero.ql @@ -22,8 +22,7 @@ class DivideByZeroSanitizeGuard extends DataFlow::BarrierGuard { | zero.getNumericValue() = 0 and ( - sink.getType().getUnderlyingType() instanceof SignedIntegerType or - sink.getType().getUnderlyingType() instanceof UnsignedIntegerType + sink.getType().getUnderlyingType() instanceof IntegerType ) and ( eqNode.eq(branch.booleanNot(), sink, zero) or