Skip to content

Commit b4cb1e5

Browse files
committed
Swift: Sync FlowSummaryImpl to swift.
1 parent b4457de commit b4cb1e5

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

swift/ql/lib/codeql/swift/dataflow/internal/FlowSummaryImpl.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1116,13 +1116,13 @@ module Private {
11161116
preservesValue = false and result = "taint"
11171117
}
11181118

1119-
private string renderGenerated(RelevantSummarizedCallable c) {
1120-
if c.(SummarizedCallable).isAutoGenerated() then result = "generated:" else result = ""
1119+
private string renderProvenance(RelevantSummarizedCallable c) {
1120+
if c.(SummarizedCallable).isAutoGenerated() then result = "generated" else result = "manual"
11211121
}
11221122

11231123
/**
11241124
* A query predicate for outputting flow summaries in semi-colon separated format in QL tests.
1125-
* The syntax is: "namespace;type;overrides;name;signature;ext;inputspec;outputspec;(generated:)?kind",
1125+
* The syntax is: "namespace;type;overrides;name;signature;ext;inputspec;outputspec;kind;provenance"",
11261126
* ext is hardcoded to empty.
11271127
*/
11281128
query predicate summary(string csv) {
@@ -1133,7 +1133,7 @@ module Private {
11331133
c.relevantSummary(input, output, preservesValue) and
11341134
csv =
11351135
c.getCallableCsv() + getComponentStackCsv(input) + ";" + getComponentStackCsv(output) +
1136-
";" + renderGenerated(c) + renderKind(preservesValue)
1136+
";" + renderKind(preservesValue) + ";" + renderProvenance(c)
11371137
)
11381138
}
11391139
}

0 commit comments

Comments
 (0)