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

Dataflow: Add provenance for configuration-specific steps.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2024-05-16 13:13:57 +02:00
parent 92df0a3d46
commit 22c1d52381
3 changed files with 6 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
shared/dataflow/codeql/dataflow/DataFlow.qll
View File

@@ -609,7 +609,7 @@ module DataFlowMake<LocationSig Location, InputSig<Location> Lang> {
predicate accessPathLimit = Config::accessPathLimit/0;
predicate isAdditionalFlowStep(Node node1, Node node2, string model) {
Config::isAdditionalFlowStep(node1, node2) and model = ""
Config::isAdditionalFlowStep(node1, node2) and model = "Config"
}
}
@@ -631,7 +631,7 @@ module DataFlowMake<LocationSig Location, InputSig<Location> Lang> {
predicate accessPathLimit = Config::accessPathLimit/0;
predicate isAdditionalFlowStep(Node node1, Node node2, string model) {
Config::isAdditionalFlowStep(node1, node2) and model = ""
Config::isAdditionalFlowStep(node1, node2) and model = "Config"
}
}

4
shared/dataflow/codeql/dataflow/TaintTracking.qll
View File

@@ -80,7 +80,7 @@ module TaintFlowMake<
predicate isAdditionalFlowStep(
DataFlowLang::Node node1, DataFlowLang::Node node2, string model
) {
Config::isAdditionalFlowStep(node1, node2) and model = ""
Config::isAdditionalFlowStep(node1, node2) and model = "Config"
}
}
@@ -106,7 +106,7 @@ module TaintFlowMake<
predicate isAdditionalFlowStep(
DataFlowLang::Node node1, DataFlowLang::Node node2, string model
) {
Config::isAdditionalFlowStep(node1, node2) and model = ""
Config::isAdditionalFlowStep(node1, node2) and model = "Config"
}
}

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

@@ -2854,7 +2854,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
Stage2::revFlow(node2, pragma[only_bind_into](state2), false)
or
additionalLocalStateStep(node1, state1, node2, state2) and
label = "" and
label = "Config" and
Stage2::revFlow(node1, state1, false) and
Stage2::revFlow(node2, state2, false)
}
@@ -4245,7 +4245,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
ap = TAccessPathNil() and
isStoreStep = false and
summaryLabel = "-" and
label = ""
label = "Config"
or
exists(Content c, DataFlowType t0, AccessPath ap0 |
pathStoreStep(mid, node, state, t0, ap0, c, t, cc) and