diff --git a/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql b/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql index 2cce72bc2ae8..ff9bc59b716b 100644 --- a/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql +++ b/cpp/ql/src/Security/CWE/CWE-120/UnboundedWrite.ql @@ -109,7 +109,7 @@ predicate lessThanOrEqual(IRGuardCondition g, Expr e, boolean branch) { g.comparesEq(left, _, _, true, branch) | interestingLessThanOrEqual(left) and - left.getDef().getUnconvertedResultExpression() = e + left.getDef().getConvertedResultExpression() = e ) }