Skip to content

Commit b133a6b

Browse files
committed
C#: Relax models as data type name validation to accept parenthesis (needed for extension types).
1 parent c0b1d7b commit b133a6b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

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

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -214,7 +214,7 @@ module ModelValidation {
214214
not namespace.regexpMatch("[a-zA-Z0-9_\\.]+") and
215215
result = "Dubious namespace \"" + namespace + "\" in " + pred + " model."
216216
or
217-
not type.regexpMatch("[a-zA-Z0-9_<>,\\+]+") and
217+
not type.regexpMatch("[a-zA-Z0-9_<>,\\(\\)\\+]+") and
218218
result = "Dubious type \"" + type + "\" in " + pred + " model."
219219
or
220220
not name.regexpMatch("[a-zA-Z0-9_<>,\\.]*") and

0 commit comments

Comments
 (0)