Skip to content

Commit dff31d7

Browse files
committed
bugfix
1 parent d07b4a4 commit dff31d7

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2241,7 +2241,7 @@ module Make<
22412241
private predicate interpretOutput(
22422242
SourceSinkAccessPath output, int n, InterpretNode ref, InterpretNode node
22432243
) {
2244-
sourceElementRef(ref, output, _, _) and
2244+
(sourceElementRef(ref, output, _, _) or barrierElementRef(ref, output, _, _)) and
22452245
n = 0 and
22462246
(
22472247
if output = ""
@@ -2297,7 +2297,7 @@ module Make<
22972297
private predicate interpretInput(
22982298
SourceSinkAccessPath input, int n, InterpretNode ref, InterpretNode node
22992299
) {
2300-
sinkElementRef(ref, input, _, _) and
2300+
(sinkElementRef(ref, input, _, _) or barrierGuardElementRef(ref, input, _, _, _)) and
23012301
n = 0 and
23022302
(
23032303
if input = ""

0 commit comments

Comments
 (0)