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

Merge pull request #15725 from aschackmull/dataflow/summary-join-fix

Browse Source 
Dataflow: Prevent bad join in FlowSummaryImpl::Private::Steps::summaryLocalStep.
This commit is contained in:
Anders Schack-Mulligen
2024-02-27 10:32:38 +01:00
committed by GitHub
parent bbeee8f38d 20bb631456
commit 699dddcfbe
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -1081,8 +1081,8 @@ module Make<DF::InputSig DataFlowLang, InputSig<DataFlowLang> Input> {
SummaryComponentStack outputContents
|
summary(c, inputContents, outputContents, preservesValue) and
pred = summaryNodeInputState(c, inputContents) and
succ = summaryNodeOutputState(c, outputContents)
pred = summaryNodeInputState(pragma[only_bind_into](c), inputContents) and
succ = summaryNodeOutputState(pragma[only_bind_into](c), outputContents)
|
preservesValue = true
or