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

C#: Update flow summaries expected file.

Browse Source
This commit is contained in:
Michael Nebel
2025-01-27 16:47:24 +01:00
parent 2cd2d3fe1a
commit 79fc735c93
2 changed files with 103 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

62
csharp/ql/test/library-tests/dataflow/library/FlowSummaries.expected
View File

@@ -4996,6 +4996,7 @@ summary
| ServiceStack.Text;RecyclableMemoryStream;Read;(System.Span<System.Byte>);Argument[this];Argument[0].Element;taint;manual |
| ServiceStack.Text;RecyclableMemoryStream;TryGetBuffer;(System.ArraySegment<System.Byte>);Argument[this];ReturnValue;taint;df-generated |
| ServiceStack.Text;RecyclableMemoryStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| ServiceStack.Text;RecyclableMemoryStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| ServiceStack.Text;RecyclableMemoryStream;WriteTo;(System.IO.Stream);Argument[this];Argument[0];taint;df-generated |
| ServiceStack.Text;RecyclableMemoryStreamManager+EventHandler;BeginInvoke;(System.AsyncCallback,System.Object);Argument[0];Argument[0].Parameter[delegate-self];value;hq-generated |
| ServiceStack.Text;RecyclableMemoryStreamManager+LargeBufferDiscardedEventHandler;BeginInvoke;(ServiceStack.Text.RecyclableMemoryStreamManager+Events+MemoryStreamDiscardReason,System.AsyncCallback,System.Object);Argument[1];Argument[1].Parameter[delegate-self];value;hq-generated |
@@ -11184,6 +11185,7 @@ summary
| System.IO.Compression;BrotliStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Compression;BrotliStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Compression;BrotliStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;BrotliStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;BrotliStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;BrotliStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO.Compression;BrotliStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -11206,6 +11208,7 @@ summary
| System.IO.Compression;DeflateStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Compression;DeflateStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Compression;DeflateStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;DeflateStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;DeflateStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;DeflateStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO.Compression;DeflateStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -11226,6 +11229,7 @@ summary
| System.IO.Compression;GZipStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Compression;GZipStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Compression;GZipStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;GZipStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;GZipStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;GZipStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO.Compression;GZipStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -11244,6 +11248,7 @@ summary
| System.IO.Compression;ZLibStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Compression;ZLibStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Compression;ZLibStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;ZLibStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;ZLibStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Compression;ZLibStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO.Compression;ZLibStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -11296,6 +11301,7 @@ summary
| System.IO.IsolatedStorage;IsolatedStorageFileStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.IsolatedStorage;IsolatedStorageFileStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.IsolatedStorage;IsolatedStorageFileStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO.IsolatedStorage;IsolatedStorageFileStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO.IsolatedStorage;IsolatedStorageFileStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO.IsolatedStorage;IsolatedStorageFileStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO.IsolatedStorage;IsolatedStorageFileStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -11347,6 +11353,7 @@ summary
| System.IO.Pipes;PipeStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Pipes;PipeStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO.Pipes;PipeStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Pipes;PipeStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Pipes;PipeStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO.Pipes;PipeStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO.Pipes;PipeStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -11378,6 +11385,7 @@ summary
| System.IO;BufferedStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO;BufferedStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO;BufferedStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO;BufferedStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO;BufferedStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO;BufferedStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO;BufferedStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -11498,6 +11506,7 @@ summary
| System.IO;FileStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO;FileStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.IO;FileStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO;FileStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO;FileStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO;FileStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO;FileStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -11554,12 +11563,14 @@ summary
| System.IO;MemoryStream;ToArray;();Argument[this];ReturnValue;taint;manual |
| System.IO;MemoryStream;TryGetBuffer;(System.ArraySegment<System.Byte>);Argument[this];ReturnValue;taint;df-generated |
| System.IO;MemoryStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO;MemoryStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO;MemoryStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO;MemoryStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO;MemoryStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
| System.IO;MemoryStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[this];ReturnValue;taint;df-generated |
| System.IO;MemoryStream;WriteTo;(System.IO.Stream);Argument[this];Argument[0];taint;df-generated |
| System.IO;Path;ChangeExtension;(System.String,System.String);Argument[0];ReturnValue;value;dfc-generated |
| System.IO;Path;Combine;(System.ReadOnlySpan<System.String>);Argument[0].Element;ReturnValue;taint;manual |
| System.IO;Path;Combine;(System.String,System.String);Argument[0];ReturnValue;taint;manual |
| System.IO;Path;Combine;(System.String,System.String);Argument[1];ReturnValue;taint;manual |
| System.IO;Path;Combine;(System.String,System.String,System.String);Argument[0];ReturnValue;taint;manual |
@@ -11648,6 +11659,7 @@ summary
| System.IO;Stream;ReadExactly;(System.Span<System.Byte>);Argument[this];Argument[0].Element;taint;manual |
| System.IO;Stream;Synchronized;(System.IO.Stream);Argument[0];ReturnValue;value;dfc-generated |
| System.IO;Stream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO;Stream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO;Stream;WriteAsync;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO;Stream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO;Stream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
@@ -11869,6 +11881,7 @@ summary
| System.IO;UnmanagedMemoryStream;UnmanagedMemoryStream;(System.Runtime.InteropServices.SafeBuffer,System.Int64,System.Int64);Argument[0];Argument[this];taint;df-generated |
| System.IO;UnmanagedMemoryStream;UnmanagedMemoryStream;(System.Runtime.InteropServices.SafeBuffer,System.Int64,System.Int64,System.IO.FileAccess);Argument[0];Argument[this];taint;df-generated |
| System.IO;UnmanagedMemoryStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO;UnmanagedMemoryStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO;UnmanagedMemoryStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO;UnmanagedMemoryStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.IO;UnmanagedMemoryStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -14033,6 +14046,7 @@ summary
| System.Net.Quic;QuicStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.Net.Quic;QuicStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.Net.Quic;QuicStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.Net.Quic;QuicStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.Net.Quic;QuicStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.Net.Quic;QuicStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Net.Quic;QuicStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -14144,6 +14158,7 @@ summary
| System.Net.Sockets;NetworkStream;ReadAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.Net.Sockets;NetworkStream;ReadAsync;(System.Memory<System.Byte>,System.Threading.CancellationToken);Argument[this];Argument[0].Element;taint;manual |
| System.Net.Sockets;NetworkStream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.Net.Sockets;NetworkStream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.Net.Sockets;NetworkStream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.Net.Sockets;NetworkStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Net.Sockets;NetworkStream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[1];ReturnValue;taint;df-generated |
@@ -17309,8 +17324,15 @@ summary
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.Object[]);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.Object[]);Argument[2].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[2].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[2].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[2].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object);Argument[this];ReturnValue;value;manual |
@@ -17326,16 +17348,29 @@ summary
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object[]);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.ReadOnlySpan<System.Object>);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.ReadOnlySpan<System.Object>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat<TArg0,TArg1,TArg2>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0,TArg1,TArg2);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendFormat<TArg0,TArg1>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0,TArg1);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendFormat<TArg0>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.Object[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.ReadOnlySpan<System.Object>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.ReadOnlySpan<System.String>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.ReadOnlySpan<System.String>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.String[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.String[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.Object[]);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.Object[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.Object>);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.Object>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.String>);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.String>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.String>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.String[]);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.String[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.String[]);Argument[this];ReturnValue;value;manual |
@@ -17752,12 +17787,14 @@ summary
| System.Threading.Tasks;Task;WaitAsync;(System.TimeSpan,System.TimeProvider,System.Threading.CancellationToken);Argument[2];ReturnValue;taint;df-generated |
| System.Threading.Tasks;Task;WaitAsync;(System.TimeSpan,System.TimeProvider,System.Threading.CancellationToken);Argument[this];ReturnValue;taint;df-generated |
| System.Threading.Tasks;Task;WhenAll<TResult>;(System.Collections.Generic.IEnumerable<System.Threading.Tasks.Task<TResult>>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAll<TResult>;(System.ReadOnlySpan<System.Threading.Tasks.Task<TResult>>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAll<TResult>;(System.Threading.Tasks.Task<TResult>[]);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny;(System.Collections.Generic.IEnumerable<System.Threading.Tasks.Task>);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Threading.Tasks;Task;WhenAny;(System.Threading.Tasks.Task,System.Threading.Tasks.Task);Argument[0];ReturnValue.Property[System.Threading.Tasks.Task`1.Result];value;dfc-generated |
| System.Threading.Tasks;Task;WhenAny;(System.Threading.Tasks.Task,System.Threading.Tasks.Task);Argument[1];ReturnValue.Property[System.Threading.Tasks.Task`1.Result];value;dfc-generated |
| System.Threading.Tasks;Task;WhenAny;(System.Threading.Tasks.Task[]);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.Collections.Generic.IEnumerable<System.Threading.Tasks.Task<TResult>>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.ReadOnlySpan<System.Threading.Tasks.Task<TResult>>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.Threading.Tasks.Task<TResult>,System.Threading.Tasks.Task<TResult>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.Threading.Tasks.Task<TResult>,System.Threading.Tasks.Task<TResult>);Argument[1].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.Threading.Tasks.Task<TResult>[]);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
@@ -21465,6 +21502,8 @@ summary
| System;String;Concat;(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>);Argument[3].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.ReadOnlySpan<System.Object>);Argument[0].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.ReadOnlySpan<System.String>);Argument[0].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.String,System.String);Argument[0];ReturnValue;taint;manual |
| System;String;Concat;(System.String,System.String);Argument[1];ReturnValue;taint;manual |
| System;String;Concat;(System.String,System.String,System.String);Argument[0];ReturnValue;taint;manual |
@@ -21495,8 +21534,12 @@ summary
| System;String;Format;(System.IFormatProvider,System.String,System.Object,System.Object,System.Object);Argument[4];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.String,System.Object[]);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.String,System.Object[]);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
| System;String;Format;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object);Argument[0];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object,System.Object);Argument[0];ReturnValue;taint;manual |
@@ -21508,6 +21551,8 @@ summary
| System;String;Format;(System.String,System.Object,System.Object,System.Object);Argument[3];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object[]);Argument[0];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Format;(System.String,System.ReadOnlySpan<System.Object>);Argument[0];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.ReadOnlySpan<System.Object>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Format<TArg0,TArg1,TArg2>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0,TArg1,TArg2);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
| System;String;Format<TArg0,TArg1>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0,TArg1);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
| System;String;Format<TArg0>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
@@ -21518,6 +21563,10 @@ summary
| System;String;Insert;(System.Int32,System.String);Argument[this];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.Object[]);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.Object[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.ReadOnlySpan<System.Object>);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.ReadOnlySpan<System.Object>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.ReadOnlySpan<System.String>);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.ReadOnlySpan<System.String>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.String[]);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.String[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.String[],System.Int32,System.Int32);Argument[0];ReturnValue;taint;manual |
@@ -21526,6 +21575,10 @@ summary
| System;String;Join;(System.String,System.Collections.Generic.IEnumerable<System.String>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.Object[]);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.String,System.Object[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.ReadOnlySpan<System.Object>);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.String,System.ReadOnlySpan<System.Object>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.ReadOnlySpan<System.String>);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.String,System.ReadOnlySpan<System.String>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.String[]);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.String,System.String[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.String[],System.Int32,System.Int32);Argument[0];ReturnValue;taint;manual |
@@ -21558,6 +21611,7 @@ summary
| System;String;Split;(System.Char[],System.Int32);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.Char[],System.Int32,System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.Char[],System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.ReadOnlySpan<System.Char>);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.String,System.Int32,System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.String,System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.String[],System.Int32,System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |

49
csharp/ql/test/library-tests/dataflow/library/FlowSummariesFiltered.expected
View File

@@ -8453,6 +8453,7 @@
| System.IO;MemoryStream;TryGetBuffer;(System.ArraySegment<System.Byte>);Argument[this];ReturnValue;taint;df-generated |
| System.IO;MemoryStream;WriteTo;(System.IO.Stream);Argument[this];Argument[0];taint;df-generated |
| System.IO;Path;ChangeExtension;(System.String,System.String);Argument[0];ReturnValue;value;dfc-generated |
| System.IO;Path;Combine;(System.ReadOnlySpan<System.String>);Argument[0].Element;ReturnValue;taint;manual |
| System.IO;Path;Combine;(System.String,System.String);Argument[0];ReturnValue;taint;manual |
| System.IO;Path;Combine;(System.String,System.String);Argument[1];ReturnValue;taint;manual |
| System.IO;Path;Combine;(System.String,System.String,System.String);Argument[0];ReturnValue;taint;manual |
@@ -8540,6 +8541,7 @@
| System.IO;Stream;ReadExactly;(System.Span<System.Byte>);Argument[this];Argument[0].Element;taint;manual |
| System.IO;Stream;Synchronized;(System.IO.Stream);Argument[0];ReturnValue;value;dfc-generated |
| System.IO;Stream;Write;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO;Stream;Write;(System.ReadOnlySpan<System.Byte>);Argument[0].Element;Argument[this];taint;manual |
| System.IO;Stream;WriteAsync;(System.Byte[],System.Int32,System.Int32);Argument[0].Element;Argument[this];taint;manual |
| System.IO;Stream;WriteAsync;(System.Byte[],System.Int32,System.Int32,System.Threading.CancellationToken);Argument[0].Element;Argument[this];taint;manual |
| System.IO;Stream;WriteAsync;(System.ReadOnlyMemory<System.Byte>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
@@ -12966,8 +12968,15 @@
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.Object[]);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.Object[]);Argument[2].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[2].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[2].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[2].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object);Argument[1];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object);Argument[this];ReturnValue;value;manual |
@@ -12983,16 +12992,29 @@
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object[]);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.ReadOnlySpan<System.Object>);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.ReadOnlySpan<System.Object>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendFormat;(System.String,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendFormat<TArg0,TArg1,TArg2>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0,TArg1,TArg2);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendFormat<TArg0,TArg1>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0,TArg1);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendFormat<TArg0>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0);Argument[this];ReturnValue;value;dfc-generated |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.Object[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.ReadOnlySpan<System.Object>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.ReadOnlySpan<System.String>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.ReadOnlySpan<System.String>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.String[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.Char,System.String[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.Object[]);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.Object[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.Object[]);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.Object>);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.Object>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.Object>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.String>);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.String>);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.ReadOnlySpan<System.String>);Argument[this];ReturnValue;value;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.String[]);Argument[0];Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.String[]);Argument[1].Element;Argument[this];taint;manual |
| System.Text;StringBuilder;AppendJoin;(System.String,System.String[]);Argument[this];ReturnValue;value;manual |
@@ -13330,12 +13352,14 @@
| System.Threading.Tasks;Task;WaitAsync;(System.TimeSpan,System.TimeProvider,System.Threading.CancellationToken);Argument[2];ReturnValue;taint;df-generated |
| System.Threading.Tasks;Task;WaitAsync;(System.TimeSpan,System.TimeProvider,System.Threading.CancellationToken);Argument[this];ReturnValue;taint;df-generated |
| System.Threading.Tasks;Task;WhenAll<TResult>;(System.Collections.Generic.IEnumerable<System.Threading.Tasks.Task<TResult>>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAll<TResult>;(System.ReadOnlySpan<System.Threading.Tasks.Task<TResult>>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAll<TResult>;(System.Threading.Tasks.Task<TResult>[]);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny;(System.Collections.Generic.IEnumerable<System.Threading.Tasks.Task>);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Threading.Tasks;Task;WhenAny;(System.Threading.Tasks.Task,System.Threading.Tasks.Task);Argument[0];ReturnValue.Property[System.Threading.Tasks.Task`1.Result];value;dfc-generated |
| System.Threading.Tasks;Task;WhenAny;(System.Threading.Tasks.Task,System.Threading.Tasks.Task);Argument[1];ReturnValue.Property[System.Threading.Tasks.Task`1.Result];value;dfc-generated |
| System.Threading.Tasks;Task;WhenAny;(System.Threading.Tasks.Task[]);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.Collections.Generic.IEnumerable<System.Threading.Tasks.Task<TResult>>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.ReadOnlySpan<System.Threading.Tasks.Task<TResult>>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.Threading.Tasks.Task<TResult>,System.Threading.Tasks.Task<TResult>);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.Threading.Tasks.Task<TResult>,System.Threading.Tasks.Task<TResult>);Argument[1].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
| System.Threading.Tasks;Task;WhenAny<TResult>;(System.Threading.Tasks.Task<TResult>[]);Argument[0].Element.Property[System.Threading.Tasks.Task`1.Result];ReturnValue.Property[System.Threading.Tasks.Task`1.Result].Element;value;manual |
@@ -16325,6 +16349,8 @@
| System;String;Concat;(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>,System.ReadOnlySpan<System.Char>);Argument[3].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.ReadOnlySpan<System.Object>);Argument[0].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.ReadOnlySpan<System.String>);Argument[0].Element;ReturnValue;taint;manual |
| System;String;Concat;(System.String,System.String);Argument[0];ReturnValue;taint;manual |
| System;String;Concat;(System.String,System.String);Argument[1];ReturnValue;taint;manual |
| System;String;Concat;(System.String,System.String,System.String);Argument[0];ReturnValue;taint;manual |
@@ -16355,8 +16381,12 @@
| System;String;Format;(System.IFormatProvider,System.String,System.Object,System.Object,System.Object);Argument[4];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.String,System.Object[]);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.String,System.Object[]);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
| System;String;Format;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.String,System.ReadOnlySpan<System.Object>);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.Object[]);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.IFormatProvider,System.Text.CompositeFormat,System.ReadOnlySpan<System.Object>);Argument[2].Element;ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object);Argument[0];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object);Argument[1];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object,System.Object);Argument[0];ReturnValue;taint;manual |
@@ -16368,6 +16398,8 @@
| System;String;Format;(System.String,System.Object,System.Object,System.Object);Argument[3];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object[]);Argument[0];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.Object[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Format;(System.String,System.ReadOnlySpan<System.Object>);Argument[0];ReturnValue;taint;manual |
| System;String;Format;(System.String,System.ReadOnlySpan<System.Object>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Format<TArg0,TArg1,TArg2>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0,TArg1,TArg2);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
| System;String;Format<TArg0,TArg1>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0,TArg1);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
| System;String;Format<TArg0>;(System.IFormatProvider,System.Text.CompositeFormat,TArg0);Argument[1].Property[System.Text.CompositeFormat.Format];ReturnValue;value;dfc-generated |
@@ -16377,6 +16409,10 @@
| System;String;Insert;(System.Int32,System.String);Argument[this];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.Object[]);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.Object[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.ReadOnlySpan<System.Object>);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.ReadOnlySpan<System.Object>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.ReadOnlySpan<System.String>);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.ReadOnlySpan<System.String>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.String[]);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.String[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.Char,System.String[],System.Int32,System.Int32);Argument[0];ReturnValue;taint;manual |
@@ -16385,6 +16421,10 @@
| System;String;Join;(System.String,System.Collections.Generic.IEnumerable<System.String>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.Object[]);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.String,System.Object[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.ReadOnlySpan<System.Object>);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.String,System.ReadOnlySpan<System.Object>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.ReadOnlySpan<System.String>);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.String,System.ReadOnlySpan<System.String>);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.String[]);Argument[0];ReturnValue;taint;manual |
| System;String;Join;(System.String,System.String[]);Argument[1].Element;ReturnValue;taint;manual |
| System;String;Join;(System.String,System.String[],System.Int32,System.Int32);Argument[0];ReturnValue;taint;manual |
@@ -16417,6 +16457,7 @@
| System;String;Split;(System.Char[],System.Int32);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.Char[],System.Int32,System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.Char[],System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.ReadOnlySpan<System.Char>);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.String,System.Int32,System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.String,System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |
| System;String;Split;(System.String[],System.Int32,System.StringSplitOptions);Argument[this];ReturnValue.Element;taint;manual |