Skip to content

Commit 17da291

Browse files
committed
fixup! Component parameter passing step
1 parent 0463f48 commit 17da291

File tree

1 file changed

+7
-2
lines changed
  • csharp/ql/lib/semmle/code/csharp/frameworks/microsoft/aspnetcore

1 file changed

+7
-2
lines changed

csharp/ql/lib/semmle/code/csharp/frameworks/microsoft/aspnetcore/Components.qll

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -172,11 +172,16 @@ private module JumpNodes {
172172

173173
private class ComponentParameterJump extends DataFlow::NonLocalJumpNode {
174174
ParameterPassingCall call;
175+
Property prop;
175176

176-
ComponentParameterJump() { this.asExpr() = call.getParameterValue() }
177+
ComponentParameterJump() {
178+
prop = call.getParameterProperty() and
179+
// this.(DataFlowPrivate::PostUpdateNode).getPreUpdateNode().asExpr() = call.getParameterValue()
180+
this.asExpr() = call.getParameterValue()
181+
}
177182

178183
override DataFlow::Node getAJumpSuccessor(boolean preservesValue) {
179-
preservesValue = false and
184+
preservesValue = true and
180185
result.asExpr() = call.getParameterProperty().getAnAccess()
181186
}
182187
}

0 commit comments

Comments
 (0)