hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-07-30 23:13:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Use fastTC explicitly in 'localFlow' to avoid relying on the optimizer to always do this transformation.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2026-07-29 15:29:22 +01:00
parent 46e738df8f
commit d2faab7fab
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
python/ql/lib/semmle/python/dataflow/new/internal/DataFlowUtil.qll
View File

@@ -20,9 +20,11 @@ predicate localFlowStep(Node nodeFrom, Node nodeTo) {
FlowSummaryImpl::Private::Steps::summaryThroughStepValue(nodeFrom, nodeTo, _)
}
private predicate localFlowStepPlus(Node node1, Node node2) = fastTC(localFlowStep/2)(node1, node2)
/**
* Holds if data flows from `source` to `sink` in zero or more local
* (intra-procedural) steps.
*/
pragma[inline]
predicate localFlow(Node source, Node sink) { localFlowStep*(source, sink) }
predicate localFlow(Node source, Node sink) { source = sink or localFlowStepPlus(source, sink) }