diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll index 0872b5d1124..bb08c8f7e2c 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/TaintTrackingPrivate.qll @@ -110,8 +110,8 @@ private class LocalTaintExprStepConfiguration extends ControlFlowReachabilityCon } private ControlFlow::Nodes::ExprNode getALastEvalNode(ControlFlow::Nodes::ExprNode cfn) { - exists(Expr e | any(LocalTaintExprStepConfiguration x).hasExprPath(_, result, e, cfn) | - e.(OperatorCall).getTarget() instanceof ImplicitConversionOperator + exists(OperatorCall oc | any(LocalTaintExprStepConfiguration x).hasExprPath(_, result, oc, cfn) | + oc.getTarget() instanceof ImplicitConversionOperator ) }