C#: Avoid overlap in getCSharpType

2026-04-27 17:55:19 +02:00 · 2021-12-10 10:30:00 +01:00
parent f5a47126b1
commit 4a331814a2
1 changed files with 1 additions and 0 deletions
--- a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
+++ b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -620,6 +620,7 @@ private predicate arrayRead(Expr e1, ArrayRead e2) { e1 = e2.getQualifier() }
 private Type getCSharpType(DotNet::Type t) {
  result = t
  or
+  not t instanceof Type and
  result.matchesHandle(t)
 }