Skip to content

Commit 1d303e0

Browse files
JarLobmichaelnebel
authored andcommitted
C#: Add remote type source kind in model validation.
1 parent 340fd8a commit 1d303e0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -338,7 +338,7 @@ module ModelValidation {
338338
)
339339
or
340340
exists(string kind | sourceModel(_, _, _, _, _, _, _, kind, _) |
341-
not kind = ["local", "file"] and
341+
not kind = ["local", "remote", "file"] and
342342
result = "Invalid kind \"" + kind + "\" in source model."
343343
)
344344
}

0 commit comments

Comments
 (0)