C#: Make checked and unchecked as a local flow step.

2026-04-28 02:05:14 +02:00 · 2023-03-28 14:34:46 +02:00
parent 042e53aa4a
commit 50c3c159a9
1 changed files with 8 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
@@ -239,6 +239,14 @@ module LocalFlow {
        scope = e2 and
        isSuccessor = true
        or
+        e1 = e2.(CheckedExpr).getExpr() and
+        scope = e2 and
+        isSuccessor = true
+        or
+        e1 = e2.(UncheckedExpr).getExpr() and
+        scope = e2 and
+        isSuccessor = true
+        or
        exists(WithExpr we |
          scope = we and
          isSuccessor = true