Fix jump node by using associated property

egregius313 · egregius313 · commit 2cc71144b228 · 2025-03-05T01:08:45.000-05:00
diff --git 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()
     }
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -182,7 +182,7 @@ private module JumpNodes {`
`182`	`182`
`183`	`183`	`override DataFlow::Node getAJumpSuccessor(boolean preservesValue) {`
`184`	`184`	`preservesValue = true and`
`185`		`- result.asExpr() = call.getParameterProperty().getAnAccess()`
	`185`	`+ result.asExpr() = prop.getAnAccess()`
`186`	`186`	`}`
`187`	`187`	`}`
`188`	`188`	`}`