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

C#: Support 'WithElement'.

Browse Source
This commit is contained in:
Michael Nebel
2022-08-29 16:02:57 +02:00
parent 5511bc8e28
commit 022cbfa009
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/ql/lib/semmle/code/csharp/dataflow/internal/FlowSummaryImplSpecific.qll
View File

@@ -165,6 +165,8 @@ SummaryComponent interpretComponentSpecific(AccessPathToken c) {
or or
c = "WithoutElement" and result = SummaryComponent::withoutContent(any(ElementContent ec)) c = "WithoutElement" and result = SummaryComponent::withoutContent(any(ElementContent ec))
or or
c = "WithElement" and result = SummaryComponent::withContent(any(ElementContent ec))
or
// Qualified names may contain commas,such as in `Tuple<,>`, so get the entire argument list // Qualified names may contain commas,such as in `Tuple<,>`, so get the entire argument list
// rather than an individual argument. // rather than an individual argument.
exists(Field f | exists(Field f |
@@ -203,6 +205,8 @@ string getComponentSpecificCsv(SummaryComponent sc) {
or or
exists(Content c | sc = TWithoutContentSummaryComponent(c) and result = "WithoutElement") exists(Content c | sc = TWithoutContentSummaryComponent(c) and result = "WithoutElement")
or or
exists(Content c | sc = TWithContentSummaryComponent(c) and result = "WithElement")
or
exists(ReturnKind rk | exists(ReturnKind rk |
sc = TReturnSummaryComponent(rk) and sc = TReturnSummaryComponent(rk) and
result = "ReturnValue[" + rk + "]" and result = "ReturnValue[" + rk + "]" and