Fix jump node by using associated property

2026-04-25 08:45:14 +02:00 · 2025-03-05 01:08:45 -05:00
parent 8ea6974868
commit 22e958b245
1 changed files with 1 additions and 1 deletions
--- a/csharp/ql/lib/semmle/code/csharp/frameworks/microsoft/aspnetcore/Components.qll
+++ b/csharp/ql/lib/semmle/code/csharp/frameworks/microsoft/aspnetcore/Components.qll
@@ -182,7 +182,7 @@ private module JumpNodes {

    override DataFlow::Node getAJumpSuccessor(boolean preservesValue) {
      preservesValue = true and
-      result.asExpr() = call.getParameterProperty().getAnAccess()
+      result.asExpr() = prop.getAnAccess()
    }
  }
 }