hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-25 00:27:09 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #254 from microsoft/implement-localExprTaint

Browse Source 
PS: Actually implement `localExprTaint`
This commit is contained in:
Lindsay Simpkins
2025-07-07 08:23:11 -04:00
committed by GitHub
parent 52ff5d3fbc b6b4df5ce0
commit d4571f5b95
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
powershell/ql/lib/semmle/code/powershell/dataflow/internal/TaintTrackingPublic.qll
View File

@@ -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;