Skip to content

Commit 41b7db1

Browse files
Allow for array types in model signatures
1 parent caa6f00 commit 41b7db1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -222,7 +222,7 @@ module CsvValidation {
222222
not name.regexpMatch("[a-zA-Z0-9_]*") and
223223
msg = "Dubious name \"" + name + "\" in " + pred + " model."
224224
or
225-
not signature.regexpMatch("|\\([a-zA-Z0-9_\\.\\$<>,]*\\)") and
225+
not signature.regexpMatch("|\\([a-zA-Z0-9_\\.\\$<>,\\[\\]]*\\)") and
226226
msg = "Dubious signature \"" + signature + "\" in " + pred + " model."
227227
or
228228
not ext.regexpMatch("|Annotated") and

0 commit comments

Comments
 (0)