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 #16318 from aschackmull/dataflow/doublyboundedfasttc

Browse Source 
Dataflow: Use doublyBoundedFastTC.
This commit is contained in:
Anders Schack-Mulligen
2024-05-01 09:48:23 +02:00
committed by GitHub
parent 3a2b0a2feb 830b83f653
commit 248ffa15a2
1 changed files with 6 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
shared/dataflow/codeql/dataflow/internal/DataFlowImpl.qll
View File

@@ -3882,7 +3882,12 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
n1.getANonHiddenSuccessor(_) = n2 and directReach(n2)
}
private predicate pathSuccPlus(PathNodeImpl n1, PathNodeImpl n2) = fastTC(pathSucc/2)(n1, n2)
private predicate tcSrc(PathNodeImpl n) { n.isFlowSource() or n.isSource(_) }
private predicate tcSink(PathNodeImpl n) { n.isFlowSink() or n instanceof PathNodeSink }
private predicate pathSuccPlus(PathNodeImpl n1, PathNodeImpl n2) =
doublyBoundedFastTC(pathSucc/2, tcSrc/1, tcSink/1)(n1, n2)
/**
* A `Node` augmented with a call context (except for sinks) and an access path.