hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 12:46:34 +01:00
Code Issues Packages Projects Releases Wiki Activity

Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll

Browse Source 
Co-authored-by: Tom Hvitved <hvitved@github.com>
This commit is contained in:
Michael Nebel
2024-02-22 10:40:54 +01:00
committed by GitHub
parent a0b44c0fc1
commit 21aa025db2
1 changed files with 4 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
View File

@@ -2075,11 +2075,10 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {
node1 = TExplicitParameterNode(p) and
node2 = TPrimaryConstructorThisAccessNode(p, true) and
exists(Type t | t = p.getCallable().getDeclaringType() |
not t instanceof RecordType and
c.(PrimaryConstructorParameterContent).getParameter() = p
or
t instanceof RecordType and
c.(PropertyContent).getProperty().getName() = p.getName()
if t instanceof RecordType then
c.(PropertyContent).getProperty().getName() = p.getName()
else
c.(PrimaryConstructorParameterContent).getParameter() = p
)
)
or