C#: Consider as expressions as maybe-null in cs/dereferenced-value-may-be-null

2026-04-30 19:26:02 +02:00 · 2018-12-14 12:23:09 +00:00
parent ccda1c8d3d
commit 33fcbc958d
3 changed files with 7 additions and 1 deletions
--- a/csharp/ql/src/semmle/code/csharp/dataflow/Nullness.qll
+++ b/csharp/ql/src/semmle/code/csharp/dataflow/Nullness.qll
@@ -39,6 +39,8 @@ class MaybeNullExpr extends Expr {
    this.(AssignExpr).getRValue() instanceof MaybeNullExpr
    or
    this.(Cast).getExpr() instanceof MaybeNullExpr
+    or
+    this instanceof AsExpr
  }
 }