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

C#: Add flow summary for IEnumerable<T>.GetEnumerator() and update tests.

Browse Source
This commit is contained in:
Michael Nebel
2021-12-17 09:50:43 +01:00
parent f93c63aa60
commit ac5b2bfa41
3 changed files with 44 additions and 61 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
csharp/ql/lib/semmle/code/csharp/frameworks/system/collections/Generic.qll
View File

@@ -71,6 +71,14 @@ class SystemCollectionsGenericIEnumerableTInterface extends SystemCollectionsGen
}
}
/** Data flow for `System.Collections.Generic.IEnumerable<T>`. */
private class SystemCollectionsGenericEnumerableTFlowModelCsv extends SummaryModelCsv {
override predicate row(string row) {
row =
"System.Collections.Generic;IEnumerable<>;true;GetEnumerator;();;Element of Argument[-1];Property[System.Collections.Generic.IEnumerator<>.Current] of ReturnValue;value"
}
}
/** The `System.Collections.Generic.IEnumerator<T>` interface. */
class SystemCollectionsGenericIEnumeratorInterface extends SystemCollectionsGenericUnboundGenericInterface {
SystemCollectionsGenericIEnumeratorInterface() {