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: Don't support stateless sink nodes in partial flow exploration.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-08-03 13:30:05 +02:00
parent a5f521cfa4
commit 50f5c4d5f6
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
shared/dataflow/codeql/dataflow/DataFlowImpl.qll
View File

@@ -4003,7 +4003,7 @@ module MakeImpl<DataFlowParameter Lang> {
private predicate relevantState(FlowState state) {
sourceNode(_, state) or
sinkNode(_, state) or
sinkNodeWithState(_, state) or
additionalLocalStateStep(_, state, _, _) or
additionalLocalStateStep(_, _, _, state) or
additionalJumpStateStep(_, state, _, _) or
@@ -4060,7 +4060,7 @@ module MakeImpl<DataFlowParameter Lang> {
NodeEx node, FlowState state, TRevSummaryCtx1 sc1, TRevSummaryCtx2 sc2,
TRevSummaryCtx3 sc3, PartialAccessPath ap
) {
sinkNode(node, state) and
sinkNodeWithState(node, state) and
sc1 = TRevSummaryCtx1None() and
sc2 = TRevSummaryCtx2None() and
sc3 = TRevSummaryCtx3None() and
@@ -4278,7 +4278,7 @@ module MakeImpl<DataFlowParameter Lang> {
}
predicate isSink() {
sinkNode(node, state) and
sinkNodeWithState(node, state) and
sc1 = TRevSummaryCtx1None() and
sc2 = TRevSummaryCtx2None() and
sc3 = TRevSummaryCtx3None() and