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

C#: Update expected test output

Browse Source
This commit is contained in:
Tom Hvitved
2019-06-17 20:07:54 +02:00
parent 5cc11ba232
commit a1d7382a67
16 changed files with 176 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
csharp/ql/test/library-tests/cil/consistency/controlflow.expected
View File

@@ -0,0 +1,5 @@
| System.Guid System.Guid.ParseExact(System.String,System.String): 11: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: brtrue.s 5: [push: 0, pop: 1]; 2: ldstr "input" [push: 1, pop: 0]; 3: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 4: throw [push: 0, pop: 1]; 5: ldarg.0 [push: 1, pop: 0]; 6: call System.String.op_Implicit [push: 1, pop: 1]; 7: ldarg.1 [push: 1, pop: 0]; 8: brtrue.s 12: [push: 0, pop: 1]; 9: ldstr "format" [push: 1, pop: 0]; 10: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 11: throw [push: 0, pop: 1] | Throw has invalid stack size |
| System.Threading.CancellationTokenRegistration System.Threading.CancellationToken.Register(System.Action): 8: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: ldsfld s_actionToActionObjShunt [push: 1, pop: 0]; 2: ldarg.1 [push: 1, pop: 0]; 3: dup [push: 2, pop: 1]; 4: brtrue.s 9: [push: 0, pop: 1]; 5: pop [push: 0, pop: 1]; 6: ldstr "callback" [push: 1, pop: 0]; 7: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 8: throw [push: 0, pop: 1] | Throw has invalid stack size |
| System.Threading.CancellationTokenRegistration System.Threading.CancellationToken.Register(System.Action,System.Boolean): 8: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: ldsfld s_actionToActionObjShunt [push: 1, pop: 0]; 2: ldarg.1 [push: 1, pop: 0]; 3: dup [push: 2, pop: 1]; 4: brtrue.s 9: [push: 0, pop: 1]; 5: pop [push: 0, pop: 1]; 6: ldstr "callback" [push: 1, pop: 0]; 7: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 8: throw [push: 0, pop: 1] | Throw has invalid stack size |
| System.Void System.Guid..ctor(System.Byte[]): 7: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: ldarg.1 [push: 1, pop: 0]; 2: dup [push: 2, pop: 1]; 3: brtrue.s 8: [push: 0, pop: 1]; 4: pop [push: 0, pop: 1]; 5: ldstr "b" [push: 1, pop: 0]; 6: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 7: throw [push: 0, pop: 1] | Throw has invalid stack size |
| System.Void System.TermInfo.Database..ctor(System.String,System.Byte[]): 33: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: call System.Object..ctor [push: 0, pop: 1]; 2: ldarg.0 [push: 1, pop: 0]; 3: ldarg.1 [push: 1, pop: 0]; 4: stfld _term [push: 0, pop: 2]; 5: ldarg.0 [push: 1, pop: 0]; 6: ldarg.2 [push: 1, pop: 0]; 7: stfld _data [push: 0, pop: 2]; 8: ldarg.2 [push: 1, pop: 0]; 9: ldc.i4.0 [push: 1, pop: 0]; 10: call System.TermInfo.Database.ReadInt16 [push: 1, pop: 2]; 11: stloc.0 L0 [push: 0, pop: 1]; 12: ldarg.0 [push: 1, pop: 0]; 13: ldloc.0 [push: 1, pop: 0]; 14: ldc.i4 72224 [push: 1, pop: 0]; 15: beq.s 36: [push: 0, pop: 2]; 16: ldloc.0 [push: 1, pop: 0]; 17: ldc.i4 138784 [push: 1, pop: 0]; 18: beq.s 34: [push: 0, pop: 2]; 19: call System.SR.get_IO_TermInfoInvalidMagicNumber [push: 1, pop: 0]; 20: ldc.i4.1 [push: 1, pop: 0]; 21: newarr System.String [push: 1, pop: 1]; 22: dup [push: 2, pop: 1]; 23: ldc.i4.0 [push: 1, pop: 0]; 24: ldstr "O" [push: 1, pop: 0]; 25: ldloc.0 [push: 1, pop: 0]; 26: ldc.i4.8 [push: 1, pop: 0]; 27: call System.Convert.ToString [push: 1, pop: 2]; 28: call System.String.Concat [push: 1, pop: 2]; 29: stelem.ref [push: 0, pop: 3]; 30: call System.String.Concat [push: 1, pop: 1]; 31: call System.SR.Format [push: 1, pop: 2]; 32: newobj System.InvalidOperationException..ctor [push: 1, pop: 1]; 33: throw [push: 0, pop: 1] | Throw has invalid stack size |

5
csharp/ql/test/library-tests/cil/consistency/instructions.expected
View File

@@ -0,0 +1,5 @@
| System.Guid System.Guid.ParseExact(System.String,System.String): 11: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: brtrue.s 5: [push: 0, pop: 1]; 2: ldstr "input" [push: 1, pop: 0]; 3: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 4: throw [push: 0, pop: 1]; 5: ldarg.0 [push: 1, pop: 0]; 6: call System.String.op_Implicit [push: 1, pop: 1]; 7: ldarg.1 [push: 1, pop: 0]; 8: brtrue.s 12: [push: 0, pop: 1]; 9: ldstr "format" [push: 1, pop: 0]; 10: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 11: throw [push: 0, pop: 1] | Throw has invalid stack size |
| System.Threading.CancellationTokenRegistration System.Threading.CancellationToken.Register(System.Action): 8: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: ldsfld s_actionToActionObjShunt [push: 1, pop: 0]; 2: ldarg.1 [push: 1, pop: 0]; 3: dup [push: 2, pop: 1]; 4: brtrue.s 9: [push: 0, pop: 1]; 5: pop [push: 0, pop: 1]; 6: ldstr "callback" [push: 1, pop: 0]; 7: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 8: throw [push: 0, pop: 1] | Throw has invalid stack size |
| System.Threading.CancellationTokenRegistration System.Threading.CancellationToken.Register(System.Action,System.Boolean): 8: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: ldsfld s_actionToActionObjShunt [push: 1, pop: 0]; 2: ldarg.1 [push: 1, pop: 0]; 3: dup [push: 2, pop: 1]; 4: brtrue.s 9: [push: 0, pop: 1]; 5: pop [push: 0, pop: 1]; 6: ldstr "callback" [push: 1, pop: 0]; 7: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 8: throw [push: 0, pop: 1] | Throw has invalid stack size |
| System.Void System.Guid..ctor(System.Byte[]): 7: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: ldarg.1 [push: 1, pop: 0]; 2: dup [push: 2, pop: 1]; 3: brtrue.s 8: [push: 0, pop: 1]; 4: pop [push: 0, pop: 1]; 5: ldstr "b" [push: 1, pop: 0]; 6: newobj System.ArgumentNullException..ctor [push: 1, pop: 1]; 7: throw [push: 0, pop: 1] | Throw has invalid stack size |
| System.Void System.TermInfo.Database..ctor(System.String,System.Byte[]): 33: throw, 0: ldarg.0 [push: 1, pop: 0]; 1: call System.Object..ctor [push: 0, pop: 1]; 2: ldarg.0 [push: 1, pop: 0]; 3: ldarg.1 [push: 1, pop: 0]; 4: stfld _term [push: 0, pop: 2]; 5: ldarg.0 [push: 1, pop: 0]; 6: ldarg.2 [push: 1, pop: 0]; 7: stfld _data [push: 0, pop: 2]; 8: ldarg.2 [push: 1, pop: 0]; 9: ldc.i4.0 [push: 1, pop: 0]; 10: call System.TermInfo.Database.ReadInt16 [push: 1, pop: 2]; 11: stloc.0 L0 [push: 0, pop: 1]; 12: ldarg.0 [push: 1, pop: 0]; 13: ldloc.0 [push: 1, pop: 0]; 14: ldc.i4 72224 [push: 1, pop: 0]; 15: beq.s 36: [push: 0, pop: 2]; 16: ldloc.0 [push: 1, pop: 0]; 17: ldc.i4 138784 [push: 1, pop: 0]; 18: beq.s 34: [push: 0, pop: 2]; 19: call System.SR.get_IO_TermInfoInvalidMagicNumber [push: 1, pop: 0]; 20: ldc.i4.1 [push: 1, pop: 0]; 21: newarr System.String [push: 1, pop: 1]; 22: dup [push: 2, pop: 1]; 23: ldc.i4.0 [push: 1, pop: 0]; 24: ldstr "O" [push: 1, pop: 0]; 25: ldloc.0 [push: 1, pop: 0]; 26: ldc.i4.8 [push: 1, pop: 0]; 27: call System.Convert.ToString [push: 1, pop: 2]; 28: call System.String.Concat [push: 1, pop: 2]; 29: stelem.ref [push: 0, pop: 3]; 30: call System.String.Concat [push: 1, pop: 1]; 31: call System.SR.Format [push: 1, pop: 2]; 32: newobj System.InvalidOperationException..ctor [push: 1, pop: 1]; 33: throw [push: 0, pop: 1] | Throw has invalid stack size |

19
csharp/ql/test/library-tests/cil/dataflow/CallableReturns.expected
View File

@@ -16,8 +16,10 @@ alwaysNonNull
| System.ArgumentNullException System.ThrowHelper.GetArgumentNullException(System.ExceptionArgument) |
| System.ArgumentOutOfRangeException System.ThrowHelper.GetArgumentOutOfRangeException(System.ExceptionArgument,System.ExceptionResource) |
| System.ArgumentOutOfRangeException System.ThrowHelper.GetArgumentOutOfRangeException(System.ExceptionArgument,System.Int32,System.ExceptionResource) |
| System.Collections.Generic.KeyNotFoundException System.ThrowHelper.GetKeyNotFoundException(System.Object) |
| System.Exception System.ThrowHelper.GetArraySegmentCtorValidationFailedException(System.Array,System.Int32,System.Int32) |
| System.InvalidOperationException System.ThrowHelper.GetInvalidOperationException(System.ExceptionResource) |
| System.InvalidOperationException System.ThrowHelper.GetInvalidOperationException_EnumCurrent(System.Int32) |
| System.Object Dataflow.NonNullMethods.ReturnsNonNull2() |
| System.Object Dataflow.NonNullMethods.ReturnsNonNull() |
| System.Object Dataflow.NonNullMethods.ReturnsNonNullIndirect() |
@@ -37,15 +39,15 @@ alwaysThrows
| System.Object Dataflow.ThrowingMethods.get_ThrowProperty() | System.Exception | 0: newobj System.Exception..ctor, 1: throw |
| System.Object Dataflow.ThrowingMethods.get_VirtualThrowProperty() | System.Exception | 0: newobj System.Exception..ctor, 1: throw |
| System.Object System.ValueTuple.get_Item(System.Int32) | System.IndexOutOfRangeException | 0: newobj System.IndexOutOfRangeException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowAddingDuplicateWithKeyArgumentException(System.Object) | System.ArgumentException | 0: ldarg.0, 1: call System.ThrowHelper.GetAddingDuplicateWithKeyArgumentException, 2: throw |
| System.Void System.ThrowHelper.ThrowAddingDuplicateWithKeyArgumentException`1(!0) | System.ArgumentException | 0: ldarg.0, 1: box, 2: call System.ThrowHelper.GetAddingDuplicateWithKeyArgumentException, 3: throw |
| System.Void System.ThrowHelper.ThrowAggregateException(System.Collections.Generic.List<System.Exception>) | System.AggregateException | 0: ldarg.0, 1: newobj System.AggregateException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentException(System.ExceptionResource) | System.ArgumentException | 0: ldarg.0, 1: call System.ThrowHelper.GetArgumentException, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentException(System.ExceptionResource,System.ExceptionArgument) | System.ArgumentException | 0: ldarg.0, 1: ldarg.1, 2: call System.ThrowHelper.GetArgumentException, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_Argument_InvalidArrayType() | System.ArgumentException | 0: ldc.i4.s 31, 1: call System.ThrowHelper.GetArgumentException, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_DestinationTooShort() | System.ArgumentException | 0: call System.SR.get_Argument_DestinationTooShort, 1: newobj System.ArgumentException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_OverlapAlignmentMismatch() | System.ArgumentException | 0: call System.SR.get_Argument_OverlapAlignmentMismatch, 1: newobj System.ArgumentException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentNullException(System.ExceptionArgument) | System.ArgumentNullException | 0: ldarg.0, 1: call System.ThrowHelper.GetArgumentNullException, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentNullException(System.ExceptionArgument,System.ExceptionResource) | System.ArgumentNullException | 0: ldarg.0, 1: call System.ThrowHelper.GetArgumentName, 2: ldarg.1, 3: call System.ThrowHelper.GetResourceString, 4: newobj System.ArgumentNullException..ctor, 5: throw |
| System.Void System.ThrowHelper.ThrowArgumentNullException(System.ExceptionResource) | System.ArgumentNullException | 0: ldarg.0, 1: call System.ThrowHelper.GetResourceString, 2: newobj System.ArgumentNullException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRangeException() | System.ArgumentOutOfRangeException | 0: newobj System.ArgumentOutOfRangeException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRangeException(System.ExceptionArgument) | System.ArgumentOutOfRangeException | 0: ldarg.0, 1: call System.ThrowHelper.GetArgumentName, 2: newobj System.ArgumentOutOfRangeException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRangeException(System.ExceptionArgument,System.ExceptionResource) | System.ArgumentOutOfRangeException | 0: ldarg.0, 1: ldarg.1, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
@@ -58,21 +60,22 @@ alwaysThrows
| System.Void System.ThrowHelper.ThrowIndexOutOfRangeException() | System.IndexOutOfRangeException | 0: newobj System.IndexOutOfRangeException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException(System.ExceptionResource) | System.InvalidOperationException | 0: ldarg.0, 1: call System.ThrowHelper.GetInvalidOperationException, 2: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException(System.ExceptionResource,System.Exception) | System.InvalidOperationException | 0: ldarg.0, 1: call System.ThrowHelper.GetResourceString, 2: ldarg.1, 3: newobj System.InvalidOperationException..ctor, 4: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException_ConcurrentOperationsNotSupported() | System.InvalidOperationException | 0: ldc.i4.s 31, 1: call System.ThrowHelper.GetInvalidOperationException, 2: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException_EnumCurrent(System.Int32) | System.InvalidOperationException | 0: ldarg.0, 1: call System.ThrowHelper.GetInvalidOperationException_EnumCurrent, 2: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException_InvalidOperation_EnumEnded() | System.InvalidOperationException | 0: ldc.i4.s 31, 1: call System.ThrowHelper.GetInvalidOperationException, 2: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException_InvalidOperation_EnumFailedVersion() | System.InvalidOperationException | 0: ldc.i4.s 31, 1: call System.ThrowHelper.GetInvalidOperationException, 2: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException_InvalidOperation_EnumNotStarted() | System.InvalidOperationException | 0: ldc.i4.s 31, 1: call System.ThrowHelper.GetInvalidOperationException, 2: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException_InvalidOperation_EnumOpCantHappen() | System.InvalidOperationException | 0: ldc.i4.s 31, 1: call System.ThrowHelper.GetInvalidOperationException, 2: throw |
| System.Void System.ThrowHelper.ThrowInvalidOperationException_InvalidOperation_NoValue() | System.InvalidOperationException | 0: ldc.i4.s 31, 1: call System.ThrowHelper.GetInvalidOperationException, 2: throw |
| System.Void System.ThrowHelper.ThrowInvalidTypeWithPointersNotSupported(System.Type) | System.ArgumentException | 0: call System.SR.get_Argument_InvalidTypeWithPointersNotSupported, 1: ldarg.0, 2: call System.SR.Format, 3: newobj System.ArgumentException..ctor, 4: throw |
| System.Void System.ThrowHelper.ThrowKeyNotFoundException() | System.Collections.Generic.KeyNotFoundException | 0: newobj System.Collections.Generic.KeyNotFoundException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowKeyNotFoundException`1(!0) | System.Collections.Generic.KeyNotFoundException | 0: ldarg.0, 1: box, 2: call System.ThrowHelper.GetKeyNotFoundException, 3: throw |
| System.Void System.ThrowHelper.ThrowLengthArgumentOutOfRange_ArgumentOutOfRange_NeedNonNegNum() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.4, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowNotSupportedException() | System.NotSupportedException | 0: newobj System.NotSupportedException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowNotSupportedException(System.ExceptionResource) | System.NotSupportedException | 0: ldarg.0, 1: call System.ThrowHelper.GetResourceString, 2: newobj System.NotSupportedException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowObjectDisposedException(System.ExceptionResource) | System.ObjectDisposedException | 0: ldnull, 1: ldarg.0, 2: call System.ThrowHelper.GetResourceString, 3: newobj System.ObjectDisposedException..ctor, 4: throw |
| System.Void System.ThrowHelper.ThrowObjectDisposedException(System.String,System.ExceptionResource) | System.ObjectDisposedException | 0: ldarg.0, 1: ldarg.1, 2: call System.ThrowHelper.GetResourceString, 3: newobj System.ObjectDisposedException..ctor, 4: throw |
| System.Void System.ThrowHelper.ThrowOutOfMemoryException() | System.OutOfMemoryException | 0: newobj System.OutOfMemoryException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowRankException(System.ExceptionResource) | System.RankException | 0: ldarg.0, 1: call System.ThrowHelper.GetResourceString, 2: newobj System.RankException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowSecurityException(System.ExceptionResource) | System.Security.SecurityException | 0: ldarg.0, 1: call System.ThrowHelper.GetResourceString, 2: newobj System.Security.SecurityException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowSerializationException(System.ExceptionResource) | System.Runtime.Serialization.SerializationException | 0: ldarg.0, 1: call System.ThrowHelper.GetResourceString, 2: newobj System.Runtime.Serialization.SerializationException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowStartIndexArgumentOutOfRange_ArgumentOutOfRange_Index() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.s 31, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowUnauthorizedAccessException(System.ExceptionResource) | System.UnauthorizedAccessException | 0: ldarg.0, 1: call System.ThrowHelper.GetResourceString, 2: newobj System.UnauthorizedAccessException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowWrongKeyTypeArgumentException(System.Object,System.Type) | System.ArgumentException | 0: ldarg.0, 1: ldarg.1, 2: call System.ThrowHelper.GetWrongKeyTypeArgumentException, 3: throw |
| System.Void System.ThrowHelper.ThrowWrongValueTypeArgumentException(System.Object,System.Type) | System.ArgumentException | 0: ldarg.0, 1: ldarg.1, 2: call System.ThrowHelper.GetWrongValueTypeArgumentException, 3: throw |
| System.Void System.ThrowHelper.ThrowWrongKeyTypeArgumentException`1(!0,System.Type) | System.ArgumentException | 0: ldarg.0, 1: box, 2: ldarg.1, 3: call System.ThrowHelper.GetWrongKeyTypeArgumentException, 4: throw |
| System.Void System.ThrowHelper.ThrowWrongValueTypeArgumentException`1(!0,System.Type) | System.ArgumentException | 0: ldarg.0, 1: box, 2: ldarg.1, 3: call System.ThrowHelper.GetWrongValueTypeArgumentException, 4: throw |

2
csharp/ql/test/library-tests/cil/dataflow/DataFlow.expected
View File

@@ -1,7 +1,7 @@
| dataflow.cs:18:18:18:26 | "tainted" | dataflow.cs:18:18:18:37 | call to method ToString |
| dataflow.cs:19:27:19:28 | 12 | dataflow.cs:19:18:19:29 | call to method Abs |
| dataflow.cs:20:27:20:27 | 2 | dataflow.cs:20:18:20:31 | call to method Max |
| dataflow.cs:20:30:20:30 | 3 | dataflow.cs:20:18:20:31 | call to method Max |
| dataflow.cs:21:29:21:31 | 0.5 | dataflow.cs:21:18:21:32 | call to method Round |
| dataflow.cs:22:45:22:53 | "tainted" | dataflow.cs:22:18:22:54 | call to method GetFullPath |
| dataflow.cs:29:44:29:46 | 1 | dataflow.cs:29:18:29:52 | call to method IEEERemainder |
| dataflow.cs:29:49:29:51 | 2 | dataflow.cs:29:18:29:52 | call to method IEEERemainder |

2
csharp/ql/test/library-tests/cil/dataflow/TaintTracking.expected
View File

@@ -1,9 +1,9 @@
| dataflow.cs:11:18:11:22 | "123" | dataflow.cs:11:18:11:37 | call to method CompareTo |
| dataflow.cs:11:34:11:36 | "b" | dataflow.cs:11:18:11:37 | call to method CompareTo |
| dataflow.cs:18:18:18:26 | "tainted" | dataflow.cs:18:18:18:37 | call to method ToString |
| dataflow.cs:19:27:19:28 | 12 | dataflow.cs:19:18:19:29 | call to method Abs |
| dataflow.cs:20:27:20:27 | 2 | dataflow.cs:20:18:20:31 | call to method Max |
| dataflow.cs:20:30:20:30 | 3 | dataflow.cs:20:18:20:31 | call to method Max |
| dataflow.cs:21:29:21:31 | 0.5 | dataflow.cs:21:18:21:32 | call to method Round |
| dataflow.cs:22:45:22:53 | "tainted" | dataflow.cs:22:18:22:54 | call to method GetFullPath |
| dataflow.cs:26:37:26:37 | 1 | dataflow.cs:26:18:26:56 | call to method DivRem |
| dataflow.cs:26:40:26:40 | 2 | dataflow.cs:26:18:26:56 | call to method DivRem |

18
csharp/ql/test/library-tests/commons/Disposal/DisposedFields.expected
View File

@@ -3,19 +3,37 @@
| System.IO.SyncTextReader._in |
| System.IO.SyncTextWriter._out |
| System.IO.UnmanagedMemoryStreamWrapper._unmanagedStream |
| System.Net.Http.DecompressionHandler.DecompressedContent._originalContent |
| System.Net.Http.DecompressionHandler._innerHandler |
| System.Net.Http.DelegatingHandler._innerHandler |
| System.Net.Http.DelegatingStream._innerStream |
| System.Net.Http.HttpAuthenticatedConnectionHandler._poolManager |
| System.Net.Http.HttpClient._pendingRequestsCts |
| System.Net.Http.HttpConnection.HttpConnectionResponseContent._stream |
| System.Net.Http.HttpConnection._stream |
| System.Net.Http.HttpConnectionHandler._poolManager |
| System.Net.Http.HttpConnectionPool.CachedConnection._connection |
| System.Net.Http.HttpConnectionPool.ConnectionWaiter._cancellationTokenRegistration |
| System.Net.Http.HttpConnectionPoolManager._cleaningTimer |
| System.Net.Http.HttpContent._bufferedContent |
| System.Net.Http.HttpContentStream._connection |
| System.Net.Http.HttpMessageInvoker._handler |
| System.Net.Http.HttpRequestMessage._content |
| System.Net.Http.HttpResponseMessage._content |
| System.Net.Http.NoWriteNoSeekStreamContent._content |
| System.Net.Http.RedirectHandler._initialInnerHandler |
| System.Net.Http.RedirectHandler._redirectInnerHandler |
| System.Net.Http.SocketsHttpHandler._handler |
| System.Net.Http.StreamContent._content |
| System.Net.NTAuthentication._credentialsHandle |
| System.Net.NTAuthentication._securityContext |
| System.Net.Security.SafeDeleteNegoContext._context |
| System.Net.Security.SafeDeleteNegoContext._targetName |
| System.Security.SecureString._buffer |
| System.Threading.CancellationTokenSource.Linked1CancellationTokenSource._reg1 |
| System.Threading.CancellationTokenSource.Linked2CancellationTokenSource._reg1 |
| System.Threading.CancellationTokenSource.Linked2CancellationTokenSource._reg2 |
| System.Threading.CancellationTokenSource._timer |
| System.Threading.ReaderWriterLockSlim._readEvent |
| System.Threading.ReaderWriterLockSlim._upgradeEvent |
| System.Threading.ReaderWriterLockSlim._waitUpgradeEvent |

70
csharp/ql/test/library-tests/commons/Disposal/DisposedParameter.expected
View File

@@ -1,5 +1,11 @@
| BufferedStream(Stream) | 0 |
| BufferedStream(Stream, int) | 0 |
| CachedConnection(HttpConnection) | 0 |
| ChunkedEncodingReadStream(HttpConnection) | 0 |
| ChunkedEncodingWriteStream(HttpConnection) | 0 |
| ConnectionCloseReadStream(HttpConnection) | 0 |
| ContentLengthReadStream(HttpConnection, ulong) | 0 |
| ContentLengthWriteStream(HttpConnection) | 0 |
| CopyAsync(Stream, Stream, int, bool, CancellationToken) | 0 |
| CopyToWriter(XmlWriter) | 0 |
| Create(Stream) | 0 |
@@ -17,6 +23,8 @@
| Create(XmlWriter, XmlWriterSettings) | 0 |
| CreateAsyncCheckWrapper(XmlReader) | 0 |
| CreateReader(Stream, string) | 0 |
| DecompressedContent(HttpContent) | 0 |
| DeflateDecompressedContent(HttpContent) | 0 |
| DelegatingHandler(HttpMessageHandler) | 0 |
| DelegatingStream(Stream) | 0 |
| Deserialize(Stream) | 0 |
@@ -29,8 +37,10 @@
| Disposal(IDisposable, object, TextWriter) | 0 |
| Disposal(IDisposable, object, TextWriter) | 1 |
| Disposal(IDisposable, object, TextWriter) | 2 |
| DrainResponseAsync(HttpResponseMessage) | 0 |
| EventsToWriter(XmlWriter) | 0 |
| Execute(object, XmlResolver, XsltArgumentList, XmlWriter) | 3 |
| GZipDecompressedContent(HttpContent) | 0 |
| GetSynchronizedTextReader(TextReader) | 0 |
| HtmlEncodedRawTextWriter(Stream, XmlWriterSettings) | 0 |
| HtmlEncodedRawTextWriter(TextWriter, XmlWriterSettings) | 0 |
@@ -38,33 +48,49 @@
| HtmlEncodedRawTextWriterIndent(TextWriter, XmlWriterSettings) | 0 |
| HtmlUtf8RawTextWriter(Stream, XmlWriterSettings) | 0 |
| HtmlUtf8RawTextWriterIndent(Stream, XmlWriterSettings) | 0 |
| HttpAuthenticatedConnectionHandler(HttpConnectionPoolManager) | 0 |
| HttpClient(HttpMessageHandler) | 0 |
| HttpClient(HttpMessageHandler, bool) | 0 |
| HttpConnectionHandler(HttpConnectionPoolManager) | 0 |
| HttpContentDuplexStream(HttpConnection) | 0 |
| HttpContentReadStream(HttpConnection) | 0 |
| HttpContentStream(HttpConnection) | 0 |
| HttpContentWriteStream(HttpConnection) | 0 |
| HttpMessageInvoker(HttpMessageHandler) | 0 |
| HttpMessageInvoker(HttpMessageHandler, bool) | 0 |
| Load(Stream) | 0 |
| Load(TextReader) | 0 |
| MessageProcessingHandler(HttpMessageHandler) | 0 |
| PatchAsync(string, HttpContent) | 1 |
| PatchAsync(string, HttpContent, CancellationToken) | 1 |
| PostAsync(string, HttpContent) | 1 |
| PostAsync(string, HttpContent, CancellationToken) | 1 |
| PutAsync(string, HttpContent) | 1 |
| PutAsync(string, HttpContent, CancellationToken) | 1 |
| RawConnectionStream(HttpConnection) | 0 |
| Read(Stream, ValidationEventHandler) | 0 |
| Read(TextReader, ValidationEventHandler) | 0 |
| ReadOnlyStream(Stream) | 0 |
| RedirectHandler(int, HttpMessageHandler, HttpMessageHandler) | 1 |
| RedirectHandler(int, HttpMessageHandler, HttpMessageHandler) | 2 |
| ReflectionXmlSerializationReader(XmlMapping, XmlReader, XmlDeserializationEvents, string) | 1 |
| ReturnConnection(HttpConnection) | 0 |
| Save(TextWriter) | 0 |
| SendWithNtProxyAuthAsync(HttpConnection, HttpRequestMessage, CancellationToken) | 0 |
| Serialize(TextWriter, object) | 0 |
| Serialize(TextWriter, object, XmlSerializerNamespaces) | 0 |
| SetError(TextWriter) | 0 |
| SetGssContext(SafeGssContextHandle) | 0 |
| SetIn(TextReader) | 0 |
| SetOut(TextWriter) | 0 |
| SetStream(HttpContentStream) | 0 |
| StreamContent(Stream) | 0 |
| StreamContent(Stream, int) | 0 |
| Synchronized(Stream) | 0 |
| System.IO.Stream System.IO.Stream.Synchronized(System.IO.Stream) | 0 |
| System.IO.SyncTextReader System.IO.SyncTextReader.GetSynchronizedTextReader(System.IO.TextReader) | 0 |
| System.IO.SyncTextWriter System.IO.SyncTextWriter.GetSynchronizedTextWriter(System.IO.TextWriter) | 0 |
| System.Int32 System.Net.Http.HttpConnection.ChunkedEncodingReadStream.ReadChunksFromConnectionBuffer(System.Span<System.Byte>,System.Threading.CancellationTokenRegistration) | 1 |
| System.Object System.Xml.Serialization.TempAssembly.InvokeReader(System.Xml.Serialization.XmlMapping,System.Xml.XmlReader,System.Xml.Serialization.XmlDeserializationEvents,System.String) | 1 |
| System.Object System.Xml.Serialization.XmlSerializer.Deserialize(System.IO.Stream) | 0 |
| System.Object System.Xml.Serialization.XmlSerializer.Deserialize(System.IO.TextReader) | 0 |
@@ -73,6 +99,10 @@
| System.Object System.Xml.Serialization.XmlSerializer.Deserialize(System.Xml.XmlReader,System.String,System.Xml.Serialization.XmlDeserializationEvents) | 0 |
| System.Object System.Xml.Serialization.XmlSerializer.Deserialize(System.Xml.XmlReader,System.Xml.Serialization.XmlDeserializationEvents) | 0 |
| System.Object System.Xml.Serialization.XmlSerializer.DeserializePrimitive(System.Xml.XmlReader,System.Xml.Serialization.XmlDeserializationEvents) | 0 |
| System.Object System.Xml.Serialization.XmlSerializer.DeserializeUsingReflection(System.Xml.XmlReader,System.String,System.Xml.Serialization.XmlDeserializationEvents) | 0 |
| System.ReadOnlyMemory<System.Byte> System.Net.Http.HttpConnection.ChunkedEncodingReadStream.ReadChunkFromConnectionBuffer(System.Int32,System.Threading.CancellationTokenRegistration) | 1 |
| System.Threading.Tasks.Task System.Net.Http.HttpConnection.DrainResponseAsync(System.Net.Http.HttpResponseMessage) | 0 |
| System.Threading.Tasks.Task System.Net.Http.HttpConnection.SendRequestContentWithExpect100ContinueAsync(System.Net.Http.HttpRequestMessage,System.Threading.Tasks.Task<System.Boolean>,System.Net.Http.HttpConnection.HttpContentWriteStream,System.Threading.Timer,System.Threading.CancellationToken) | 3 |
| System.Threading.Tasks.Task System.Net.Http.HttpContent.LoadIntoBufferAsyncCore(System.Threading.Tasks.Task,System.IO.MemoryStream) | 1 |
| System.Threading.Tasks.Task System.Net.Http.StreamToStreamCopy.CopyAsync(System.IO.Stream,System.IO.Stream,System.Int32,System.Boolean,System.Threading.CancellationToken) | 0 |
| System.Threading.Tasks.Task System.Net.Http.StreamToStreamCopy.DisposeSourceWhenCompleteAsync(System.Threading.Tasks.Task,System.IO.Stream) | 1 |
@@ -80,8 +110,16 @@
| System.Threading.Tasks.Task System.Xml.XmlTextReaderImpl.InitStreamInputAsync(System.Uri,System.String,System.IO.Stream,System.Byte[],System.Int32,System.Text.Encoding) | 2 |
| System.Threading.Tasks.Task System.Xml.XmlTextReaderImpl.InitTextReaderInputAsync(System.String,System.IO.TextReader) | 1 |
| System.Threading.Tasks.Task System.Xml.XmlTextReaderImpl.InitTextReaderInputAsync(System.String,System.Uri,System.IO.TextReader) | 2 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.AuthenticationHelper.InnerSendAsync(System.Net.Http.HttpRequestMessage,System.Boolean,System.Net.Http.HttpConnectionPool,System.Net.Http.HttpConnection,System.Threading.CancellationToken) | 3 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.AuthenticationHelper.SendWithNtAuthAsync(System.Net.Http.HttpRequestMessage,System.Uri,System.Net.ICredentials,System.Boolean,System.Net.Http.HttpConnection,System.Net.Http.HttpConnectionPool,System.Threading.CancellationToken) | 4 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.AuthenticationHelper.SendWithNtConnectionAuthAsync(System.Net.Http.HttpRequestMessage,System.Net.ICredentials,System.Net.Http.HttpConnection,System.Net.Http.HttpConnectionPool,System.Threading.CancellationToken) | 2 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.AuthenticationHelper.SendWithNtProxyAuthAsync(System.Net.Http.HttpRequestMessage,System.Uri,System.Net.ICredentials,System.Net.Http.HttpConnection,System.Net.Http.HttpConnectionPool,System.Threading.CancellationToken) | 3 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.FinishSendAsyncBuffered(System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage>,System.Net.Http.HttpRequestMessage,System.Threading.CancellationTokenSource,System.Boolean) | 2 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.FinishSendAsyncUnbuffered(System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage>,System.Net.Http.HttpRequestMessage,System.Threading.CancellationTokenSource,System.Boolean) | 2 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PatchAsync(System.String,System.Net.Http.HttpContent) | 1 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PatchAsync(System.String,System.Net.Http.HttpContent,System.Threading.CancellationToken) | 1 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PatchAsync(System.Uri,System.Net.Http.HttpContent) | 1 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PatchAsync(System.Uri,System.Net.Http.HttpContent,System.Threading.CancellationToken) | 1 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PostAsync(System.String,System.Net.Http.HttpContent) | 1 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PostAsync(System.String,System.Net.Http.HttpContent,System.Threading.CancellationToken) | 1 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PostAsync(System.Uri,System.Net.Http.HttpContent) | 1 |
@@ -90,6 +128,8 @@
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PutAsync(System.String,System.Net.Http.HttpContent,System.Threading.CancellationToken) | 1 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PutAsync(System.Uri,System.Net.Http.HttpContent) | 1 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpClient.PutAsync(System.Uri,System.Net.Http.HttpContent,System.Threading.CancellationToken) | 1 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpConnectionPool.SendWithNtConnectionAuthAsync(System.Net.Http.HttpConnection,System.Net.Http.HttpRequestMessage,System.Boolean,System.Threading.CancellationToken) | 0 |
| System.Threading.Tasks.Task<System.Net.Http.HttpResponseMessage> System.Net.Http.HttpConnectionPool.SendWithNtProxyAuthAsync(System.Net.Http.HttpConnection,System.Net.Http.HttpRequestMessage,System.Threading.CancellationToken) | 0 |
| System.Void System.Console.SetError(System.IO.TextWriter) | 0 |
| System.Void System.Console.SetIn(System.IO.TextReader) | 0 |
| System.Void System.Console.SetOut(System.IO.TextWriter) | 0 |
@@ -99,25 +139,49 @@
| System.Void System.IO.SyncTextReader..ctor(System.IO.TextReader) | 0 |
| System.Void System.IO.SyncTextWriter..ctor(System.IO.TextWriter) | 0 |
| System.Void System.IO.UnmanagedMemoryStreamWrapper..ctor(System.IO.UnmanagedMemoryStream) | 0 |
| System.Void System.Net.Http.DecompressionHandler..ctor(System.Net.DecompressionMethods,System.Net.Http.HttpMessageHandler) | 1 |
| System.Void System.Net.Http.DecompressionHandler.DecompressedContent..ctor(System.Net.Http.HttpContent) | 0 |
| System.Void System.Net.Http.DecompressionHandler.DeflateDecompressedContent..ctor(System.Net.Http.HttpContent) | 0 |
| System.Void System.Net.Http.DecompressionHandler.GZipDecompressedContent..ctor(System.Net.Http.HttpContent) | 0 |
| System.Void System.Net.Http.DelegatingHandler..ctor(System.Net.Http.HttpMessageHandler) | 0 |
| System.Void System.Net.Http.DelegatingHandler.set_InnerHandler(System.Net.Http.HttpMessageHandler) | 0 |
| System.Void System.Net.Http.DelegatingStream..ctor(System.IO.Stream) | 0 |
| System.Void System.Net.Http.DiagnosticsHandler..ctor(System.Net.Http.HttpMessageHandler) | 0 |
| System.Void System.Net.Http.HttpAuthenticatedConnectionHandler..ctor(System.Net.Http.HttpConnectionPoolManager) | 0 |
| System.Void System.Net.Http.HttpClient..ctor(System.Net.Http.HttpMessageHandler) | 0 |
| System.Void System.Net.Http.HttpClient..ctor(System.Net.Http.HttpMessageHandler,System.Boolean) | 0 |
| System.Void System.Net.Http.HttpClient.HandleFinishSendAsyncCleanup(System.Threading.CancellationTokenSource,System.Boolean) | 0 |
| System.Void System.Net.Http.HttpConnection..ctor(System.Net.Http.HttpConnectionPool,System.Net.Sockets.Socket,System.IO.Stream,System.Net.TransportContext) | 2 |
| System.Void System.Net.Http.HttpConnection.ChunkedEncodingReadStream..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnection.ChunkedEncodingWriteStream..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnection.ConnectionCloseReadStream..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnection.ContentLengthReadStream..ctor(System.Net.Http.HttpConnection,System.UInt64) | 0 |
| System.Void System.Net.Http.HttpConnection.ContentLengthWriteStream..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnection.HttpConnectionResponseContent.SetStream(System.Net.Http.HttpContentStream) | 0 |
| System.Void System.Net.Http.HttpConnection.HttpContentReadStream..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnection.HttpContentWriteStream..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnection.RawConnectionStream..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnectionHandler..ctor(System.Net.Http.HttpConnectionPoolManager) | 0 |
| System.Void System.Net.Http.HttpConnectionPool.<>c.<CleanCacheAndDisposeIfUnused>b__55_0(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnectionPool.CachedConnection..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnectionPool.ReturnConnection(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpConnectionWithFinalizer..ctor(System.Net.Http.HttpConnectionPool,System.Net.Sockets.Socket,System.IO.Stream,System.Net.TransportContext) | 2 |
| System.Void System.Net.Http.HttpContentDuplexStream..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpContentStream..ctor(System.Net.Http.HttpConnection) | 0 |
| System.Void System.Net.Http.HttpMessageInvoker..ctor(System.Net.Http.HttpMessageHandler) | 0 |
| System.Void System.Net.Http.HttpMessageInvoker..ctor(System.Net.Http.HttpMessageHandler,System.Boolean) | 0 |
| System.Void System.Net.Http.HttpRequestMessage.set_Content(System.Net.Http.HttpContent) | 0 |
| System.Void System.Net.Http.HttpResponseMessage.set_Content(System.Net.Http.HttpContent) | 0 |
| System.Void System.Net.Http.MessageProcessingHandler..ctor(System.Net.Http.HttpMessageHandler) | 0 |
| System.Void System.Net.Http.NoWriteNoSeekStreamContent..ctor(System.IO.Stream,System.Threading.CancellationToken) | 0 |
| System.Void System.Net.Http.NoWriteNoSeekStreamContent..ctor(System.IO.Stream) | 0 |
| System.Void System.Net.Http.RedirectHandler..ctor(System.Int32,System.Net.Http.HttpMessageHandler,System.Net.Http.HttpMessageHandler) | 1 |
| System.Void System.Net.Http.RedirectHandler..ctor(System.Int32,System.Net.Http.HttpMessageHandler,System.Net.Http.HttpMessageHandler) | 2 |
| System.Void System.Net.Http.StreamContent..ctor(System.IO.Stream) | 0 |
| System.Void System.Net.Http.StreamContent..ctor(System.IO.Stream,System.Int32) | 0 |
| System.Void System.Net.Http.StreamContent..ctor(System.IO.Stream,System.Int32,System.Threading.CancellationToken) | 0 |
| System.Void System.Net.Http.StreamContent.InitializeContent(System.IO.Stream,System.Int32) | 0 |
| System.Void System.Net.Http.StreamContent.ReadOnlyStream..ctor(System.IO.Stream) | 0 |
| System.Void System.Net.Http.StreamToStreamCopy.DisposeSource(System.IO.Stream) | 0 |
| System.Void System.Threading.Mutex.MutexCleanupInfo..ctor(Microsoft.Win32.SafeHandles.SafeWaitHandle,System.Boolean) | 0 |
| System.Void System.Net.Security.SafeDeleteNegoContext.SetGssContext(Microsoft.Win32.SafeHandles.SafeGssContextHandle) | 0 |
| System.Void System.TypeNameParser..ctor(System.SafeTypeNameParserHandle) | 0 |
| System.Void System.Xml.HtmlEncodedRawTextWriter..ctor(System.IO.Stream,System.Xml.XmlWriterSettings) | 0 |
| System.Void System.Xml.HtmlEncodedRawTextWriter..ctor(System.IO.TextWriter,System.Xml.XmlWriterSettings) | 0 |

2
csharp/ql/test/library-tests/commons/Disposal/UndisposedParameter.expected
View File

@@ -7,6 +7,7 @@
| System.IO.TextWriter System.Console.EnsureInitialized<System.IO.TextWriter>(System.IO.TextWriter,System.Func<System.IO.TextWriter>) | 0 |
| System.IO.TextWriter System.IO.TextWriter.Synchronized(System.IO.TextWriter) | 0 |
| System.IO.TextWriter System.Threading.Volatile.Read<System.IO.TextWriter>(System.IO.TextWriter) | 0 |
| System.Tuple<System.IO.TextWriter,System.ReadOnlyMemory<System.Char>> System.Tuple.Create<System.IO.TextWriter,System.ReadOnlyMemory<System.Char>>(System.IO.TextWriter,System.ReadOnlyMemory<System.Char>) | 0 |
| System.Void System.CodeDom.Compiler.IndentedTextWriter..ctor(System.IO.TextWriter) | 0 |
| System.Void System.CodeDom.Compiler.IndentedTextWriter..ctor(System.IO.TextWriter,System.String) | 0 |
| System.Void System.IO.TextWriter.SyncTextWriter..ctor(System.IO.TextWriter) | 0 |
@@ -17,6 +18,7 @@
| System.Void System.Tuple<System.Char,System.IO.TextWriter>..ctor(System.IO.TextWriter,System.Char) | 0 |
| System.Void System.Tuple<System.Char[],System.IO.TextWriter,System.Int32,System.Int32>..ctor(System.IO.TextWriter,System.Char[],System.Int32,System.Int32) | 0 |
| System.Void System.Tuple<System.IO.TextWriter,System.String>..ctor(System.IO.TextWriter,System.String) | 0 |
| System.Void System.Xml.Serialization.IndentedWriter..ctor(System.IO.TextWriter,System.Boolean) | 0 |
| System.Void System.Xml.XmlTextEncoder..ctor(System.IO.TextWriter) | 0 |
| System.Void System.Xml.Xsl.XslTransform.Transform(System.Xml.XPath.IXPathNavigable,System.Xml.Xsl.XsltArgumentList,System.IO.TextWriter) | 2 |
| System.Void System.Xml.Xsl.XslTransform.Transform(System.Xml.XPath.IXPathNavigable,System.Xml.Xsl.XsltArgumentList,System.IO.TextWriter,System.Xml.XmlResolver) | 2 |

4
csharp/ql/test/library-tests/conversion/boxing/Boxing.expected
View File

@@ -21,6 +21,7 @@
| Int32 | IConvertible |
| Int32 | IEquatable<Int32> |
| Int32 | IFormattable |
| Int32 | ISpanFormattable |
| Int32 | Object |
| Int32 | ValueType |
| Int32 | dynamic |
@@ -29,6 +30,7 @@
| Nullable<Int32> | IConvertible |
| Nullable<Int32> | IEquatable<Int32> |
| Nullable<Int32> | IFormattable |
| Nullable<Int32> | ISpanFormattable |
| Nullable<Int32> | Object |
| Nullable<Int32> | ValueType |
| Nullable<Int32> | dynamic |
@@ -41,4 +43,4 @@
| T4 | dynamic |
| T5 | I |
| T5 | Object |
| T5 | dynamic |
| T5 | dynamic |

7
csharp/ql/test/library-tests/conversion/operator/Operator.expected
View File

@@ -1,19 +1,24 @@
| ArraySegment<T> | Memory<> |
| ArraySegment<T> | ReadOnlyMemory<> |
| ArraySegment<T> | ReadOnlySpan<> |
| ArraySegment<T> | Span<> |
| Byte | Decimal |
| Char | Decimal |
| DateTime | DateTimeOffset |
| EventSource | EventSourceActivity |
| Int16 | Decimal |
| Int32 | C |
| Int32 | Decimal |
| Int32 | MetadataToken |
| Int64 | Decimal |
| Memory<> | ReadOnlyMemory<T> |
| MetadataToken | Int32 |
| SByte | Decimal |
| Span<> | ReadOnlySpan<T> |
| String | ReadOnlySpan<Char> |
| T | Nullable<> |
| T[] | ArraySegment<> |
| T[] | Memory<> |
| T[] | ReadOnlyMemory<> |
| T[] | ReadOnlySpan<> |
| T[] | Span<> |
| UInt16 | Decimal |

3
csharp/ql/test/library-tests/conversion/reftype/RefType.expected
View File

@@ -178,6 +178,8 @@
| Object | dynamic |
| Object[] | Object |
| Object[] | dynamic |
| SByte[] | Object |
| SByte[] | dynamic |
| T3[] | ICollection<T3> |
| T3[] | IEnumerable<T3> |
| T3[] | IList<T3> |
@@ -260,6 +262,7 @@
| null | Int64[] |
| null | Object |
| null | Object[] |
| null | SByte[] |
| null | T3[] |
| null | T4 |
| null | T4[] |

34
csharp/ql/test/library-tests/dataflow/library/LibraryTypeDataFlow.expected
View File

@@ -129,6 +129,9 @@
| System.Collections.IEnumerator.get_Current() | qualifier -> return | true |
| System.Collections.IList.Add(object) | argument 0 -> qualifier | false |
| System.Collections.IList.Insert(int, object) | argument 1 -> qualifier | false |
| System.Collections.ListDictionaryInternal.Add(object, object) | argument 1 -> qualifier | false |
| System.Collections.ListDictionaryInternal.GetEnumerator() | qualifier -> return | false |
| System.Collections.ListDictionaryInternal.get_Values() | qualifier -> return | false |
| System.Collections.ObjectModel.Collection<>.Add(T) | argument 0 -> qualifier | false |
| System.Collections.ObjectModel.Collection<>.Add(object) | argument 0 -> qualifier | false |
| System.Collections.ObjectModel.Collection<>.GetEnumerator() | qualifier -> return | false |
@@ -224,6 +227,7 @@
| System.Convert.IsDBNull(object) | argument 0 -> return | false |
| System.Convert.ToBase64CharArray(byte[], int, int, char[], int) | argument 0 -> return | false |
| System.Convert.ToBase64CharArray(byte[], int, int, char[], int, Base64FormattingOptions) | argument 0 -> return | false |
| System.Convert.ToBase64String(ReadOnlySpan<byte>, Base64FormattingOptions) | argument 0 -> return | false |
| System.Convert.ToBase64String(byte[]) | argument 0 -> return | false |
| System.Convert.ToBase64String(byte[], Base64FormattingOptions) | argument 0 -> return | false |
| System.Convert.ToBase64String(byte[], int, int) | argument 0 -> return | false |
@@ -524,12 +528,16 @@
| System.Convert.ToUInt64(uint) | argument 0 -> return | false |
| System.Convert.ToUInt64(ulong) | argument 0 -> return | false |
| System.Convert.ToUInt64(ushort) | argument 0 -> return | false |
| System.Convert.TryFromBase64Chars(ReadOnlySpan<char>, Span<byte>, out int) | argument 0 -> return | false |
| System.Convert.TryFromBase64String(string, Span<byte>, out int) | argument 0 -> return | false |
| System.Convert.TryToBase64Chars(ReadOnlySpan<byte>, Span<char>, out int, Base64FormattingOptions) | argument 0 -> return | false |
| System.Dynamic.ExpandoObject.Add(KeyValuePair<string, object>) | argument 0 -> qualifier | false |
| System.Dynamic.ExpandoObject.Add(string, object) | argument 1 -> qualifier | false |
| System.Dynamic.ExpandoObject.GetEnumerator() | qualifier -> return | false |
| System.ICloneable.Clone() | qualifier -> return | false |
| System.IO.BufferedStream.BeginRead(byte[], int, int, AsyncCallback, object) | qualifier -> argument 0 | false |
| System.IO.BufferedStream.BeginWrite(byte[], int, int, AsyncCallback, object) | argument 0 -> qualifier | false |
| System.IO.BufferedStream.CopyTo(Stream, int) | qualifier -> argument 0 | false |
| System.IO.BufferedStream.CopyToAsync(Stream, int, CancellationToken) | qualifier -> argument 0 | false |
| System.IO.BufferedStream.Read(byte[], int, int) | qualifier -> argument 0 | false |
| System.IO.BufferedStream.ReadAsync(byte[], int, int, CancellationToken) | qualifier -> argument 0 | false |
@@ -548,6 +556,7 @@
| System.IO.Compression.DeflateStream.WriteAsync(byte[], int, int, CancellationToken) | argument 0 -> qualifier | false |
| System.IO.Compression.GZipStream.BeginRead(byte[], int, int, AsyncCallback, object) | qualifier -> argument 0 | false |
| System.IO.Compression.GZipStream.BeginWrite(byte[], int, int, AsyncCallback, object) | argument 0 -> qualifier | false |
| System.IO.Compression.GZipStream.CopyTo(Stream, int) | qualifier -> argument 0 | false |
| System.IO.Compression.GZipStream.CopyToAsync(Stream, int, CancellationToken) | qualifier -> argument 0 | false |
| System.IO.Compression.GZipStream.Read(byte[], int, int) | qualifier -> argument 0 | false |
| System.IO.Compression.GZipStream.ReadAsync(byte[], int, int, CancellationToken) | qualifier -> argument 0 | false |
@@ -580,11 +589,17 @@
| System.IO.Path.Combine(string, string, string, string) | argument 1 -> return | false |
| System.IO.Path.Combine(string, string, string, string) | argument 2 -> return | false |
| System.IO.Path.Combine(string, string, string, string) | argument 3 -> return | false |
| System.IO.Path.GetDirectoryName(ReadOnlySpan<char>) | argument 0 -> return | false |
| System.IO.Path.GetDirectoryName(string) | argument 0 -> return | false |
| System.IO.Path.GetExtension(ReadOnlySpan<char>) | argument 0 -> return | false |
| System.IO.Path.GetExtension(string) | argument 0 -> return | false |
| System.IO.Path.GetFileName(ReadOnlySpan<char>) | argument 0 -> return | false |
| System.IO.Path.GetFileName(string) | argument 0 -> return | false |
| System.IO.Path.GetFileNameWithoutExtension(ReadOnlySpan<char>) | argument 0 -> return | false |
| System.IO.Path.GetFileNameWithoutExtension(string) | argument 0 -> return | false |
| System.IO.Path.GetFullPath(string) | argument 0 -> return | false |
| System.IO.Path.GetFullPath(string, string) | argument 0 -> return | false |
| System.IO.Path.GetPathRoot(ReadOnlySpan<char>) | argument 0 -> return | false |
| System.IO.Path.GetPathRoot(string) | argument 0 -> return | false |
| System.IO.Path.GetRelativePath(string, string) | argument 1 -> return | false |
| System.IO.Pipes.PipeStream.BeginRead(byte[], int, int, AsyncCallback, object) | qualifier -> argument 0 | false |
@@ -598,6 +613,7 @@
| System.IO.Stream.CopyTo(Stream) | qualifier -> argument 0 | false |
| System.IO.Stream.CopyTo(Stream, int) | qualifier -> argument 0 | false |
| System.IO.Stream.CopyToAsync(Stream) | qualifier -> argument 0 | false |
| System.IO.Stream.CopyToAsync(Stream, CancellationToken) | qualifier -> argument 0 | false |
| System.IO.Stream.CopyToAsync(Stream, int) | qualifier -> argument 0 | false |
| System.IO.Stream.CopyToAsync(Stream, int, CancellationToken) | qualifier -> argument 0 | false |
| System.IO.Stream.Read(byte[], int, int) | qualifier -> argument 0 | false |
@@ -607,8 +623,12 @@
| System.IO.Stream.WriteAsync(byte[], int, int) | argument 0 -> qualifier | false |
| System.IO.Stream.WriteAsync(byte[], int, int, CancellationToken) | argument 0 -> qualifier | false |
| System.IO.StringReader.Read() | qualifier -> return | false |
| System.IO.StringReader.Read(Span<char>) | qualifier -> return | false |
| System.IO.StringReader.Read(char[], int, int) | qualifier -> return | false |
| System.IO.StringReader.ReadAsync(Memory<char>, CancellationToken) | qualifier -> return | false |
| System.IO.StringReader.ReadAsync(char[], int, int) | qualifier -> return | false |
| System.IO.StringReader.ReadBlock(Span<char>) | qualifier -> return | false |
| System.IO.StringReader.ReadBlockAsync(Memory<char>, CancellationToken) | qualifier -> return | false |
| System.IO.StringReader.ReadBlockAsync(char[], int, int) | qualifier -> return | false |
| System.IO.StringReader.ReadLine() | qualifier -> return | false |
| System.IO.StringReader.ReadLineAsync() | qualifier -> return | false |
@@ -616,9 +636,13 @@
| System.IO.StringReader.ReadToEndAsync() | qualifier -> return | false |
| System.IO.StringReader.StringReader(string) | argument 0 -> return | false |
| System.IO.TextReader.Read() | qualifier -> return | false |
| System.IO.TextReader.Read(Span<char>) | qualifier -> return | false |
| System.IO.TextReader.Read(char[], int, int) | qualifier -> return | false |
| System.IO.TextReader.ReadAsync(Memory<char>, CancellationToken) | qualifier -> return | false |
| System.IO.TextReader.ReadAsync(char[], int, int) | qualifier -> return | false |
| System.IO.TextReader.ReadBlock(Span<char>) | qualifier -> return | false |
| System.IO.TextReader.ReadBlock(char[], int, int) | qualifier -> return | false |
| System.IO.TextReader.ReadBlockAsync(Memory<char>, CancellationToken) | qualifier -> return | false |
| System.IO.TextReader.ReadBlockAsync(char[], int, int) | qualifier -> return | false |
| System.IO.TextReader.ReadLine() | qualifier -> return | false |
| System.IO.TextReader.ReadLineAsync() | qualifier -> return | false |
@@ -1283,7 +1307,9 @@
| System.Net.Security.SslStream.BeginRead(byte[], int, int, AsyncCallback, object) | qualifier -> argument 0 | false |
| System.Net.Security.SslStream.BeginWrite(byte[], int, int, AsyncCallback, object) | argument 0 -> qualifier | false |
| System.Net.Security.SslStream.Read(byte[], int, int) | qualifier -> argument 0 | false |
| System.Net.Security.SslStream.ReadAsync(byte[], int, int, CancellationToken) | qualifier -> argument 0 | false |
| System.Net.Security.SslStream.Write(byte[], int, int) | argument 0 -> qualifier | false |
| System.Net.Security.SslStream.WriteAsync(byte[], int, int, CancellationToken) | argument 0 -> qualifier | false |
| System.Net.WebUtility.HtmlEncode(string) | argument 0 -> return | false |
| System.Net.WebUtility.HtmlEncode(string, TextWriter) | argument 0 -> return | false |
| System.Net.WebUtility.UrlEncode(string) | argument 0 -> return | false |
@@ -1315,11 +1341,6 @@
| System.String.Concat(object, object, object) | argument 0 -> return | false |
| System.String.Concat(object, object, object) | argument 1 -> return | false |
| System.String.Concat(object, object, object) | argument 2 -> return | false |
| System.String.Concat(object, object, object, object, __arglist) | argument 0 -> return | false |
| System.String.Concat(object, object, object, object, __arglist) | argument 1 -> return | false |
| System.String.Concat(object, object, object, object, __arglist) | argument 2 -> return | false |
| System.String.Concat(object, object, object, object, __arglist) | argument 3 -> return | false |
| System.String.Concat(object, object, object, object, __arglist) | argument 4 -> return | false |
| System.String.Concat(string, string) | argument 0 -> return | false |
| System.String.Concat(string, string) | argument 1 -> return | false |
| System.String.Concat(string, string, string) | argument 0 -> return | false |
@@ -1406,6 +1427,7 @@
| System.String.TrimStart() | qualifier -> return | false |
| System.String.TrimStart(char) | qualifier -> return | false |
| System.String.TrimStart(params char[]) | qualifier -> return | false |
| System.Text.Encoding.GetBytes(ReadOnlySpan<char>, Span<byte>) | argument 0 -> return | false |
| System.Text.Encoding.GetBytes(char*, int, byte*, int) | argument 0 -> return | false |
| System.Text.Encoding.GetBytes(char[]) | argument 0 -> return | false |
| System.Text.Encoding.GetBytes(char[], int, int) | argument 0 -> return | false |
@@ -1413,10 +1435,12 @@
| System.Text.Encoding.GetBytes(string) | argument 0 -> return | false |
| System.Text.Encoding.GetBytes(string, int, int) | argument 0 -> return | false |
| System.Text.Encoding.GetBytes(string, int, int, byte[], int) | argument 0 -> return | false |
| System.Text.Encoding.GetChars(ReadOnlySpan<byte>, Span<char>) | argument 0 -> return | false |
| System.Text.Encoding.GetChars(byte*, int, char*, int) | argument 0 -> return | false |
| System.Text.Encoding.GetChars(byte[]) | argument 0 -> return | false |
| System.Text.Encoding.GetChars(byte[], int, int) | argument 0 -> return | false |
| System.Text.Encoding.GetChars(byte[], int, int, char[], int) | argument 0 -> return | false |
| System.Text.Encoding.GetString(ReadOnlySpan<byte>) | argument 0 -> return | false |
| System.Text.Encoding.GetString(byte*, int) | argument 0 -> return | false |
| System.Text.Encoding.GetString(byte[]) | argument 0 -> return | false |
| System.Text.Encoding.GetString(byte[], int, int) | argument 0 -> return | false |

14
csharp/ql/test/library-tests/frameworks/format/StringFormatItemParameter.expected
View File

@@ -30,6 +30,20 @@
| StringBuilder | AppendFormat(string, object, object, object) | arg2 |
| StringBuilder | AppendFormat(string, params object[]) | args |
| Strings | MyStringFormat(string, params object[]) | args |
| TextWriter | Write(string, object) | arg0 |
| TextWriter | Write(string, object, object) | arg0 |
| TextWriter | Write(string, object, object) | arg1 |
| TextWriter | Write(string, object, object, object) | arg0 |
| TextWriter | Write(string, object, object, object) | arg1 |
| TextWriter | Write(string, object, object, object) | arg2 |
| TextWriter | Write(string, params object[]) | arg |
| TextWriter | WriteLine(string, object) | arg0 |
| TextWriter | WriteLine(string, object, object) | arg0 |
| TextWriter | WriteLine(string, object, object) | arg1 |
| TextWriter | WriteLine(string, object, object, object) | arg0 |
| TextWriter | WriteLine(string, object, object, object) | arg1 |
| TextWriter | WriteLine(string, object, object, object) | arg2 |
| TextWriter | WriteLine(string, params object[]) | arg |
| string | Format(IFormatProvider, string, object) | arg0 |
| string | Format(IFormatProvider, string, object, object) | arg0 |
| string | Format(IFormatProvider, string, object, object) | arg1 |

10
csharp/ql/test/query-tests/Metrics/Dependencies/ExternalDependencies/ExternalDependencies.expected
View File

@@ -1,5 +1,5 @@
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Net.Http<\|>4.2.0.0 | 11 |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Private.DataContractSerialization<\|>4.1.3.0 | 2 |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Private.Xml<\|>4.0.0.0 | 2 |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Data.Common<\|>4.2.0.0 | 1 |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File2.cs<\|>System.Net.Http<\|>4.2.0.0 | 1 |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Net.Http<\|>4.2.1.0 | 11 |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Private.DataContractSerialization<\|>4.1.4.0 | 2 |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Private.Xml<\|>4.0.1.0 | 2 |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Data.Common<\|>4.2.1.0 | 1 |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File2.cs<\|>System.Net.Http<\|>4.2.1.0 | 1 |

10
csharp/ql/test/query-tests/Metrics/Dependencies/ExternalDependencies/ExternalDependenciesSourceLinks.expected
View File

@@ -1,5 +1,5 @@
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Data.Common<\|>4.2.0.0 | File1.cs:0:0:0:0 | File1.cs |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Net.Http<\|>4.2.0.0 | File1.cs:0:0:0:0 | File1.cs |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Private.DataContractSerialization<\|>4.1.3.0 | File1.cs:0:0:0:0 | File1.cs |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Private.Xml<\|>4.0.0.0 | File1.cs:0:0:0:0 | File1.cs |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File2.cs<\|>System.Net.Http<\|>4.2.0.0 | File2.cs:0:0:0:0 | File2.cs |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Data.Common<\|>4.2.1.0 | File1.cs:0:0:0:0 | File1.cs |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Net.Http<\|>4.2.1.0 | File1.cs:0:0:0:0 | File1.cs |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Private.DataContractSerialization<\|>4.1.4.0 | File1.cs:0:0:0:0 | File1.cs |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File1.cs<\|>System.Private.Xml<\|>4.0.1.0 | File1.cs:0:0:0:0 | File1.cs |
| /query-tests/Metrics/Dependencies/ExternalDependencies/File2.cs<\|>System.Net.Http<\|>4.2.1.0 | File2.cs:0:0:0:0 | File2.cs |

2
csharp/ql/test/query-tests/Stubs/MinimalStubsFromSource.expected
View File

File diff suppressed because one or more lines are too long