diff --git a/csharp/ql/consistency-queries/DataFlowConsistency.ql b/csharp/ql/consistency-queries/DataFlowConsistency.ql index 638bace3892..f9049068a7f 100644 --- a/csharp/ql/consistency-queries/DataFlowConsistency.ql +++ b/csharp/ql/consistency-queries/DataFlowConsistency.ql @@ -60,6 +60,12 @@ private module Input implements InputSig { qe.isConditional() and qe.getQualifier() = arg.asExpr() ) + or + // TODO: Remove once underlying issue is fixed + exists(AssignableDefinitions::OutRefDefinition def | + def.getTargetAccess().(QualifiableExpr) = arg.asExpr() and + def.getTargetAccess().isOutArgument() + ) } predicate multipleArgumentCallExclude(ArgumentNode arg, DataFlowCall call) {