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

Dataflow: Add consistency check.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2024-10-03 11:45:41 +02:00
parent 8b99154a00
commit 6c6b6061bc
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
shared/dataflow/codeql/dataflow/internal/DataFlowImplConsistency.qll
View File

@@ -323,4 +323,18 @@ module MakeConsistency<
lambdaCall(call, _, receiver) and lambdaCall(call, _, receiver) and
not nodeGetEnclosingCallable(receiver) = call.getEnclosingCallable() not nodeGetEnclosingCallable(receiver) = call.getEnclosingCallable()
} }
query predicate speculativeStepAlreadyHasModel(Node n1, Node n2, string model) {
speculativeTaintStep(n1, n2) and
not defaultAdditionalTaintStep(n1, n2, _) and
(
simpleLocalFlowStep(n1, n2, _) and model = "SimpleLocalFlowStep"
or
exists(DataFlowCall call |
exists(viableCallable(call)) and
isArgumentNode(n1, call, _) and
model = "dispatch"
)
)
}
} }