Skip to content

Commit f728ddf

Browse files
michaelnebelmichaelnebel
committed
C#: Update negative summaries (there has been a rebase since last update).
1 parent fbc3680 commit f728ddf

File tree

1 file changed

+3
-58
lines changed

1 file changed

+3
-58
lines changed

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

Lines changed: 3 additions & 58 deletions
Original file line numberDiff line numberDiff line change
@@ -694,7 +694,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
694694
"Microsoft.Extensions.FileProviders.Physical;PhysicalDirectoryInfo;get_Length;();generated",
695695
"Microsoft.Extensions.FileProviders.Physical;PhysicalDirectoryInfo;get_Name;();generated",
696696
"Microsoft.Extensions.FileProviders.Physical;PhysicalDirectoryInfo;get_PhysicalPath;();generated",
697-
"Microsoft.Extensions.FileProviders.Physical;PhysicalFileInfo;CreateReadStream;();generated",
698697
"Microsoft.Extensions.FileProviders.Physical;PhysicalFileInfo;get_Exists;();generated",
699698
"Microsoft.Extensions.FileProviders.Physical;PhysicalFileInfo;get_IsDirectory;();generated",
700699
"Microsoft.Extensions.FileProviders.Physical;PhysicalFileInfo;get_LastModified;();generated",
@@ -6576,8 +6575,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
65766575
"System.Configuration.Internal;DelegatingConfigHost;IsLocationApplicable;(System.String);generated",
65776576
"System.Configuration.Internal;DelegatingConfigHost;IsSecondaryRoot;(System.String);generated",
65786577
"System.Configuration.Internal;DelegatingConfigHost;IsTrustedConfigPath;(System.String);generated",
6579-
"System.Configuration.Internal;DelegatingConfigHost;OpenStreamForRead;(System.String);generated",
6580-
"System.Configuration.Internal;DelegatingConfigHost;OpenStreamForRead;(System.String,System.Boolean);generated",
65816578
"System.Configuration.Internal;DelegatingConfigHost;PrefetchAll;(System.String,System.String);generated",
65826579
"System.Configuration.Internal;DelegatingConfigHost;PrefetchSection;(System.String,System.String);generated",
65836580
"System.Configuration.Internal;DelegatingConfigHost;RefreshConfigPaths;();generated",
@@ -13529,7 +13526,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1352913526
"System.Drawing;Bitmap;Bitmap;(System.Int32,System.Int32,System.Drawing.Imaging.PixelFormat);generated",
1353013527
"System.Drawing;Bitmap;Bitmap;(System.Int32,System.Int32,System.Int32,System.Drawing.Imaging.PixelFormat,System.IntPtr);generated",
1353113528
"System.Drawing;Bitmap;Bitmap;(System.String);generated",
13532-
"System.Drawing;Bitmap;Bitmap;(System.String,System.Boolean);generated",
1353313529
"System.Drawing;Bitmap;Bitmap;(System.Type,System.String);generated",
1353413530
"System.Drawing;Bitmap;Clone;(System.Drawing.Rectangle,System.Drawing.Imaging.PixelFormat);generated",
1353513531
"System.Drawing;Bitmap;Clone;(System.Drawing.RectangleF,System.Drawing.Imaging.PixelFormat);generated",
@@ -14167,8 +14163,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1416714163
"System.Drawing;IconConverter;ConvertTo;(System.ComponentModel.ITypeDescriptorContext,System.Globalization.CultureInfo,System.Object,System.Type);generated",
1416814164
"System.Drawing;Image;Clone;();generated", "System.Drawing;Image;Dispose;();generated",
1416914165
"System.Drawing;Image;Dispose;(System.Boolean);generated",
14170-
"System.Drawing;Image;FromFile;(System.String);generated",
14171-
"System.Drawing;Image;FromFile;(System.String,System.Boolean);generated",
1417214166
"System.Drawing;Image;FromHbitmap;(System.IntPtr);generated",
1417314167
"System.Drawing;Image;FromHbitmap;(System.IntPtr,System.IntPtr);generated",
1417414168
"System.Drawing;Image;FromStream;(System.IO.Stream);generated",
@@ -15855,8 +15849,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1585515849
"System.IO.Compression;ZipFile;ExtractToDirectory;(System.String,System.String,System.Boolean);generated",
1585615850
"System.IO.Compression;ZipFile;ExtractToDirectory;(System.String,System.String,System.Text.Encoding);generated",
1585715851
"System.IO.Compression;ZipFile;ExtractToDirectory;(System.String,System.String,System.Text.Encoding,System.Boolean);generated",
15858-
"System.IO.Compression;ZipFile;Open;(System.String,System.IO.Compression.ZipArchiveMode);generated",
15859-
"System.IO.Compression;ZipFile;OpenRead;(System.String);generated",
1586015852
"System.IO.Compression;ZipFileExtensions;ExtractToDirectory;(System.IO.Compression.ZipArchive,System.String);generated",
1586115853
"System.IO.Compression;ZipFileExtensions;ExtractToDirectory;(System.IO.Compression.ZipArchive,System.String,System.Boolean);generated",
1586215854
"System.IO.Compression;ZipFileExtensions;ExtractToFile;(System.IO.Compression.ZipArchiveEntry,System.String);generated",
@@ -16037,11 +16029,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1603716029
"System.IO.IsolatedStorage;IsolatedStorageFileStream;get_Position;();generated",
1603816030
"System.IO.IsolatedStorage;IsolatedStorageFileStream;get_SafeFileHandle;();generated",
1603916031
"System.IO.IsolatedStorage;IsolatedStorageFileStream;set_Position;(System.Int64);generated",
16040-
"System.IO.MemoryMappedFiles;MemoryMappedFile;CreateFromFile;(System.String);generated",
16041-
"System.IO.MemoryMappedFiles;MemoryMappedFile;CreateFromFile;(System.String,System.IO.FileMode);generated",
16042-
"System.IO.MemoryMappedFiles;MemoryMappedFile;CreateFromFile;(System.String,System.IO.FileMode,System.String);generated",
16043-
"System.IO.MemoryMappedFiles;MemoryMappedFile;CreateFromFile;(System.String,System.IO.FileMode,System.String,System.Int64);generated",
16044-
"System.IO.MemoryMappedFiles;MemoryMappedFile;CreateFromFile;(System.String,System.IO.FileMode,System.String,System.Int64,System.IO.MemoryMappedFiles.MemoryMappedFileAccess);generated",
1604516032
"System.IO.MemoryMappedFiles;MemoryMappedFile;CreateNew;(System.String,System.Int64);generated",
1604616033
"System.IO.MemoryMappedFiles;MemoryMappedFile;CreateNew;(System.String,System.Int64,System.IO.MemoryMappedFiles.MemoryMappedFileAccess);generated",
1604716034
"System.IO.MemoryMappedFiles;MemoryMappedFile;CreateNew;(System.String,System.Int64,System.IO.MemoryMappedFiles.MemoryMappedFileAccess,System.IO.MemoryMappedFiles.MemoryMappedFileOptions,System.IO.HandleInheritability);generated",
@@ -16538,9 +16525,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1653816525
"System.IO;File;AppendText;(System.String);generated",
1653916526
"System.IO;File;Copy;(System.String,System.String);generated",
1654016527
"System.IO;File;Copy;(System.String,System.String,System.Boolean);generated",
16541-
"System.IO;File;Create;(System.String);generated",
16542-
"System.IO;File;Create;(System.String,System.Int32);generated",
16543-
"System.IO;File;Create;(System.String,System.Int32,System.IO.FileOptions);generated",
1654416528
"System.IO;File;CreateText;(System.String);generated",
1654516529
"System.IO;File;Decrypt;(System.String);generated",
1654616530
"System.IO;File;Delete;(System.String);generated",
@@ -16555,21 +16539,13 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1655516539
"System.IO;File;GetLastWriteTimeUtc;(System.String);generated",
1655616540
"System.IO;File;Move;(System.String,System.String);generated",
1655716541
"System.IO;File;Move;(System.String,System.String,System.Boolean);generated",
16558-
"System.IO;File;Open;(System.String,System.IO.FileMode);generated",
16559-
"System.IO;File;Open;(System.String,System.IO.FileMode,System.IO.FileAccess);generated",
16560-
"System.IO;File;Open;(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare);generated",
1656116542
"System.IO;File;Open;(System.String,System.IO.FileStreamOptions);generated",
16562-
"System.IO;File;OpenRead;(System.String);generated",
16563-
"System.IO;File;OpenText;(System.String);generated",
16564-
"System.IO;File;OpenWrite;(System.String);generated",
1656516543
"System.IO;File;ReadAllBytes;(System.String);generated",
1656616544
"System.IO;File;ReadAllBytesAsync;(System.String,System.Threading.CancellationToken);generated",
1656716545
"System.IO;File;ReadAllLines;(System.String);generated",
1656816546
"System.IO;File;ReadAllLines;(System.String,System.Text.Encoding);generated",
1656916547
"System.IO;File;ReadAllLinesAsync;(System.String,System.Text.Encoding,System.Threading.CancellationToken);generated",
1657016548
"System.IO;File;ReadAllLinesAsync;(System.String,System.Threading.CancellationToken);generated",
16571-
"System.IO;File;ReadAllText;(System.String);generated",
16572-
"System.IO;File;ReadAllText;(System.String,System.Text.Encoding);generated",
1657316549
"System.IO;File;ReadAllTextAsync;(System.String,System.Text.Encoding,System.Threading.CancellationToken);generated",
1657416550
"System.IO;File;ReadAllTextAsync;(System.String,System.Threading.CancellationToken);generated",
1657516551
"System.IO;File;Replace;(System.String,System.String,System.String);generated",
@@ -16592,16 +16568,11 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1659216568
"System.IO;FileFormatException;FileFormatException;();generated",
1659316569
"System.IO;FileFormatException;FileFormatException;(System.String);generated",
1659416570
"System.IO;FileFormatException;FileFormatException;(System.String,System.Exception);generated",
16595-
"System.IO;FileInfo;AppendText;();generated", "System.IO;FileInfo;Create;();generated",
16596-
"System.IO;FileInfo;CreateText;();generated", "System.IO;FileInfo;Decrypt;();generated",
16597-
"System.IO;FileInfo;Delete;();generated", "System.IO;FileInfo;Encrypt;();generated",
16571+
"System.IO;FileInfo;AppendText;();generated", "System.IO;FileInfo;CreateText;();generated",
16572+
"System.IO;FileInfo;Decrypt;();generated", "System.IO;FileInfo;Delete;();generated",
16573+
"System.IO;FileInfo;Encrypt;();generated",
1659816574
"System.IO;FileInfo;FileInfo;(System.String);generated",
16599-
"System.IO;FileInfo;Open;(System.IO.FileMode);generated",
16600-
"System.IO;FileInfo;Open;(System.IO.FileMode,System.IO.FileAccess);generated",
16601-
"System.IO;FileInfo;Open;(System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare);generated",
1660216575
"System.IO;FileInfo;Open;(System.IO.FileStreamOptions);generated",
16603-
"System.IO;FileInfo;OpenRead;();generated", "System.IO;FileInfo;OpenText;();generated",
16604-
"System.IO;FileInfo;OpenWrite;();generated",
1660516576
"System.IO;FileInfo;Replace;(System.String,System.String);generated",
1660616577
"System.IO;FileInfo;Replace;(System.String,System.String,System.Boolean);generated",
1660716578
"System.IO;FileInfo;get_Exists;();generated",
@@ -16636,12 +16607,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1663616607
"System.IO;FileStream;FileStream;(System.IntPtr,System.IO.FileAccess,System.Boolean);generated",
1663716608
"System.IO;FileStream;FileStream;(System.IntPtr,System.IO.FileAccess,System.Boolean,System.Int32);generated",
1663816609
"System.IO;FileStream;FileStream;(System.IntPtr,System.IO.FileAccess,System.Boolean,System.Int32,System.Boolean);generated",
16639-
"System.IO;FileStream;FileStream;(System.String,System.IO.FileMode);generated",
16640-
"System.IO;FileStream;FileStream;(System.String,System.IO.FileMode,System.IO.FileAccess);generated",
16641-
"System.IO;FileStream;FileStream;(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare);generated",
16642-
"System.IO;FileStream;FileStream;(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare,System.Int32);generated",
16643-
"System.IO;FileStream;FileStream;(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare,System.Int32,System.Boolean);generated",
16644-
"System.IO;FileStream;FileStream;(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare,System.Int32,System.IO.FileOptions);generated",
1664516610
"System.IO;FileStream;FileStream;(System.String,System.IO.FileStreamOptions);generated",
1664616611
"System.IO;FileStream;Flush;();generated",
1664716612
"System.IO;FileStream;Flush;(System.Boolean);generated",
@@ -16822,18 +16787,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1682216787
"System.IO;StreamReader;DiscardBufferedData;();generated",
1682316788
"System.IO;StreamReader;Dispose;(System.Boolean);generated",
1682416789
"System.IO;StreamReader;Peek;();generated",
16825-
"System.IO;StreamReader;StreamReader;(System.IO.Stream);generated",
16826-
"System.IO;StreamReader;StreamReader;(System.IO.Stream,System.Boolean);generated",
16827-
"System.IO;StreamReader;StreamReader;(System.IO.Stream,System.Text.Encoding);generated",
16828-
"System.IO;StreamReader;StreamReader;(System.IO.Stream,System.Text.Encoding,System.Boolean);generated",
16829-
"System.IO;StreamReader;StreamReader;(System.IO.Stream,System.Text.Encoding,System.Boolean,System.Int32);generated",
16830-
"System.IO;StreamReader;StreamReader;(System.String);generated",
16831-
"System.IO;StreamReader;StreamReader;(System.String,System.Boolean);generated",
16832-
"System.IO;StreamReader;StreamReader;(System.String,System.IO.FileStreamOptions);generated",
16833-
"System.IO;StreamReader;StreamReader;(System.String,System.Text.Encoding);generated",
16834-
"System.IO;StreamReader;StreamReader;(System.String,System.Text.Encoding,System.Boolean);generated",
16835-
"System.IO;StreamReader;StreamReader;(System.String,System.Text.Encoding,System.Boolean,System.IO.FileStreamOptions);generated",
16836-
"System.IO;StreamReader;StreamReader;(System.String,System.Text.Encoding,System.Boolean,System.Int32);generated",
1683716790
"System.IO;StreamReader;get_EndOfStream;();generated",
1683816791
"System.IO;StreamWriter;Close;();generated",
1683916792
"System.IO;StreamWriter;Dispose;(System.Boolean);generated",
@@ -18608,8 +18561,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
1860818561
"System.Net.Mail;AlternateViewCollection;ClearItems;();generated",
1860918562
"System.Net.Mail;AlternateViewCollection;Dispose;();generated",
1861018563
"System.Net.Mail;AlternateViewCollection;RemoveItem;(System.Int32);generated",
18611-
"System.Net.Mail;AttachmentBase;AttachmentBase;(System.String);generated",
18612-
"System.Net.Mail;AttachmentBase;AttachmentBase;(System.String,System.String);generated",
1861318564
"System.Net.Mail;AttachmentBase;Dispose;();generated",
1861418565
"System.Net.Mail;AttachmentBase;Dispose;(System.Boolean);generated",
1861518566
"System.Net.Mail;AttachmentBase;get_ContentType;();generated",
@@ -23467,7 +23418,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
2346723418
"System.Resources.Extensions;PreserializedResourceWriter;Close;();generated",
2346823419
"System.Resources.Extensions;PreserializedResourceWriter;Dispose;();generated",
2346923420
"System.Resources.Extensions;PreserializedResourceWriter;Generate;();generated",
23470-
"System.Resources.Extensions;PreserializedResourceWriter;PreserializedResourceWriter;(System.String);generated",
2347123421
"System.Resources;IResourceReader;Close;();generated",
2347223422
"System.Resources;IResourceReader;GetEnumerator;();generated",
2347323423
"System.Resources;IResourceWriter;AddResource;(System.String,System.Byte[]);generated",
@@ -23528,7 +23478,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
2352823478
"System.Resources;ResourceWriter;Close;();generated",
2352923479
"System.Resources;ResourceWriter;Dispose;();generated",
2353023480
"System.Resources;ResourceWriter;Generate;();generated",
23531-
"System.Resources;ResourceWriter;ResourceWriter;(System.String);generated",
2353223481
"System.Resources;ResourceWriter;get_TypeNameConverter;();generated",
2353323482
"System.Resources;SatelliteContractVersionAttribute;SatelliteContractVersionAttribute;(System.String);generated",
2353423483
"System.Resources;SatelliteContractVersionAttribute;get_Version;();generated",
@@ -36600,7 +36549,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
3660036549
"System.Xml.Resolvers;XmlPreloadedResolver;Add;(System.Uri,System.Byte[],System.Int32,System.Int32);generated",
3660136550
"System.Xml.Resolvers;XmlPreloadedResolver;Add;(System.Uri,System.IO.Stream);generated",
3660236551
"System.Xml.Resolvers;XmlPreloadedResolver;Add;(System.Uri,System.String);generated",
36603-
"System.Xml.Resolvers;XmlPreloadedResolver;GetEntity;(System.Uri,System.String,System.Type);generated",
3660436552
"System.Xml.Resolvers;XmlPreloadedResolver;GetEntityAsync;(System.Uri,System.String,System.Type);generated",
3660536553
"System.Xml.Resolvers;XmlPreloadedResolver;Remove;(System.Uri);generated",
3660636554
"System.Xml.Resolvers;XmlPreloadedResolver;SupportsType;(System.Uri,System.Type);generated",
@@ -38050,7 +37998,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
3805037998
"System.Xml;XmlResolver;GetEntityAsync;(System.Uri,System.String,System.Type);generated",
3805137999
"System.Xml;XmlResolver;SupportsType;(System.Uri,System.Type);generated",
3805238000
"System.Xml;XmlResolver;set_Credentials;(System.Net.ICredentials);generated",
38053-
"System.Xml;XmlSecureResolver;GetEntity;(System.Uri,System.String,System.Type);generated",
3805438001
"System.Xml;XmlSecureResolver;GetEntityAsync;(System.Uri,System.String,System.Type);generated",
3805538002
"System.Xml;XmlSignificantWhitespace;WriteContentTo;(System.Xml.XmlWriter);generated",
3805638003
"System.Xml;XmlSignificantWhitespace;XmlSignificantWhitespace;(System.String,System.Xml.XmlDocument);generated",
@@ -38162,7 +38109,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
3816238109
"System.Xml;XmlTextWriter;set_Indentation;(System.Int32);generated",
3816338110
"System.Xml;XmlTextWriter;set_Namespaces;(System.Boolean);generated",
3816438111
"System.Xml;XmlTextWriter;set_QuoteChar;(System.Char);generated",
38165-
"System.Xml;XmlUrlResolver;GetEntity;(System.Uri,System.String,System.Type);generated",
3816638112
"System.Xml;XmlUrlResolver;GetEntityAsync;(System.Uri,System.String,System.Type);generated",
3816738113
"System.Xml;XmlUrlResolver;XmlUrlResolver;();generated",
3816838114
"System.Xml;XmlUrlResolver;set_CachePolicy;(System.Net.Cache.RequestCachePolicy);generated",
@@ -38222,7 +38168,6 @@ private class RuntimeNegativesummaryCsv extends NegativeSummaryModelCsv {
3822238168
"System.Xml;XmlWhitespace;WriteContentTo;(System.Xml.XmlWriter);generated",
3822338169
"System.Xml;XmlWhitespace;XmlWhitespace;(System.String,System.Xml.XmlDocument);generated",
3822438170
"System.Xml;XmlWriter;Close;();generated",
38225-
"System.Xml;XmlWriter;Create;(System.String);generated",
3822638171
"System.Xml;XmlWriter;Create;(System.Text.StringBuilder);generated",
3822738172
"System.Xml;XmlWriter;Dispose;();generated",
3822838173
"System.Xml;XmlWriter;Dispose;(System.Boolean);generated",

0 commit comments

Comments
 (0)