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

Data flow: Cache known{Source,Sink}Model

Browse Source
This commit is contained in:
Tom Hvitved
2025-01-09 11:52:15 +01:00
parent a7bb95249b
commit 653d1227e3
2 changed files with 12 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1014,19 +1014,19 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
private predicate sourceModel(NodeEx node, string model) {
sourceNode(node, _) and
exists(Node n | n = node.asNode() |
knownSourceModel(n, model)
(
model = getSourceModel(node)
or
not knownSourceModel(n, _) and model = ""
not exists(getSourceModel(node)) and model = ""
)
}
private predicate sinkModel(NodeEx node, string model) {
sinkNode(node, _) and
exists(Node n | n = node.asNodeOrImplicitRead() |
knownSinkModel(n, model)
(
model = getSinkModel(node)
or
not knownSinkModel(n, _) and model = ""
not exists(getSinkModel(node)) and model = ""
)
}

6
shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
View File

@@ -1063,6 +1063,12 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
exists(n.asParamReturnNode())
}
cached
string getSourceModel(NodeEx node) { knownSourceModel(node.asNode(), result) }
cached
string getSinkModel(NodeEx node) { knownSinkModel(node.asNodeOrImplicitRead(), result) }
cached
predicate parameterNode(Node p, DataFlowCallable c, ParameterPosition pos) {
isParameterNode(p, c, pos)