Skip to content

Commit 4985fbb

Browse files
committed
Shared: update getSummaryCsv and related test output
1 parent dcc523a commit 4985fbb

File tree

6 files changed

+4568
-4562
lines changed

6 files changed

+4568
-4562
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 5 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -99,7 +99,7 @@ module Public {
9999
exists(SummaryComponent head, SummaryComponentStack tail |
100100
head = this.head() and
101101
tail = this.tail() and
102-
result = head + " of " + tail
102+
result = tail + "." + head
103103
)
104104
or
105105
exists(SummaryComponent c |
@@ -164,7 +164,7 @@ module Public {
164164
exists(SummaryComponent head, SummaryComponentStack tail |
165165
head = stack.head() and
166166
tail = stack.tail() and
167-
result = getComponentCsv(head) + " of " + getComponentStackCsv(tail)
167+
result = getComponentStackCsv(tail) + "." + getComponentCsv(head)
168168
)
169169
or
170170
exists(SummaryComponent c |
@@ -966,7 +966,9 @@ module Private {
966966
}
967967

968968
/** Holds if the first `n` tokens of `input` resolve to the given interpretation. */
969-
private predicate interpretInput(AccessPath input, int n, InterpretNode ref, InterpretNode node) {
969+
private predicate interpretInput(
970+
AccessPath input, int n, InterpretNode ref, InterpretNode node
971+
) {
970972
sinkElementRef(ref, input, _) and
971973
n = 0 and
972974
(

0 commit comments

Comments
 (0)