diff --git a/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPublic.qll b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPublic.qll index 88a123ae9d8..17e071e783c 100644 --- a/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPublic.qll +++ b/powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPublic.qll @@ -15,6 +15,8 @@ predicate localTaint(DataFlow::Node source, DataFlow::Node sink) { localTaintSte * local (intra-procedural) steps. */ pragma[inline] -predicate localExprTaint(CfgNodes::ExprCfgNode e1, CfgNodes::ExprCfgNode e2) { none() } +predicate localExprTaint(CfgNodes::ExprCfgNode e1, CfgNodes::ExprCfgNode e2) { + localTaintStep*(DataFlow::exprNode(e1), DataFlow::exprNode(e2)) +} predicate localTaintStep = localTaintStepCached/2;