Skip to content

Commit 572c773

Browse files
committed
Change provenance for MaD models that use package grouping
1 parent 2377546 commit 572c773

File tree

1 file changed

+6
-4
lines changed

1 file changed

+6
-4
lines changed

go/ql/lib/semmle/go/dataflow/ExternalFlow.qll

Lines changed: 6 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -183,7 +183,8 @@ predicate interpretModelForTest(QlBuiltins::ExtensionId madId, string model) {
183183
string package, string type, boolean subtypes, string name, string signature, string ext,
184184
string output, string kind, string provenance
185185
|
186-
sourceModel(package, type, subtypes, name, signature, ext, output, kind, provenance, madId) and
186+
FlowExtensions::sourceModel(package, type, subtypes, name, signature, ext, output, kind,
187+
provenance, madId) and
187188
model =
188189
"Source: " + package + "; " + type + "; " + subtypes + "; " + name + "; " + signature + "; " +
189190
ext + "; " + output + "; " + kind + "; " + provenance
@@ -193,7 +194,8 @@ predicate interpretModelForTest(QlBuiltins::ExtensionId madId, string model) {
193194
string package, string type, boolean subtypes, string name, string signature, string ext,
194195
string input, string kind, string provenance
195196
|
196-
sinkModel(package, type, subtypes, name, signature, ext, input, kind, provenance, madId) and
197+
FlowExtensions::sinkModel(package, type, subtypes, name, signature, ext, input, kind,
198+
provenance, madId) and
197199
model =
198200
"Sink: " + package + "; " + type + "; " + subtypes + "; " + name + "; " + signature + "; " +
199201
ext + "; " + input + "; " + kind + "; " + provenance
@@ -203,8 +205,8 @@ predicate interpretModelForTest(QlBuiltins::ExtensionId madId, string model) {
203205
string package, string type, boolean subtypes, string name, string signature, string ext,
204206
string input, string output, string kind, string provenance
205207
|
206-
summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance,
207-
madId) and
208+
FlowExtensions::summaryModel(package, type, subtypes, name, signature, ext, input, output, kind,
209+
provenance, madId) and
208210
model =
209211
"Summary: " + package + "; " + type + "; " + subtypes + "; " + name + "; " + signature + "; " +
210212
ext + "; " + input + "; " + output + "; " + kind + "; " + provenance

0 commit comments

Comments
 (0)