Skip to content

Commit 3c36a9e

Browse files
committed
Correctly deal with generic types
1 parent e6996ea commit 3c36a9e

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

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

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -241,8 +241,10 @@ module ModelValidation {
241241

242242
string getIncorrectConstructorSummaryOutput() {
243243
exists(string namespace, string type, string name, string output |
244+
type = name or
245+
type = name + "<" + any(string s)
246+
|
244247
summaryModel(namespace, type, _, name, _, _, _, output, _, _, _) and
245-
type = name and
246248
output.matches("ReturnValue%") and
247249
result =
248250
"Constructor model for " + namespace + "." + type +

0 commit comments

Comments
 (0)