Remove old taint tracking for tuples

tamasvajk · tamasvajk · commit fcc4758eb874 · 2021-03-09T09:14:24.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll b/csharp/ql/src/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll
@@ -62,25 +62,9 @@ private class LocalTaintExprStepConfiguration extends ControlFlowReachabilityCon
       e1 = e2.(BinaryLogicalOperation).getAnOperand() and
       scope = e2
       or
-      // Taint from tuple argument
-      e2 =
-        any(TupleExpr te |
-          e1 = te.getAnArgument() and
-          te.isReadAccess() and
-          scope = e2
-        )
-      or
       e1 = e2.(InterpolatedStringExpr).getAChild() and
       scope = e2
       or
-      // Taint from tuple expression
-      e2 =
-        any(MemberAccess ma |
-          ma.getQualifier().getType() instanceof TupleType and
-          e1 = ma.getQualifier() and
-          scope = e2
-        )
-      or
       e2 =
         any(OperatorCall oc |
           oc.getTarget().(ConversionOperator).fromLibrary() and
