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

C#: Update test expected output.

Browse Source
This commit is contained in:
Michael Nebel
2024-08-14 11:46:44 +02:00
parent 4b0427c732
commit d5f8adbfee
5 changed files with 29 additions and 35 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -90,6 +90,7 @@ source
| Dapper;SqlMapper;QuerySingleOrDefaultAsync;(System.Data.IDbConnection,System.Type,System.String,System.Object,System.Data.IDbTransaction,System.Nullable<System.Int32>,System.Nullable<System.Data.CommandType>);ReturnValue;database;manual |
| Dapper;SqlMapper;QuerySingleOrDefaultAsync<T>;(System.Data.IDbConnection,Dapper.CommandDefinition);ReturnValue;database;manual |
| Dapper;SqlMapper;QuerySingleOrDefaultAsync<T>;(System.Data.IDbConnection,System.String,System.Object,System.Data.IDbTransaction,System.Nullable<System.Int32>,System.Nullable<System.Data.CommandType>);ReturnValue;database;manual |
| Microsoft.Extensions.Configuration.UserSecrets;PathHelper;GetSecretsPathFromSecretsId;(System.String);ReturnValue;environment;df-generated |
| Microsoft.Extensions.Configuration;EnvironmentVariablesExtensions;AddEnvironmentVariables;(Microsoft.Extensions.Configuration.IConfigurationBuilder);Argument[0];environment;manual |
| Microsoft.Extensions.Configuration;EnvironmentVariablesExtensions;AddEnvironmentVariables;(Microsoft.Extensions.Configuration.IConfigurationBuilder);ReturnValue;environment;manual |
| Microsoft.Extensions.Configuration;EnvironmentVariablesExtensions;AddEnvironmentVariables;(Microsoft.Extensions.Configuration.IConfigurationBuilder,System.Action<Microsoft.Extensions.Configuration.EnvironmentVariables.EnvironmentVariablesConfigurationSource>);Argument[0];environment;manual |
@@ -174,6 +175,7 @@ source
| System.IO;FileStream;FileStream;(System.String,System.IO.FileMode,System.IO.FileAccess,System.IO.FileShare,System.Int32,System.IO.FileOptions);Argument[this];file;manual |
| System.IO;FileStream;FileStream;(System.String,System.IO.FileStreamOptions);Argument[this];file-write;manual |
| System.IO;FileStream;FileStream;(System.String,System.IO.FileStreamOptions);Argument[this];file;manual |
| System.IO;Path;GetTempPath;();ReturnValue;environment;df-generated |
| System.IO;StreamWriter;StreamWriter;(System.String);Argument[this];file-write;manual |
| System.IO;StreamWriter;StreamWriter;(System.String,System.Boolean);Argument[this];file-write;manual |
| System.IO;StreamWriter;StreamWriter;(System.String,System.Boolean,System.Text.Encoding);Argument[this];file-write;manual |
@@ -191,6 +193,8 @@ source
| System;Environment;GetEnvironmentVariable;(System.String,System.EnvironmentVariableTarget);ReturnValue;environment;manual |
| System;Environment;GetEnvironmentVariables;();ReturnValue;environment;manual |
| System;Environment;GetEnvironmentVariables;(System.EnvironmentVariableTarget);ReturnValue;environment;manual |
| System;Environment;GetFolderPath;(System.Environment+SpecialFolder);ReturnValue;environment;df-generated |
| System;Environment;GetFolderPath;(System.Environment+SpecialFolder,System.Environment+SpecialFolderOption);ReturnValue;environment;df-generated |
| System;Environment;get_CommandLine;();ReturnValue;commandargs;manual |
sink
| Dapper;SqlMapper;Execute;(System.Data.IDbConnection,System.String,System.Object,System.Data.IDbTransaction,System.Nullable<System.Int32>,System.Nullable<System.Data.CommandType>);Argument[1];sql-injection;manual |
@@ -652,14 +656,10 @@ sink
| System.Data.SqlClient;SqlDataAdapter;SqlDataAdapter;(System.Data.SqlClient.SqlCommand);Argument[0];sql-injection;manual |
| System.Data.SqlClient;SqlDataAdapter;SqlDataAdapter;(System.String,System.Data.SqlClient.SqlConnection);Argument[0];sql-injection;manual |
| System.Data.SqlClient;SqlDataAdapter;SqlDataAdapter;(System.String,System.String);Argument[0];sql-injection;manual |
| System.Net.Http;StringContent;StringContent;(System.String);Argument[0];js-injection;df-generated |
| System.Net.Http;StringContent;StringContent;(System.String);Argument[0];js-injection;manual |
| System.Net.Http;StringContent;StringContent;(System.String,System.Net.Http.Headers.MediaTypeHeaderValue);Argument[0];js-injection;df-generated |
| System.Net.Http;StringContent;StringContent;(System.String,System.Net.Http.Headers.MediaTypeHeaderValue);Argument[0];js-injection;manual |
| System.Net.Http;StringContent;StringContent;(System.String,System.Text.Encoding);Argument[0];js-injection;df-generated |
| System.Net.Http;StringContent;StringContent;(System.String,System.Text.Encoding);Argument[0];js-injection;manual |
| System.Net.Http;StringContent;StringContent;(System.String,System.Text.Encoding,System.Net.Http.Headers.MediaTypeHeaderValue);Argument[0];js-injection;manual |
| System.Net.Http;StringContent;StringContent;(System.String,System.Text.Encoding,System.String);Argument[0];js-injection;df-generated |
| System.Net.Http;StringContent;StringContent;(System.String,System.Text.Encoding,System.String);Argument[0];js-injection;manual |
| System.Security.Cryptography.Xml;EncryptedXml;DecryptData;(System.Security.Cryptography.Xml.EncryptedData,System.Security.Cryptography.SymmetricAlgorithm);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography.Xml;EncryptedXml;DecryptData;(System.Security.Cryptography.Xml.EncryptedData,System.Security.Cryptography.SymmetricAlgorithm);Argument[0];encryption-keyprop;df-generated |
@@ -673,64 +673,46 @@ sink
| System.Security.Cryptography.Xml;EncryptedXml;GetDecryptionIV;(System.Security.Cryptography.Xml.EncryptedData,System.String);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography.Xml;EncryptedXml;GetDecryptionIV;(System.Security.Cryptography.Xml.EncryptedData,System.String);Argument[0];encryption-keyprop;df-generated |
| System.Security.Cryptography;AesCng;CreateDecryptor;();Argument[this];encryption-decryptor;df-generated |
| System.Security.Cryptography;AesCng;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography;AesCng;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;manual |
| System.Security.Cryptography;AesCng;CreateEncryptor;();Argument[this];encryption-encryptor;df-generated |
| System.Security.Cryptography;AesCng;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;df-generated |
| System.Security.Cryptography;AesCng;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;manual |
| System.Security.Cryptography;AesCng;set_Key;(System.Byte[]);Argument[0];encryption-keyprop;manual |
| System.Security.Cryptography;AesCryptoServiceProvider;CreateDecryptor;();Argument[this];encryption-decryptor;df-generated |
| System.Security.Cryptography;AesCryptoServiceProvider;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography;AesCryptoServiceProvider;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;manual |
| System.Security.Cryptography;AesCryptoServiceProvider;CreateEncryptor;();Argument[this];encryption-encryptor;df-generated |
| System.Security.Cryptography;AesCryptoServiceProvider;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;df-generated |
| System.Security.Cryptography;AesCryptoServiceProvider;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;manual |
| System.Security.Cryptography;AesCryptoServiceProvider;set_Key;(System.Byte[]);Argument[0];encryption-keyprop;manual |
| System.Security.Cryptography;AesManaged;CreateDecryptor;();Argument[this];encryption-decryptor;df-generated |
| System.Security.Cryptography;AesManaged;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography;AesManaged;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;manual |
| System.Security.Cryptography;AesManaged;CreateEncryptor;();Argument[this];encryption-encryptor;df-generated |
| System.Security.Cryptography;AesManaged;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;df-generated |
| System.Security.Cryptography;AesManaged;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;manual |
| System.Security.Cryptography;AesManaged;set_Key;(System.Byte[]);Argument[0];encryption-keyprop;manual |
| System.Security.Cryptography;DES;set_Key;(System.Byte[]);Argument[0];encryption-keyprop;manual |
| System.Security.Cryptography;DESCryptoServiceProvider;CreateDecryptor;();Argument[this];encryption-decryptor;df-generated |
| System.Security.Cryptography;DESCryptoServiceProvider;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography;DESCryptoServiceProvider;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;manual |
| System.Security.Cryptography;DESCryptoServiceProvider;CreateEncryptor;();Argument[this];encryption-encryptor;df-generated |
| System.Security.Cryptography;DESCryptoServiceProvider;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;df-generated |
| System.Security.Cryptography;DESCryptoServiceProvider;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;manual |
| System.Security.Cryptography;RC2CryptoServiceProvider;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography;RC2CryptoServiceProvider;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;manual |
| System.Security.Cryptography;RC2CryptoServiceProvider;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;df-generated |
| System.Security.Cryptography;RC2CryptoServiceProvider;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;manual |
| System.Security.Cryptography;RijndaelManaged;CreateDecryptor;();Argument[this];encryption-decryptor;df-generated |
| System.Security.Cryptography;RijndaelManaged;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography;RijndaelManaged;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;manual |
| System.Security.Cryptography;RijndaelManaged;CreateEncryptor;();Argument[this];encryption-encryptor;df-generated |
| System.Security.Cryptography;RijndaelManaged;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;df-generated |
| System.Security.Cryptography;RijndaelManaged;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;manual |
| System.Security.Cryptography;RijndaelManaged;set_Key;(System.Byte[]);Argument[0];encryption-keyprop;manual |
| System.Security.Cryptography;SymmetricAlgorithm;CreateDecryptor;();Argument[this];encryption-decryptor;df-generated |
| System.Security.Cryptography;SymmetricAlgorithm;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography;SymmetricAlgorithm;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;manual |
| System.Security.Cryptography;SymmetricAlgorithm;CreateEncryptor;();Argument[this];encryption-encryptor;df-generated |
| System.Security.Cryptography;SymmetricAlgorithm;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;df-generated |
| System.Security.Cryptography;SymmetricAlgorithm;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;manual |
| System.Security.Cryptography;SymmetricAlgorithm;set_Key;(System.Byte[]);Argument[0];encryption-keyprop;manual |
| System.Security.Cryptography;TripleDES;set_Key;(System.Byte[]);Argument[0];encryption-keyprop;manual |
| System.Security.Cryptography;TripleDESCng;CreateDecryptor;();Argument[this];encryption-decryptor;df-generated |
| System.Security.Cryptography;TripleDESCng;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography;TripleDESCng;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;manual |
| System.Security.Cryptography;TripleDESCng;CreateEncryptor;();Argument[this];encryption-encryptor;df-generated |
| System.Security.Cryptography;TripleDESCng;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;df-generated |
| System.Security.Cryptography;TripleDESCng;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;manual |
| System.Security.Cryptography;TripleDESCng;set_Key;(System.Byte[]);Argument[0];encryption-keyprop;manual |
| System.Security.Cryptography;TripleDESCryptoServiceProvider;CreateDecryptor;();Argument[this];encryption-decryptor;df-generated |
| System.Security.Cryptography;TripleDESCryptoServiceProvider;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;df-generated |
| System.Security.Cryptography;TripleDESCryptoServiceProvider;CreateDecryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-decryptor;manual |
| System.Security.Cryptography;TripleDESCryptoServiceProvider;CreateEncryptor;();Argument[this];encryption-encryptor;df-generated |
| System.Security.Cryptography;TripleDESCryptoServiceProvider;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;df-generated |
| System.Security.Cryptography;TripleDESCryptoServiceProvider;CreateEncryptor;(System.Byte[],System.Byte[]);Argument[0];encryption-encryptor;manual |
| System.Security.Cryptography;TripleDESCryptoServiceProvider;set_Key;(System.Byte[]);Argument[0];encryption-keyprop;manual |
| System.Web;HttpResponse;Write;(System.Object);Argument[0];html-injection;manual |
@@ -5877,6 +5859,10 @@ summary
| System.Collections.Generic;CollectionExtensions;AsReadOnly<T>;(System.Collections.Generic.IList<T>);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;AsReadOnly<TKey,TValue>;(System.Collections.Generic.IDictionary<TKey,TValue>);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;CopyTo<T>;(System.Collections.Generic.List<T>,System.Span<T>);Argument[0].Element;Argument[1];taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey);Argument[1];ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey,TValue);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey,TValue);Argument[1];ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey,TValue);Argument[2];ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;Remove<TKey,TValue>;(System.Collections.Generic.IDictionary<TKey,TValue>,TKey,TValue);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;TryAdd<TKey,TValue>;(System.Collections.Generic.IDictionary<TKey,TValue>,TKey,TValue);Argument[0].Element;Argument[2];taint;df-generated |
@@ -16833,6 +16819,9 @@ summary
| System.Threading.Tasks.Dataflow;DataflowBlock;Choose<T1,T2>;(System.Threading.Tasks.Dataflow.ISourceBlock<T1>,System.Action<T1>,System.Threading.Tasks.Dataflow.ISourceBlock<T2>,System.Action<T2>,System.Threading.Tasks.Dataflow.DataflowBlockOptions);Argument[3];Argument[3].Parameter[delegate-self];value;hq-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Encapsulate<TInput,TOutput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Encapsulate<TInput,TOutput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>);Argument[1];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>);Argument[0];Argument[1];taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>);Argument[1];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>,System.Predicate<TOutput>);Argument[2];Argument[2].Parameter[delegate-self];value;hq-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>,System.Threading.Tasks.Dataflow.DataflowLinkOptions,System.Predicate<TOutput>);Argument[3];Argument[3].Parameter[delegate-self];value;hq-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Post<TInput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,TInput);Argument[1];Argument[0];taint;df-generated |
@@ -16840,10 +16829,14 @@ summary
| System.Threading.Tasks.Dataflow;DataflowBlock;Receive<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Receive<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.TimeSpan);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Receive<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.TimeSpan,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAllAsync<TOutput>;(System.Threading.Tasks.Dataflow.IReceivableSourceBlock<TOutput>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.TimeSpan);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.TimeSpan,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;SendAsync<TInput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,TInput);Argument[1];Argument[0];taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;SendAsync<TInput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,TInput,System.Threading.CancellationToken);Argument[1];Argument[0];taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;TryReceive<TOutput>;(System.Threading.Tasks.Dataflow.IReceivableSourceBlock<TOutput>,TOutput);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;IDataflowBlock;get_Completion;();Argument[this];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;IReceivableSourceBlock<TOutput>;TryReceive;(System.Predicate<TOutput>,TOutput);Argument[0];Argument[0].Parameter[delegate-self];value;hq-generated |
| System.Threading.Tasks.Dataflow;JoinBlock<T1,T2,T3>;JoinBlock;(System.Threading.Tasks.Dataflow.GroupingDataflowBlockOptions);Argument[0];Argument[this];taint;df-generated |
@@ -16885,6 +16878,7 @@ summary
| System.Threading.Tasks.Dataflow;TransformManyBlock<TInput,TOutput>;get_Completion;();Argument[this];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;ConsumeMessage;(System.Threading.Tasks.Dataflow.DataflowMessageHeader,System.Threading.Tasks.Dataflow.ITargetBlock<T>,System.Boolean);Argument[this];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;LinkTo;(System.Threading.Tasks.Dataflow.ITargetBlock<T>,System.Threading.Tasks.Dataflow.DataflowLinkOptions);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;LinkTo;(System.Threading.Tasks.Dataflow.ITargetBlock<T>,System.Threading.Tasks.Dataflow.DataflowLinkOptions);Argument[this];Argument[0];taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;LinkTo;(System.Threading.Tasks.Dataflow.ITargetBlock<T>,System.Threading.Tasks.Dataflow.DataflowLinkOptions);Argument[this];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;OfferMessage;(System.Threading.Tasks.Dataflow.DataflowMessageHeader,T,System.Threading.Tasks.Dataflow.ISourceBlock<T>,System.Boolean);Argument[1];Argument[this];taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;ReleaseReservation;(System.Threading.Tasks.Dataflow.DataflowMessageHeader,System.Threading.Tasks.Dataflow.ITargetBlock<T>);Argument[this];Argument[1];taint;df-generated |
@@ -23240,7 +23234,6 @@ neutral
| System.Collections.Frozen;FrozenSet<T>;get_IsReadOnly;();summary;df-generated |
| System.Collections.Frozen;FrozenSet<T>;get_IsSynchronized;();summary;df-generated |
| System.Collections.Generic;CollectionExtensions;AddRange<T>;(System.Collections.Generic.List<T>,System.ReadOnlySpan<T>);summary;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey);summary;df-generated |
| System.Collections.Generic;CollectionExtensions;InsertRange<T>;(System.Collections.Generic.List<T>,System.Int32,System.ReadOnlySpan<T>);summary;df-generated |
| System.Collections.Generic;Comparer<T>;Compare;(System.Object,System.Object);summary;df-generated |
| System.Collections.Generic;Comparer<T>;Compare;(T,T);summary;df-generated |
@@ -47247,14 +47240,9 @@ neutral
| System.Threading.Tasks.Dataflow;BufferBlock<T>;ToString;();summary;df-generated |
| System.Threading.Tasks.Dataflow;BufferBlock<T>;TryReceiveAll;(System.Collections.Generic.IList<T>);summary;df-generated |
| System.Threading.Tasks.Dataflow;BufferBlock<T>;get_Count;();summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>);summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;NullTarget<TInput>;();summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;OutputAvailableAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>);summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;OutputAvailableAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.CancellationToken);summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAllAsync<TOutput>;(System.Threading.Tasks.Dataflow.IReceivableSourceBlock<TOutput>,System.Threading.CancellationToken);summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;SendAsync<TInput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,TInput);summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;SendAsync<TInput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,TInput,System.Threading.CancellationToken);summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;TryReceive<TOutput>;(System.Threading.Tasks.Dataflow.IReceivableSourceBlock<TOutput>,TOutput);summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowMessageHeader;DataflowMessageHeader;(System.Int64);summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowMessageHeader;Equals;(System.Object);summary;df-generated |
| System.Threading.Tasks.Dataflow;DataflowMessageHeader;Equals;(System.Threading.Tasks.Dataflow.DataflowMessageHeader);summary;df-generated |

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

@@ -4202,6 +4202,10 @@
| System.Collections.Generic;CollectionExtensions;AsReadOnly<T>;(System.Collections.Generic.IList<T>);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;AsReadOnly<TKey,TValue>;(System.Collections.Generic.IDictionary<TKey,TValue>);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;CopyTo<T>;(System.Collections.Generic.List<T>,System.Span<T>);Argument[0].Element;Argument[1];taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey);Argument[1];ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey,TValue);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey,TValue);Argument[1];ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;GetValueOrDefault<TKey,TValue>;(System.Collections.Generic.IReadOnlyDictionary<TKey,TValue>,TKey,TValue);Argument[2];ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;Remove<TKey,TValue>;(System.Collections.Generic.IDictionary<TKey,TValue>,TKey,TValue);Argument[0].Element;ReturnValue;taint;df-generated |
| System.Collections.Generic;CollectionExtensions;TryAdd<TKey,TValue>;(System.Collections.Generic.IDictionary<TKey,TValue>,TKey,TValue);Argument[0].Element;Argument[2];taint;df-generated |
@@ -12159,6 +12163,9 @@
| System.Threading.Tasks.Dataflow;DataflowBlock;Choose<T1,T2>;(System.Threading.Tasks.Dataflow.ISourceBlock<T1>,System.Action<T1>,System.Threading.Tasks.Dataflow.ISourceBlock<T2>,System.Action<T2>,System.Threading.Tasks.Dataflow.DataflowBlockOptions);Argument[3];Argument[3].Parameter[delegate-self];value;hq-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Encapsulate<TInput,TOutput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Encapsulate<TInput,TOutput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>);Argument[1];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>);Argument[0];Argument[1];taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>);Argument[1];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>,System.Predicate<TOutput>);Argument[2];Argument[2].Parameter[delegate-self];value;hq-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;LinkTo<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.Tasks.Dataflow.ITargetBlock<TOutput>,System.Threading.Tasks.Dataflow.DataflowLinkOptions,System.Predicate<TOutput>);Argument[3];Argument[3].Parameter[delegate-self];value;hq-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Post<TInput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,TInput);Argument[1];Argument[0];taint;df-generated |
@@ -12166,10 +12173,14 @@
| System.Threading.Tasks.Dataflow;DataflowBlock;Receive<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Receive<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.TimeSpan);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;Receive<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.TimeSpan,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAllAsync<TOutput>;(System.Threading.Tasks.Dataflow.IReceivableSourceBlock<TOutput>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.TimeSpan);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;ReceiveAsync<TOutput>;(System.Threading.Tasks.Dataflow.ISourceBlock<TOutput>,System.TimeSpan,System.Threading.CancellationToken);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;SendAsync<TInput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,TInput);Argument[1];Argument[0];taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;SendAsync<TInput>;(System.Threading.Tasks.Dataflow.ITargetBlock<TInput>,TInput,System.Threading.CancellationToken);Argument[1];Argument[0];taint;df-generated |
| System.Threading.Tasks.Dataflow;DataflowBlock;TryReceive<TOutput>;(System.Threading.Tasks.Dataflow.IReceivableSourceBlock<TOutput>,TOutput);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;IDataflowBlock;get_Completion;();Argument[this];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;IReceivableSourceBlock<TOutput>;TryReceive;(System.Predicate<TOutput>,TOutput);Argument[0];Argument[0].Parameter[delegate-self];value;hq-generated |
| System.Threading.Tasks.Dataflow;JoinBlock<T1,T2,T3>;JoinBlock;(System.Threading.Tasks.Dataflow.GroupingDataflowBlockOptions);Argument[0];Argument[this];taint;df-generated |
@@ -12203,6 +12214,7 @@
| System.Threading.Tasks.Dataflow;TransformManyBlock<TInput,TOutput>;TransformManyBlock;(System.Func<TInput,System.Threading.Tasks.Task<System.Collections.Generic.IEnumerable<TOutput>>>,System.Threading.Tasks.Dataflow.ExecutionDataflowBlockOptions);Argument[0];Argument[0].Parameter[delegate-self];value;hq-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;ConsumeMessage;(System.Threading.Tasks.Dataflow.DataflowMessageHeader,System.Threading.Tasks.Dataflow.ITargetBlock<T>,System.Boolean);Argument[this];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;LinkTo;(System.Threading.Tasks.Dataflow.ITargetBlock<T>,System.Threading.Tasks.Dataflow.DataflowLinkOptions);Argument[0];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;LinkTo;(System.Threading.Tasks.Dataflow.ITargetBlock<T>,System.Threading.Tasks.Dataflow.DataflowLinkOptions);Argument[this];Argument[0];taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;LinkTo;(System.Threading.Tasks.Dataflow.ITargetBlock<T>,System.Threading.Tasks.Dataflow.DataflowLinkOptions);Argument[this];ReturnValue;taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;OfferMessage;(System.Threading.Tasks.Dataflow.DataflowMessageHeader,T,System.Threading.Tasks.Dataflow.ISourceBlock<T>,System.Boolean);Argument[1];Argument[this];taint;df-generated |
| System.Threading.Tasks.Dataflow;WriteOnceBlock<T>;ReleaseReservation;(System.Threading.Tasks.Dataflow.DataflowMessageHeader,System.Threading.Tasks.Dataflow.ITargetBlock<T>);Argument[this];Argument[1];taint;df-generated |

2
csharp/ql/test/query-tests/Security Features/CWE-079/XSSAsp/XSS.expected
View File

@@ -42,7 +42,6 @@ edges
| XSS.cs:85:27:85:53 | access to property QueryString : NameValueCollection | XSS.cs:85:27:85:61 | access to indexer : String | provenance | MaD:6 |
| XSS.cs:85:27:85:61 | access to indexer : String | XSS.cs:85:20:85:23 | access to local variable name : String | provenance | |
| XSS.cs:94:20:94:23 | access to local variable name : String | XSS.cs:95:31:95:34 | access to local variable name | provenance | Sink:MaD:1 |
| XSS.cs:94:20:94:23 | access to local variable name : String | XSS.cs:95:31:95:34 | access to local variable name | provenance | Sink:MaD:7 |
| XSS.cs:94:27:94:53 | access to property QueryString : NameValueCollection | XSS.cs:94:20:94:23 | access to local variable name : String | provenance | |
| XSS.cs:94:27:94:53 | access to property QueryString : NameValueCollection | XSS.cs:94:27:94:61 | access to indexer : String | provenance | MaD:6 |
| XSS.cs:94:27:94:61 | access to indexer : String | XSS.cs:94:20:94:23 | access to local variable name : String | provenance | |
@@ -56,7 +55,6 @@ models
| 4 | Summary: System.Web.UI.WebControls; TextBox; false; get_Text; (); ; Argument[this]; ReturnValue; taint; manual |
| 5 | Sink: System.Web; HttpResponse; false; Write; ; ; Argument[0]; html-injection; manual |
| 6 | Summary: System.Collections.Specialized; NameValueCollection; false; get_Item; (System.String); ; Argument[this]; ReturnValue; taint; df-generated |
| 7 | Sink: System.Net.Http; StringContent; false; StringContent; (System.String); ; Argument[0]; js-injection; df-generated |
nodes
| XSS.cs:25:13:25:21 | [post] access to local variable userInput : StringBuilder | semmle.label | [post] access to local variable userInput : StringBuilder |
| XSS.cs:25:48:25:62 | access to field categoryTextBox : TextBox | semmle.label | access to field categoryTextBox : TextBox |

4
csharp/ql/test/query-tests/Security Features/CWE-321/HardcodedSymmetricEncryptionKey/HardcodedSymmetricEncryptionKey.expected
View File

@@ -21,17 +21,13 @@ edges
| HardcodedSymmetricEncryptionKey.cs:44:51:44:69 | access to local variable byteArrayFromString : Byte[] | HardcodedSymmetricEncryptionKey.cs:112:63:112:65 | key : Byte[] | provenance | |
| HardcodedSymmetricEncryptionKey.cs:50:35:50:35 | access to local variable c : Byte[] | HardcodedSymmetricEncryptionKey.cs:59:64:59:71 | password : Byte[] | provenance | |
| HardcodedSymmetricEncryptionKey.cs:59:64:59:71 | password : Byte[] | HardcodedSymmetricEncryptionKey.cs:68:87:68:94 | access to parameter password | provenance | Sink:MaD:1 |
| HardcodedSymmetricEncryptionKey.cs:59:64:59:71 | password : Byte[] | HardcodedSymmetricEncryptionKey.cs:68:87:68:94 | access to parameter password | provenance | Sink:MaD:5 |
| HardcodedSymmetricEncryptionKey.cs:103:57:103:59 | key : Byte[] | HardcodedSymmetricEncryptionKey.cs:108:23:108:25 | access to parameter key | provenance | Sink:MaD:3 |
| HardcodedSymmetricEncryptionKey.cs:112:63:112:65 | key : Byte[] | HardcodedSymmetricEncryptionKey.cs:121:87:121:89 | access to parameter key | provenance | Sink:MaD:2 |
| HardcodedSymmetricEncryptionKey.cs:112:63:112:65 | key : Byte[] | HardcodedSymmetricEncryptionKey.cs:121:87:121:89 | access to parameter key | provenance | Sink:MaD:6 |
models
| 1 | Sink: System.Security.Cryptography; SymmetricAlgorithm; true; CreateDecryptor; (System.Byte[],System.Byte[]); ; Argument[0]; encryption-decryptor; manual |
| 2 | Sink: System.Security.Cryptography; SymmetricAlgorithm; true; CreateEncryptor; (System.Byte[],System.Byte[]); ; Argument[0]; encryption-encryptor; manual |
| 3 | Sink: System.Security.Cryptography; SymmetricAlgorithm; true; set_Key; (System.Byte[]); ; Argument[0]; encryption-keyprop; manual |
| 4 | Summary: System.Text; Encoding; true; GetBytes; (System.String); ; Argument[0]; ReturnValue; taint; manual |
| 5 | Sink: System.Security.Cryptography; SymmetricAlgorithm; true; CreateDecryptor; (System.Byte[],System.Byte[]); ; Argument[0]; encryption-decryptor; df-generated |
| 6 | Sink: System.Security.Cryptography; SymmetricAlgorithm; true; CreateEncryptor; (System.Byte[],System.Byte[]); ; Argument[0]; encryption-encryptor; df-generated |
nodes
| HardcodedSymmetricEncryptionKey.cs:17:21:17:97 | array creation of type Byte[] | semmle.label | array creation of type Byte[] |
| HardcodedSymmetricEncryptionKey.cs:22:23:22:99 | array creation of type Byte[] | semmle.label | array creation of type Byte[] |

2
csharp/ql/test/query-tests/Security Features/CWE-611/UntrustedDataInsecureXml.expected
View File

@@ -1,6 +1,6 @@
edges
| Test.cs:11:50:11:72 | access to property QueryString : NameValueCollection | Test.cs:11:50:11:84 | access to indexer | provenance | |
| Test.cs:11:50:11:72 | access to property QueryString : NameValueCollection | Test.cs:11:50:11:84 | access to indexer | provenance | MaD:11546 |
| Test.cs:11:50:11:72 | access to property QueryString : NameValueCollection | Test.cs:11:50:11:84 | access to indexer | provenance | MaD:11555 |
nodes
| Test.cs:11:50:11:72 | access to property QueryString : NameValueCollection | semmle.label | access to property QueryString : NameValueCollection |
| Test.cs:11:50:11:84 | access to indexer | semmle.label | access to indexer |