hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #20459 from github/alexet/caller_tc

Browse Source 
Java: Make a TC overlay caller.
This commit is contained in:
Alexander Eyers-Taylor
2025-09-19 13:48:34 +01:00
committed by GitHub
parent 5d3b5424ba 34b40a14e8
commit 27e2c4d580
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowUtil.qll
View File

@@ -83,6 +83,7 @@ overlay[caller?]
pragma[inline]
predicate localFlow(Node node1, Node node2) { node1 = node2 or localFlowStepPlus(node1, node2) }
overlay[caller?]
private predicate localFlowStepPlus(Node node1, Node node2) = fastTC(localFlowStep/2)(node1, node2)
/**