Skip to content

Commit a8f55d9

Browse files
committed
C#: Add overrides to the interpretation of neutral MaD models.
1 parent 0459d13 commit a8f55d9

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -318,7 +318,7 @@ private predicate elementSpec(
318318
or
319319
summaryModel(namespace, type, subtypes, name, signature, ext, _, _, _, _, _)
320320
or
321-
neutralModel(namespace, type, name, signature, _, _) and ext = "" and subtypes = false
321+
neutralModel(namespace, type, name, signature, _, _) and ext = "" and subtypes = true
322322
}
323323

324324
private predicate elementSpec(
@@ -602,7 +602,7 @@ private predicate interpretSummary(
602602
predicate interpretNeutral(UnboundCallable c, string kind, string provenance) {
603603
exists(string namespace, string type, string name, string signature |
604604
neutralModel(namespace, type, name, signature, kind, provenance) and
605-
c = interpretElement(namespace, type, false, name, signature, "")
605+
c = interpretElement(namespace, type, true, name, signature, "")
606606
)
607607
}
608608

0 commit comments

Comments
 (0)