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

Dataflow: Prevent bad join.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2024-02-26 13:45:19 +01:00
parent c22cbf5b01
commit 20bb631456
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