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

C#: Delete clears content test case.

Browse Source
This commit is contained in:
Michael Nebel
2022-08-23 14:05:33 +02:00
parent 2ae2008453
commit 19da00a51a
2 changed files with 0 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
csharp/ql/test/library-tests/dataflow/external-models/steps.expected
View File

@@ -19,6 +19,3 @@ summarySetterStep
| Steps.cs:30:34:30:34 | 0 | Steps.cs:30:13:30:16 | [post] this access | Steps.cs:57:13:57:17 | field Field |
| Steps.cs:34:37:34:37 | 0 | Steps.cs:34:13:34:16 | [post] this access | Steps.cs:63:13:63:20 | property Property |
| Steps.cs:38:36:38:36 | 0 | Steps.cs:38:13:38:16 | [post] this access | file://:0:0:0:0 | element |
clearsContent
| Steps.cs:61:14:61:28 | StepFieldSetter | file://:0:0:0:0 | element | this |
| Steps.cs:67:14:67:31 | StepPropertySetter | file://:0:0:0:0 | element | this |

17
csharp/ql/test/library-tests/dataflow/external-models/steps.ql
View File

@@ -29,18 +29,6 @@ private class SummaryModelTest extends SummaryModelCsv {
}
}
private class SummarizedCallableClear extends SummarizedCallable {
SummarizedCallableClear() {
this.getName() = ["StepPropertySetter", "StepFieldSetter"] and
this.getFile().getBaseName() = "Steps.cs"
}
override predicate clearsContent(ParameterPosition pos, DataFlow::ContentSet content) {
pos.isThisParameter() and
content instanceof DataFlow::ElementContent
}
}
query predicate summaryThroughStep(
DataFlow::Node node1, DataFlow::Node node2, boolean preservesValue
) {
@@ -62,8 +50,3 @@ query predicate summarySetterStep(DataFlow::Node arg, DataFlow::Node out, Conten
FlowSummaryImpl::Private::Steps::summarySetterStep(arg, c, out,
any(DataFlowDispatch::DataFlowSummarizedCallable sc))
}
query predicate clearsContent(SummarizedCallable c, DataFlow::Content k, ParameterPosition pos) {
c.clearsContent(pos, k) and
c.fromSource()
}