Skip to content

Commit fcc4758

Browse files
committed
Remove old taint tracking for tuples
1 parent d05a733 commit fcc4758

File tree

1 file changed

+0
-16
lines changed

1 file changed

+0
-16
lines changed

csharp/ql/src/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll

Lines changed: 0 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -62,25 +62,9 @@ private class LocalTaintExprStepConfiguration extends ControlFlowReachabilityCon
6262
e1 = e2.(BinaryLogicalOperation).getAnOperand() and
6363
scope = e2
6464
or
65-
// Taint from tuple argument
66-
e2 =
67-
any(TupleExpr te |
68-
e1 = te.getAnArgument() and
69-
te.isReadAccess() and
70-
scope = e2
71-
)
72-
or
7365
e1 = e2.(InterpolatedStringExpr).getAChild() and
7466
scope = e2
7567
or
76-
// Taint from tuple expression
77-
e2 =
78-
any(MemberAccess ma |
79-
ma.getQualifier().getType() instanceof TupleType and
80-
e1 = ma.getQualifier() and
81-
scope = e2
82-
)
83-
or
8468
e2 =
8569
any(OperatorCall oc |
8670
oc.getTarget().(ConversionOperator).fromLibrary() and

0 commit comments

Comments
 (0)