Skip to content

Commit fde4b4e

Browse files
committed
Shared: Allow 'Argument[...].Parameter[...]' input rows. This is already supported in the rest of the library.
1 parent a0083b5 commit fde4b4e

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

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

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -698,6 +698,11 @@ module Make<
698698
s.length() = 1 and
699699
s.head() instanceof TArgumentSummaryComponent
700700
or
701+
// Argument[n].Parameter[m].*
702+
s.length() = 2 and
703+
s.head() instanceof TParameterSummaryComponent and
704+
s.tail().head() instanceof TArgumentSummaryComponent
705+
or
701706
// ReturnValue.*
702707
s.length() = 1 and
703708
s.head() instanceof TReturnSummaryComponent

0 commit comments

Comments
 (0)