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

Dataflow: Use doublyBoundedFastTC.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2024-04-23 13:07:20 +02:00
parent b2f09949df
commit 830b83f653
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

@@ -3874,7 +3874,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.