Skip to content

Commit d4571f5

Browse files
authored
Merge pull request #254 from microsoft/implement-localExprTaint
PS: Actually implement `localExprTaint`
2 parents 52ff5d3 + b6b4df5 commit d4571f5

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPublic.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,8 @@ predicate localTaint(DataFlow::Node source, DataFlow::Node sink) { localTaintSte
1515
* local (intra-procedural) steps.
1616
*/
1717
pragma[inline]
18-
predicate localExprTaint(CfgNodes::ExprCfgNode e1, CfgNodes::ExprCfgNode e2) { none() }
18+
predicate localExprTaint(CfgNodes::ExprCfgNode e1, CfgNodes::ExprCfgNode e2) {
19+
localTaintStep*(DataFlow::exprNode(e1), DataFlow::exprNode(e2))
20+
}
1921

2022
predicate localTaintStep = localTaintStepCached/2;

0 commit comments

Comments
 (0)