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

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

Browse Source 
Co-authored-by: Michael Nebel <michaelnebel@github.com>
This commit is contained in:
Tamás Vajk
2025-04-01 10:18:09 +02:00
committed by GitHub
parent 32448c14bd
commit 398f041464
1 changed files with 5 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -197,15 +197,11 @@ private predicate matchingOpenCloseComponentCalls(
closeCall.getEnclosingCallable() = enclosing and
closeCall.getParent().getParent() = openCall.getParent().getParent() and
openCall.getParent().getIndex() = openCallIndex and
closeCall.getParent().getIndex() = closeCallIndex and
closeCallIndex > openCallIndex and
not exists(int k, MethodCall otherCloseCall |
k in [openCallIndex + 1 .. closeCallIndex - 1] and
otherCloseCall.getTarget() instanceof MicrosoftAspNetCoreComponentsCloseComponentMethod and
otherCloseCall.getEnclosingCallable() = enclosing and
otherCloseCall.getParent().getParent() = openCall.getParent().getParent() and
otherCloseCall.getParent().getIndex() = k
)
closeCallIndex =
min(int closeCallIndex0 |
closeCall.getParent().getIndex() = closeCallIndex0 and
closeCallIndex0 > openCallIndex
)
}
private module JumpNodes {