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

Merge pull request #21631 from MathiasVP/expose-fwd-stage-1

Browse Source 
Dataflow: Expose stage 1's `fwdFlow`
This commit is contained in:
Mathias Vorreiter Pedersen
2026-04-07 11:29:56 +01:00
committed by GitHub
parent 39f92e992a e06294bcb4
commit 5e145aa27d
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
shared/dataflow/codeql/dataflow/internal/DataFlowImplStage1.qll
View File

@@ -86,6 +86,8 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
bindingset[p, kind]
predicate parameterFlowThroughAllowed(ParamNd p, ReturnKindExt kind);
predicate fwdFlow(Nd node);
// begin StageSig
class Ap;
@@ -634,7 +636,7 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
)
}
private predicate fwdFlow(NodeEx node) { fwdFlow(node, _) }
predicate fwdFlow(NodeEx node) { fwdFlow(node, _) }
pragma[nomagic]
private predicate fwdFlowReadSet(ContentSet c, NodeEx node, Cc cc) {
@@ -1291,6 +1293,8 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
import Stage1
import Stage1Common
predicate fwdFlow(Nd node) { Stage1::fwdFlow(node) }
predicate revFlow(NodeEx node, Ap ap) { Stage1::revFlow(node) and exists(ap) }
predicate toNormalSinkNode = toNormalSinkNodeEx/1;
@@ -1395,6 +1399,8 @@ module MakeImplStage1<LocationSig Location, InputSig<Location> Lang> {
import Stage1Common
predicate fwdFlow(Nd node) { Stage1::fwdFlow(node.getNodeEx()) }
predicate revFlow(Nd node) { Stage1::revFlow(node.getNodeEx()) }
predicate revFlow(Nd node, Ap ap) { Stage1::revFlow(node.getNodeEx()) and exists(ap) }