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

Dataflow: Fix missing join on summaryLabel.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2024-08-15 11:05:08 +02:00
parent b16dc20bbd
commit 2c591f5420
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -4350,7 +4350,7 @@ module MakeImpl<LocationSig Location, InputSig<Location> Lang> {
private PathNodeMid getSuccMid(string label) {
pathStep(this, result.getNodeEx(), result.getState(), result.getCallContext(),
result.getSummaryCtx(), result.getType(), result.getAp(), _, label)
result.getSummaryCtx(), result.getType(), result.getAp(), result.getSummaryLabel(), label)
}
private predicate isSourceWithLabel(string labelprefix) {