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

C#: Address review comments.

Browse Source
This commit is contained in:
Michael Nebel
2022-01-07 09:07:36 +01:00
parent d3368dcc23
commit 929f6ca578
2 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
csharp/ql/lib/semmle/code/csharp/dataflow/FlowSummary.qll
View File

@@ -159,7 +159,7 @@ private class RecordConstructorFlowRequiredSummaryComponentStack extends Require
exists(Property p |
recordConstructorFlow(_, _, p) and
head = SummaryComponent::property(p) and
this = SummaryComponentStack::singleton(SummaryComponent::return())
this = SummaryComponentStack::return()
)
}

3
csharp/ql/lib/semmle/code/csharp/frameworks/system/Text.qll
View File

@@ -29,8 +29,7 @@ class SystemTextStringBuilderClass extends SystemTextClass {
/** Clear content for `System.Text.StringBuilder.Clear`. */
private class SystemTextStringBuilderClearFlow extends SummarizedCallable {
SystemTextStringBuilderClearFlow() {
this.getDeclaringType() instanceof SystemTextStringBuilderClass and
this.hasName("Clear")
this = any(SystemTextStringBuilderClass s).getAMethod("Clear")
}
override predicate clearsContent(ParameterPosition pos, DataFlow::Content content) {