Skip to content

Commit 51e7b08

Browse files
michaelnebelmichaelnebel
committed
C#: Update negative models.
1 parent 761ed28 commit 51e7b08

File tree

1 file changed

+18
-0
lines changed

1 file changed

+18
-0
lines changed

‎csharp/ql/lib/semmle/code/csharp/frameworks/generated/dotnet/NegativeRuntime.qll

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3036,6 +3036,8 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
30363036
"System.CodeDom.Compiler;CodeDomProvider;get_FileExtension;();generated",
30373037
"System.CodeDom.Compiler;CodeDomProvider;get_LanguageOptions;();generated",
30383038
"System.CodeDom.Compiler;CodeGenerator;ContinueOnNewLine;(System.String);generated",
3039+
"System.CodeDom.Compiler;CodeGenerator;CreateEscapedIdentifier;(System.String);generated",
3040+
"System.CodeDom.Compiler;CodeGenerator;CreateValidIdentifier;(System.String);generated",
30393041
"System.CodeDom.Compiler;CodeGenerator;GenerateArgumentReferenceExpression;(System.CodeDom.CodeArgumentReferenceExpression);generated",
30403042
"System.CodeDom.Compiler;CodeGenerator;GenerateArrayCreateExpression;(System.CodeDom.CodeArrayCreateExpression);generated",
30413043
"System.CodeDom.Compiler;CodeGenerator;GenerateArrayIndexerExpression;(System.CodeDom.CodeArrayIndexerExpression);generated",
@@ -3107,6 +3109,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
31073109
"System.CodeDom.Compiler;CodeGenerator;GenerateTypeStart;(System.CodeDom.CodeTypeDeclaration);generated",
31083110
"System.CodeDom.Compiler;CodeGenerator;GenerateVariableDeclarationStatement;(System.CodeDom.CodeVariableDeclarationStatement);generated",
31093111
"System.CodeDom.Compiler;CodeGenerator;GenerateVariableReferenceExpression;(System.CodeDom.CodeVariableReferenceExpression);generated",
3112+
"System.CodeDom.Compiler;CodeGenerator;GetTypeOutput;(System.CodeDom.CodeTypeReference);generated",
31103113
"System.CodeDom.Compiler;CodeGenerator;IsValidIdentifier;(System.String);generated",
31113114
"System.CodeDom.Compiler;CodeGenerator;IsValidLanguageIndependentIdentifier;(System.String);generated",
31123115
"System.CodeDom.Compiler;CodeGenerator;OutputAttributeArgument;(System.CodeDom.CodeAttributeArgument);generated",
@@ -3892,6 +3895,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
38923895
"System.Collections.Generic;PriorityQueue<,>+UnorderedItemsCollection+Enumerator;Dispose;();generated",
38933896
"System.Collections.Generic;PriorityQueue<,>+UnorderedItemsCollection+Enumerator;MoveNext;();generated",
38943897
"System.Collections.Generic;PriorityQueue<,>+UnorderedItemsCollection+Enumerator;Reset;();generated",
3898+
"System.Collections.Generic;PriorityQueue<,>+UnorderedItemsCollection+Enumerator;get_Current;();generated",
38953899
"System.Collections.Generic;PriorityQueue<,>+UnorderedItemsCollection;get_Count;();generated",
38963900
"System.Collections.Generic;PriorityQueue<,>+UnorderedItemsCollection;get_IsSynchronized;();generated",
38973901
"System.Collections.Generic;PriorityQueue<,>;Clear;();generated",
@@ -4148,6 +4152,8 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
41484152
"System.Collections.Immutable;ImmutableArray<>;LastIndexOf;(T,System.Int32,System.Int32);generated",
41494153
"System.Collections.Immutable;ImmutableArray<>;LastIndexOf;(T,System.Int32,System.Int32,System.Collections.Generic.IEqualityComparer<T>);generated",
41504154
"System.Collections.Immutable;ImmutableArray<>;Remove;(System.Object);generated",
4155+
"System.Collections.Immutable;ImmutableArray<>;Remove;(T);generated",
4156+
"System.Collections.Immutable;ImmutableArray<>;RemoveAt;(System.Int32);generated",
41514157
"System.Collections.Immutable;ImmutableArray<>;get_Count;();generated",
41524158
"System.Collections.Immutable;ImmutableArray<>;get_IsDefault;();generated",
41534159
"System.Collections.Immutable;ImmutableArray<>;get_IsDefaultOrEmpty;();generated",
@@ -4196,6 +4202,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
41964202
"System.Collections.Immutable;ImmutableDictionary<,>;ContainsValue;(TValue);generated",
41974203
"System.Collections.Immutable;ImmutableDictionary<,>;Remove;(System.Collections.Generic.KeyValuePair<TKey,TValue>);generated",
41984204
"System.Collections.Immutable;ImmutableDictionary<,>;Remove;(System.Object);generated",
4205+
"System.Collections.Immutable;ImmutableDictionary<,>;Remove;(TKey);generated",
41994206
"System.Collections.Immutable;ImmutableDictionary<,>;TryGetValue;(TKey,TValue);generated",
42004207
"System.Collections.Immutable;ImmutableDictionary<,>;get_Count;();generated",
42014208
"System.Collections.Immutable;ImmutableDictionary<,>;get_IsEmpty;();generated",
@@ -4238,6 +4245,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
42384245
"System.Collections.Immutable;ImmutableHashSet<>;IsSubsetOf;(System.Collections.Generic.IEnumerable<T>);generated",
42394246
"System.Collections.Immutable;ImmutableHashSet<>;IsSupersetOf;(System.Collections.Generic.IEnumerable<T>);generated",
42404247
"System.Collections.Immutable;ImmutableHashSet<>;Overlaps;(System.Collections.Generic.IEnumerable<T>);generated",
4248+
"System.Collections.Immutable;ImmutableHashSet<>;Remove;(T);generated",
42414249
"System.Collections.Immutable;ImmutableHashSet<>;SetEquals;(System.Collections.Generic.IEnumerable<T>);generated",
42424250
"System.Collections.Immutable;ImmutableHashSet<>;SymmetricExceptWith;(System.Collections.Generic.IEnumerable<T>);generated",
42434251
"System.Collections.Immutable;ImmutableHashSet<>;UnionWith;(System.Collections.Generic.IEnumerable<T>);generated",
@@ -4308,6 +4316,8 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
43084316
"System.Collections.Immutable;ImmutableList<>;ItemRef;(System.Int32);generated",
43094317
"System.Collections.Immutable;ImmutableList<>;LastIndexOf;(T,System.Int32,System.Int32,System.Collections.Generic.IEqualityComparer<T>);generated",
43104318
"System.Collections.Immutable;ImmutableList<>;Remove;(System.Object);generated",
4319+
"System.Collections.Immutable;ImmutableList<>;Remove;(T);generated",
4320+
"System.Collections.Immutable;ImmutableList<>;RemoveAt;(System.Int32);generated",
43114321
"System.Collections.Immutable;ImmutableList<>;get_Count;();generated",
43124322
"System.Collections.Immutable;ImmutableList<>;get_IsEmpty;();generated",
43134323
"System.Collections.Immutable;ImmutableList<>;get_IsFixedSize;();generated",
@@ -4351,6 +4361,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
43514361
"System.Collections.Immutable;ImmutableSortedDictionary<,>;ContainsValue;(TValue);generated",
43524362
"System.Collections.Immutable;ImmutableSortedDictionary<,>;Remove;(System.Collections.Generic.KeyValuePair<TKey,TValue>);generated",
43534363
"System.Collections.Immutable;ImmutableSortedDictionary<,>;Remove;(System.Object);generated",
4364+
"System.Collections.Immutable;ImmutableSortedDictionary<,>;Remove;(TKey);generated",
43544365
"System.Collections.Immutable;ImmutableSortedDictionary<,>;TryGetValue;(TKey,TValue);generated",
43554366
"System.Collections.Immutable;ImmutableSortedDictionary<,>;ValueRef;(TKey);generated",
43564367
"System.Collections.Immutable;ImmutableSortedDictionary<,>;get_Count;();generated",
@@ -4397,6 +4408,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
43974408
"System.Collections.Immutable;ImmutableSortedSet<>;ItemRef;(System.Int32);generated",
43984409
"System.Collections.Immutable;ImmutableSortedSet<>;Overlaps;(System.Collections.Generic.IEnumerable<T>);generated",
43994410
"System.Collections.Immutable;ImmutableSortedSet<>;Remove;(System.Object);generated",
4411+
"System.Collections.Immutable;ImmutableSortedSet<>;Remove;(T);generated",
44004412
"System.Collections.Immutable;ImmutableSortedSet<>;RemoveAt;(System.Int32);generated",
44014413
"System.Collections.Immutable;ImmutableSortedSet<>;SetEquals;(System.Collections.Generic.IEnumerable<T>);generated",
44024414
"System.Collections.Immutable;ImmutableSortedSet<>;SymmetricExcept;(System.Collections.Generic.IEnumerable<T>);generated",
@@ -9114,6 +9126,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
91149126
"System.Data;DataRowView;get_Error;();generated",
91159127
"System.Data;DataRowView;get_IsEdit;();generated",
91169128
"System.Data;DataRowView;get_IsNew;();generated",
9129+
"System.Data;DataRowView;get_Item;(System.String);generated",
91179130
"System.Data;DataRowView;get_RowVersion;();generated",
91189131
"System.Data;DataRowView;set_Item;(System.Int32,System.Object);generated",
91199132
"System.Data;DataRowView;set_Item;(System.String,System.Object);generated",
@@ -17175,6 +17188,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1717517188
"System.Linq.Expressions;IDynamicExpression;CreateCallSite;();generated",
1717617189
"System.Linq.Expressions;IDynamicExpression;Rewrite;(System.Linq.Expressions.Expression[]);generated",
1717717190
"System.Linq.Expressions;IDynamicExpression;get_DelegateType;();generated",
17191+
"System.Linq.Expressions;IndexExpression;GetArgument;(System.Int32);generated",
1717817192
"System.Linq.Expressions;IndexExpression;get_ArgumentCount;();generated",
1717917193
"System.Linq.Expressions;IndexExpression;get_Indexer;();generated",
1718017194
"System.Linq.Expressions;IndexExpression;get_NodeType;();generated",
@@ -17235,6 +17249,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1723517249
"System.Linq.Expressions;MethodCallExpression;get_Type;();generated",
1723617250
"System.Linq.Expressions;NewArrayExpression;get_Expressions;();generated",
1723717251
"System.Linq.Expressions;NewArrayExpression;get_Type;();generated",
17252+
"System.Linq.Expressions;NewExpression;GetArgument;(System.Int32);generated",
1723817253
"System.Linq.Expressions;NewExpression;get_ArgumentCount;();generated",
1723917254
"System.Linq.Expressions;NewExpression;get_Constructor;();generated",
1724017255
"System.Linq.Expressions;NewExpression;get_Members;();generated",
@@ -37076,6 +37091,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
3707637091
"System.Xml.XPath;XPathNavigator;AppendChild;(System.Xml.XPath.XPathNavigator);generated",
3707737092
"System.Xml.XPath;XPathNavigator;AppendChild;(System.Xml.XmlReader);generated",
3707837093
"System.Xml.XPath;XPathNavigator;AppendChildElement;(System.String,System.String,System.String,System.String);generated",
37094+
"System.Xml.XPath;XPathNavigator;Clone;();generated",
3707937095
"System.Xml.XPath;XPathNavigator;ComparePosition;(System.Xml.XPath.XPathNavigator);generated",
3708037096
"System.Xml.XPath;XPathNavigator;CreateAttribute;(System.String,System.String,System.String,System.String);generated",
3708137097
"System.Xml.XPath;XPathNavigator;CreateAttributes;();generated",
@@ -37165,6 +37181,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
3716537181
"System.Xml.XPath;XPathNavigator;get_ValueType;();generated",
3716637182
"System.Xml.XPath;XPathNavigator;set_InnerXml;(System.String);generated",
3716737183
"System.Xml.XPath;XPathNavigator;set_OuterXml;(System.String);generated",
37184+
"System.Xml.XPath;XPathNodeIterator;Clone;();generated",
3716837185
"System.Xml.XPath;XPathNodeIterator;MoveNext;();generated",
3716937186
"System.Xml.XPath;XPathNodeIterator;get_Count;();generated",
3717037187
"System.Xml.XPath;XPathNodeIterator;get_Current;();generated",
@@ -38507,6 +38524,7 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
3850738524
"System;ArraySegment<>;get_Offset;();generated",
3850838525
"System;ArraySegment<>;op_Equality;(System.ArraySegment<>,System.ArraySegment<>);generated",
3850938526
"System;ArraySegment<>;op_Inequality;(System.ArraySegment<>,System.ArraySegment<>);generated",
38527+
"System;ArraySegment<>;set_Item;(System.Int32,T);generated",
3851038528
"System;ArrayTypeMismatchException;ArrayTypeMismatchException;();generated",
3851138529
"System;ArrayTypeMismatchException;ArrayTypeMismatchException;(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext);generated",
3851238530
"System;ArrayTypeMismatchException;ArrayTypeMismatchException;(System.String);generated",

0 commit comments

Comments
 (0)