C#: Exclude the field access cases from missing argument call.

This commit is contained in:
Michael Nebel
2026-01-15 18:43:01 +01:00
parent 3d988e8e94
commit bd1c6e6352

View File

@@ -60,6 +60,12 @@ private module Input implements InputSig<Location, CsharpDataFlow> {
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) {