hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-21 06:55:31 +02:00
Code Issues Packages Projects Releases Wiki Activity

fixup! Component parameter passing step

Browse Source
This commit is contained in:
Ed Minnix
2025-03-05 00:50:19 -05:00
parent 0463f48565
commit 17da291910
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -172,11 +172,16 @@ private module JumpNodes {
private class ComponentParameterJump extends DataFlow::NonLocalJumpNode {
ParameterPassingCall call;
Property prop;
ComponentParameterJump() { this.asExpr() = call.getParameterValue() }
ComponentParameterJump() {
prop = call.getParameterProperty() and
// this.(DataFlowPrivate::PostUpdateNode).getPreUpdateNode().asExpr() = call.getParameterValue()
this.asExpr() = call.getParameterValue()
}
override DataFlow::Node getAJumpSuccessor(boolean preservesValue) {
preservesValue = false and
preservesValue = true and
result.asExpr() = call.getParameterProperty().getAnAccess()
}
}