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

Fix more failing tests

Browse Source
This commit is contained in:
Tamas Vajk
2021-02-11 14:58:21 +01:00
parent 2b1c6faefd
commit 6205ec233c
13 changed files with 844 additions and 328 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
csharp/ql/test/library-tests/assemblies/compilation.expected
View File

@@ -1,9 +1,9 @@
| Assembly1, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null | no compilation |
| Locations, Version=1.0.0.0, Culture=neutral, PublicKeyToken=null | has compilation |
| System, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089 | no compilation |
| System.Console, Version=4.1.2.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Console, Version=5.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Core, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089 | no compilation |
| System.Private.CoreLib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e | no compilation |
| System.Runtime, Version=4.2.2.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Runtime.Extensions, Version=4.2.2.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Private.CoreLib, Version=5.0.0.0, Culture=neutral, PublicKeyToken=7cec85d7bea7798e | no compilation |
| System.Runtime, Version=5.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| System.Runtime.Extensions, Version=5.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a | no compilation |
| mscorlib, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089 | no compilation |

550
csharp/ql/test/library-tests/cil/attributes/attribute.expected
View File

File diff suppressed because it is too large Load Diff

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

@@ -1 +1,19 @@
| DispatchTailCalls | No label |
| EnumCalendarInfo | No label |
| Finalize | Overridden method from System.Object is not in a base type |
| Unknown instruction in DispatchTailCalls | Call has invalid target |
| Unknown instruction in DispatchTailCalls | Cfg node has 0 pop counts |
| Unknown instruction in DispatchTailCalls | Cfg node has 0 push counts |
| Unknown instruction in DispatchTailCalls | Inconsistent stack size |
| Unknown instruction in DispatchTailCalls | Opcode 41 is missing a QL class |
| bne.un.s | Inconsistent stack size |
| conv.u | Inconsistent stack size |
| delegate* managed<IntPtr,IntPtr,IntPtr*,Void> | No label |
| delegate* unmanaged<Char*,IntPtr,Void> | No label |
| ldarg.1 | Inconsistent stack size |
| ldc.i4.0 | Inconsistent stack size |
| ldfld | Inconsistent stack size |
| ldloc.3 | Inconsistent stack size |
| leave.s | Inconsistent stack size |
| ret | Inconsistent stack size |
| starg.s | Inconsistent stack size |

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

@@ -24,7 +24,7 @@ alwaysNonNull
| System.String System.ThrowHelper.GetArgumentName(System.ExceptionArgument) |
| System.Text.Encoder System.Text.ASCIIEncoding.GetEncoder() |
| System.Text.Encoder System.Text.Encoding.GetEncoder() |
| System.Text.Encoder System.Text.EncodingNLS.GetEncoder() |
| System.Text.Encoder System.Text.Latin1Encoding.GetEncoder() |
| System.Text.Encoder System.Text.UTF7Encoding.GetEncoder() |
| System.Text.Encoder System.Text.UTF8Encoding.GetEncoder() |
| System.Text.Encoder System.Text.UTF32Encoding.GetEncoder() |
@@ -38,6 +38,7 @@ alwaysThrows
| 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_Argument_InvalidArrayType() | System.ArgumentException | 0: call System.SR.get_Argument_InvalidArrayType, 1: newobj System.ArgumentException..ctor, 2: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_BadComparer(System.Object) | System.ArgumentException | 0: call System.SR.get_Arg_BogusIComparer, 1: ldarg.0, 2: call System.SR.Format, 3: newobj System.ArgumentException..ctor, 4: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_CannotExtractScalar(System.ExceptionArgument) | System.ArgumentException | 0: ldc.i4.s 31, 1: ldarg.0, 2: call System.ThrowHelper.GetArgumentException, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_DestinationTooShort() | System.ArgumentException | 0: call System.SR.get_Argument_DestinationTooShort, 1: ldstr "destination", 2: newobj System.ArgumentException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentException_OverlapAlignmentMismatch() | System.ArgumentException | 0: call System.SR.get_Argument_OverlapAlignmentMismatch, 1: newobj System.ArgumentException..ctor, 2: throw |
@@ -46,7 +47,11 @@ alwaysThrows
| 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_PrecisionTooLarge() | System.ArgumentOutOfRangeException | 0: ldstr "precision", 1: call System.SR.get_Argument_PrecisionTooLarge, 2: ldc.i4.s 31, 3: box, 4: call System.SR.Format, 5: newobj System.ArgumentOutOfRangeException..ctor, 6: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRangeException_SymbolDoesNotFit() | System.ArgumentOutOfRangeException | 0: ldstr "symbol", 1: call System.SR.get_Argument_BadFormatSpecifier, 2: newobj System.ArgumentOutOfRangeException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_BadHourMinuteSecond() | System.ArgumentOutOfRangeException | 0: ldnull, 1: call System.SR.get_ArgumentOutOfRange_BadHourMinuteSecond, 2: newobj System.ArgumentOutOfRangeException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_BadYearMonthDay() | System.ArgumentOutOfRangeException | 0: ldnull, 1: call System.SR.get_ArgumentOutOfRange_BadYearMonthDay, 2: newobj System.ArgumentOutOfRangeException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_IndexException() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.0, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_TimeSpanTooLong() | System.ArgumentOutOfRangeException | 0: ldnull, 1: call System.SR.get_Overflow_TimeSpanTooLong, 2: newobj System.ArgumentOutOfRangeException..ctor, 3: throw |
| System.Void System.ThrowHelper.ThrowArgumentOutOfRange_Year() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.4, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |
| System.Void System.ThrowHelper.ThrowArraySegmentCtorValidationFailedExceptions(System.Array,System.Int32,System.Int32) | System.Exception | 0: ldarg.0, 1: ldarg.1, 2: ldarg.2, 3: call System.ThrowHelper.GetArraySegmentCtorValidationFailedException, 4: throw |
| System.Void System.ThrowHelper.ThrowArrayTypeMismatchException() | System.ArrayTypeMismatchException | 0: newobj System.ArrayTypeMismatchException..ctor, 1: throw |
| System.Void System.ThrowHelper.ThrowCountArgumentOutOfRange_ArgumentOutOfRange_Count() | System.ArgumentOutOfRangeException | 0: ldc.i4.s 31, 1: ldc.i4.3, 2: call System.ThrowHelper.GetArgumentOutOfRangeException, 3: throw |

28
csharp/ql/test/library-tests/cil/enums/enums.expected
View File

@@ -3,6 +3,7 @@
| Interop.Error | int |
| Interop.Globalization.ResultCode | int |
| Interop.Globalization.TimeZoneDisplayNameType | int |
| Interop.PollEvents | short |
| Interop.Sys.AccessMode | int |
| Interop.Sys.ControlCharacterNames | int |
| Interop.Sys.CtrlCode | int |
@@ -11,7 +12,6 @@
| Interop.Sys.LockOperations | int |
| Interop.Sys.NodeType | int |
| Interop.Sys.OpenFlags | int |
| Interop.Sys.PollEvents | short |
| Interop.Sys.SeekWhence | int |
| Interop.Sys.SysConfName | int |
| Interop.Sys.SysLogPriority | int |
@@ -19,7 +19,6 @@
| System.Base64FormattingOptions | int |
| System.Buffers.ArrayPoolEventSource.BufferAllocatedReason | int |
| System.Buffers.OperationStatus | int |
| System.Buffers.Text.FormattingHelpers.HexCasing | uint |
| System.Buffers.Text.Utf8Parser.ComponentParseResult | byte |
| System.Buffers.Text.Utf8Parser.ParseNumberOptions | int |
| System.Buffers.TlsOverPerCoreLockedStacksArrayPool.MemoryPressure | int |
@@ -39,6 +38,7 @@
| System.DayOfWeek | int |
| System.DefaultBinder.Primitives | int |
| System.DelegateBindingFlags | int |
| System.Diagnostics.CodeAnalysis.DynamicallyAccessedMemberTypes | int |
| System.Diagnostics.Contracts.ContractFailureKind | int |
| System.Diagnostics.DebuggableAttribute.DebuggingModes | int |
| System.Diagnostics.DebuggerBrowsableState | int |
@@ -55,6 +55,7 @@
| System.Diagnostics.Tracing.EventLevel | int |
| System.Diagnostics.Tracing.EventManifestOptions | int |
| System.Diagnostics.Tracing.EventOpcode | int |
| System.Diagnostics.Tracing.EventPipeMetadataGenerator.MetadataTag | int |
| System.Diagnostics.Tracing.EventPipeSerializationFormat | int |
| System.Diagnostics.Tracing.EventProvider.WriteEventErrorCode | int |
| System.Diagnostics.Tracing.EventProviderType | int |
@@ -70,10 +71,11 @@
| System.ExceptionArgument | int |
| System.ExceptionResource | int |
| System.GC.EndNoGCRegionStatus | int |
| System.GC.GC_ALLOC_FLAGS | int |
| System.GC.StartNoGCRegionStatus | int |
| System.GCCollectionMode | int |
| System.GCKind | int |
| System.GCNotificationStatus | int |
| System.Globalization.BidiCategory | int |
| System.Globalization.CalendarAlgorithmType | int |
| System.Globalization.CalendarDataType | int |
| System.Globalization.CalendarId | ushort |
@@ -93,9 +95,10 @@
| System.Globalization.HebrewNumber.HS | sbyte |
| System.Globalization.HebrewNumber.HebrewToken | short |
| System.Globalization.HebrewNumberParsingState | int |
| System.Globalization.LocaleDataParts | int |
| System.Globalization.IcuLocaleDataParts | int |
| System.Globalization.MonthNameStyles | int |
| System.Globalization.NumberStyles | int |
| System.Globalization.StrongBidiCategory | int |
| System.Globalization.TextInfo.Tristate | byte |
| System.Globalization.TimeSpanFormat.StandardFormat | int |
| System.Globalization.TimeSpanParse.TTT | byte |
@@ -103,6 +106,7 @@
| System.Globalization.TimeSpanStyles | int |
| System.Globalization.UnicodeCategory | int |
| System.Guid.GuidParseThrowStyle | byte |
| System.HexConverter.Casing | uint |
| System.IO.FileAccess | int |
| System.IO.FileAttributes | int |
| System.IO.FileMode | int |
@@ -111,6 +115,7 @@
| System.IO.HandleInheritability | int |
| System.IO.SeekOrigin | int |
| System.LazyState | int |
| System.LoaderOptimization | int |
| System.MidpointRounding | int |
| System.Number.NumberBufferKind | byte |
| System.Number.ParsingStatus | int |
@@ -158,6 +163,7 @@
| System.Reflection.TypeAttributes | int |
| System.Resources.ResourceTypeCode | int |
| System.Resources.UltimateResourceFallbackLocation | int |
| System.Runtime.CompilerServices.CastHelpers.CastResult | int |
| System.Runtime.CompilerServices.CompilationRelaxations | int |
| System.Runtime.CompilerServices.LoadHint | int |
| System.Runtime.CompilerServices.MethodCodeType | int |
@@ -186,6 +192,8 @@
| System.Runtime.InteropServices.ComTypes.TYPEKIND | int |
| System.Runtime.InteropServices.ComTypes.VARFLAGS | short |
| System.Runtime.InteropServices.ComTypes.VARKIND | int |
| System.Runtime.InteropServices.CreateComInterfaceFlags | int |
| System.Runtime.InteropServices.CreateObjectFlags | int |
| System.Runtime.InteropServices.CustomQueryInterfaceMode | int |
| System.Runtime.InteropServices.CustomQueryInterfaceResult | int |
| System.Runtime.InteropServices.DllImportSearchPath | int |
@@ -196,20 +204,27 @@
| System.Runtime.Intrinsics.X86.FloatComparisonMode | byte |
| System.Runtime.Loader.AssemblyLoadContext.InternalState | int |
| System.Runtime.Serialization.StreamingContextStates | int |
| System.Runtime.Versioning.ComponentGuaranteesOptions | int |
| System.Runtime.Versioning.ResourceScope | int |
| System.Runtime.Versioning.SxSRequirements | int |
| System.RuntimeType.MemberListType | int |
| System.RuntimeType.RuntimeTypeCache.CacheType | int |
| System.Security.PartialTrustVisibilityLevel | int |
| System.Security.Permissions.PermissionState | int |
| System.Security.Permissions.SecurityAction | int |
| System.Security.Permissions.SecurityPermissionFlag | int |
| System.Security.Principal.PrincipalPolicy | int |
| System.Security.Principal.TokenImpersonationLevel | int |
| System.Security.SecurityCriticalScope | int |
| System.Security.SecurityRuleSet | byte |
| System.String.TrimType | int |
| System.StringComparison | int |
| System.StringSplitOptions | int |
| System.StubHelpers.AsAnyMarshaler.BackPropAction | int |
| System.TermInfo.WellKnownNumbers | int |
| System.TermInfo.WellKnownStrings | int |
| System.Text.NormalizationForm | int |
| System.Text.TrimType | int |
| System.Text.Unicode.GraphemeClusterBreakType | int |
| System.Threading.ApartmentState | int |
| System.Threading.EventResetMode | int |
| System.Threading.LazyThreadSafetyMode | int |
@@ -218,6 +233,9 @@
| System.Threading.ReaderWriterLockSlim.EnterSpinLockReason | int |
| System.Threading.ReaderWriterLockSlim.WaiterStates | byte |
| System.Threading.StackCrawlMark | int |
| System.Threading.Tasks.AsyncCausalityStatus | int |
| System.Threading.Tasks.CausalityRelation | int |
| System.Threading.Tasks.CausalitySynchronousWork | int |
| System.Threading.Tasks.ConcurrentExclusiveSchedulerPair.ProcessingMode | byte |
| System.Threading.Tasks.InternalTaskOptions | int |
| System.Threading.Tasks.Sources.ValueTaskSourceOnCompletedFlags | int |

7
csharp/ql/test/library-tests/cil/functionPointers/functionPointers.expected
View File

@@ -6,7 +6,9 @@ fnptr
| delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | 2 | Int32 | 0 |
| delegate* managed<Int32*,Void*> | 1 | Void* | 0 |
| delegate* managed<Int32> | 0 | Int32 | 0 |
| delegate* managed<IntPtr,IntPtr,IntPtr*,Void> | 3 | void | 0 |
| delegate* managed<Void*,Int32*> | 1 | Int32* | 0 |
| delegate* unmanaged<Char*,IntPtr,Void> | 2 | void | 9 |
| delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | 3 | void | 2 |
params
| delegate* managed<!0,Int32> | 0 | Parameter 0 of delegate* managed<!0,Int32> | !0 |
@@ -18,7 +20,12 @@ params
| delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | 0 | Parameter 0 of delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | Int32& |
| delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | 1 | Parameter 1 of delegate* managed<Int32&,Object& modreq(OutAttribute),Int32> | Object& |
| delegate* managed<Int32*,Void*> | 0 | Parameter 0 of delegate* managed<Int32*,Void*> | Int32* |
| delegate* managed<IntPtr,IntPtr,IntPtr*,Void> | 0 | Parameter 0 of delegate* managed<IntPtr,IntPtr,IntPtr*,Void> | IntPtr |
| delegate* managed<IntPtr,IntPtr,IntPtr*,Void> | 1 | Parameter 1 of delegate* managed<IntPtr,IntPtr,IntPtr*,Void> | IntPtr |
| delegate* managed<IntPtr,IntPtr,IntPtr*,Void> | 2 | Parameter 2 of delegate* managed<IntPtr,IntPtr,IntPtr*,Void> | IntPtr* |
| delegate* managed<Void*,Int32*> | 0 | Parameter 0 of delegate* managed<Void*,Int32*> | Void* |
| delegate* unmanaged<Char*,IntPtr,Void> | 0 | Parameter 0 of delegate* unmanaged<Char*,IntPtr,Void> | Char* |
| delegate* unmanaged<Char*,IntPtr,Void> | 1 | Parameter 1 of delegate* unmanaged<Char*,IntPtr,Void> | IntPtr |
| delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | 0 | Parameter 0 of delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | Int32& |
| delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | 1 | Parameter 1 of delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | Object& |
| delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | 2 | Parameter 2 of delegate* unmanaged[StdCall]<Int32&,Object& modreq(OutAttribute),!0,Void> | !0 |

15
csharp/ql/test/library-tests/cil/init-only-prop/customModifiers.expected
View File

@@ -1,13 +1,10 @@
| AsRef | System.Runtime.InteropServices.InAttribute | modreq |
| BeginInvoke | System.Runtime.InteropServices.InAttribute | modreq |
| EndInvoke | System.Runtime.InteropServices.InAttribute | modreq |
| EventWriteTransfer | System.Runtime.InteropServices.InAttribute | modreq |
| GetPinnableReference | System.Runtime.InteropServices.InAttribute | modreq |
| Invoke | System.Runtime.InteropServices.InAttribute | modreq |
| Max | System.Runtime.InteropServices.InAttribute | modreq |
| Min | System.Runtime.InteropServices.InAttribute | modreq |
| Value | System.Runtime.CompilerServices.IsVolatile | modreq |
| _bufferedValues | System.Runtime.CompilerServices.IsVolatile | modreq |
| _bufferedValuesIndex | System.Runtime.CompilerServices.IsVolatile | modreq |
| _callbackPartitions | System.Runtime.CompilerServices.IsVolatile | modreq |
| _canceled | System.Runtime.CompilerServices.IsVolatile | modreq |
@@ -23,7 +20,6 @@
| _notifyWhenNoCallbacksRunning | System.Runtime.CompilerServices.IsVolatile | modreq |
| _oldKeepAlive | System.Runtime.CompilerServices.IsVolatile | modreq |
| _owner | System.Runtime.CompilerServices.IsVolatile | modreq |
| _pauseTicks | System.Runtime.CompilerServices.IsVolatile | modreq |
| _previous | System.Runtime.CompilerServices.IsVolatile | modreq |
| _queues | System.Runtime.CompilerServices.IsVolatile | modreq |
| _saDurationFormats | System.Runtime.CompilerServices.IsVolatile | modreq |
@@ -80,23 +76,21 @@
| s_DefaultThreadCurrentCulture | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_DefaultThreadCurrentUICulture | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_Invariant | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_LcidCachedCultures | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_NameCachedCultures | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_anonymouslyHostedDynamicMethodsModule | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_cachedCultures | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_cachedCulturesByLcid | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_cachedCulturesByName | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_cachedRegions | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_currentRegionInfo | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_defaultBinder | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_defaultInstance | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_encoding | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_haveProcessId | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_indentSize | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_initialized | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_invariant | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_invariantInfo | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_jajpDTFI | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_japaneseEraInfo | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_knownWords | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_lastProcessorCountRefreshTicks | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_processorCount | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_provider | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_providers | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_regionNames | System.Runtime.CompilerServices.IsVolatile | modreq |
@@ -104,4 +98,3 @@
| s_userDefaultUICulture | System.Runtime.CompilerServices.IsVolatile | modreq |
| s_zhtwDTFI | System.Runtime.CompilerServices.IsVolatile | modreq |
| set_Prop2 | System.Runtime.CompilerServices.IsExternalInit | modreq |
| threadPoolInitialized | System.Runtime.CompilerServices.IsVolatile | modreq |

459
csharp/ql/test/library-tests/cil/typeAnnotations/typeAnnotations.expected
View File

File diff suppressed because it is too large Load Diff

2
csharp/ql/test/library-tests/commons/TargetFramework/HasElement.ql
View File

@@ -2,5 +2,5 @@ import csharp
import semmle.code.csharp.commons.TargetFramework
from TargetFrameworkAttribute target, Class c
where target.hasElement(c)
where target.hasElement(c) and target.fromSource()
select c, target

2
csharp/ql/test/library-tests/commons/TargetFramework/NetCore.ql
View File

@@ -2,5 +2,5 @@ import csharp
import semmle.code.csharp.commons.TargetFramework
from TargetFrameworkAttribute target
where target.isNetCore()
where target.isNetCore() and target.fromSource()
select target

1
csharp/ql/test/library-tests/commons/TargetFramework/TargetFrameworks.ql
View File

@@ -2,4 +2,5 @@ import csharp
import semmle.code.csharp.commons.TargetFramework
from TargetFrameworkAttribute target
where target.fromSource()
select target, target.getFrameworkType(), target.getFrameworkVersion()

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

@@ -257,8 +257,8 @@
| System.Collections.Concurrent.ConcurrentStack<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Concurrent.IProducerConsumerCollection<>.CopyTo(T[], int) | this parameter [[]] -> parameter 0 [[]] | true |
| System.Collections.Concurrent.OrderablePartitioner<>.EnumerableDropIndices.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Concurrent.Partitioner.<CreateRanges>d__6.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Concurrent.Partitioner.<CreateRanges>d__9.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Concurrent.Partitioner.<CreateRanges>d__7.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Concurrent.Partitioner.<CreateRanges>d__10.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Concurrent.Partitioner.DynamicPartitionerForArray<>.InternalPartitionEnumerable.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Concurrent.Partitioner.DynamicPartitionerForIEnumerable<>.InternalPartitionEnumerable.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Concurrent.Partitioner.DynamicPartitionerForIList<>.InternalPartitionEnumerable.GetEnumerator() | this parameter [[]] -> return [Current] | true |
@@ -432,7 +432,7 @@
| System.Collections.Generic.SortedList<,>.set_Item(TKey, TValue) | parameter 1 -> this parameter [[], Value] | true |
| System.Collections.Generic.SortedList<,>.set_Item(object, object) | parameter 0 -> this parameter [[], Key] | true |
| System.Collections.Generic.SortedList<,>.set_Item(object, object) | parameter 1 -> this parameter [[], Value] | true |
| System.Collections.Generic.SortedSet<>.<Reverse>d__93.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Generic.SortedSet<>.<Reverse>d__84.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Collections.Generic.SortedSet<>.Add(T) | parameter 0 -> this parameter [[]] | true |
| System.Collections.Generic.SortedSet<>.CopyTo(Array, int) | this parameter [[]] -> parameter 0 [[]] | true |
| System.Collections.Generic.SortedSet<>.CopyTo(T[], int) | this parameter [[]] -> parameter 0 [[]] | true |
@@ -749,6 +749,8 @@
| System.Convert.ChangeType(object, TypeCode, IFormatProvider) | parameter 0 -> return | false |
| System.Convert.FromBase64CharArray(Char[], int, int) | parameter 0 -> return | false |
| System.Convert.FromBase64String(string) | parameter 0 -> return | false |
| System.Convert.FromHexString(ReadOnlySpan<Char>) | parameter 0 -> return | false |
| System.Convert.FromHexString(string) | parameter 0 -> return | false |
| System.Convert.GetTypeCode(object) | parameter 0 -> return | false |
| System.Convert.IsDBNull(object) | parameter 0 -> return | false |
| System.Convert.ToBase64CharArray(Byte[], int, int, Char[], int) | parameter 0 -> return | false |
@@ -867,6 +869,9 @@
| System.Convert.ToDouble(uint) | parameter 0 -> return | false |
| System.Convert.ToDouble(ulong) | parameter 0 -> return | false |
| System.Convert.ToDouble(ushort) | parameter 0 -> return | false |
| System.Convert.ToHexString(Byte[]) | parameter 0 -> return | false |
| System.Convert.ToHexString(Byte[], int, int) | parameter 0 -> return | false |
| System.Convert.ToHexString(ReadOnlySpan<Byte>) | parameter 0 -> return | false |
| System.Convert.ToInt16(DateTime) | parameter 0 -> return | false |
| System.Convert.ToInt16(bool) | parameter 0 -> return | false |
| System.Convert.ToInt16(byte) | parameter 0 -> return | false |
@@ -1269,25 +1274,25 @@
| System.Lazy<>.Lazy(Func<T>, bool) | deleget output from parameter 0 -> return [Value] | true |
| System.Lazy<>.get_Value() | this parameter -> return | false |
| System.Linq.EmptyPartition<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<CastIterator>d__63<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<ExceptIterator>d__80<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<GroupJoinIterator>d__97<,,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<IntersectIterator>d__100<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<JoinIterator>d__104<,,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<OfTypeIterator>d__61<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SelectIterator>d__173<,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SelectManyIterator>d__176<,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SelectManyIterator>d__178<,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SelectManyIterator>d__180<,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SkipLastIterator>d__193<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SkipWhileIterator>d__189<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SkipWhileIterator>d__191<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<TakeLastIterator>d__220<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<TakeWhileIterator>d__216<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<TakeWhileIterator>d__218<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<WhereIterator>d__239<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<ZipIterator>d__242<,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<ZipIterator>d__243<,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<CastIterator>d__64<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<ExceptIterator>d__81<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<GroupJoinIterator>d__98<,,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<IntersectIterator>d__101<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<JoinIterator>d__105<,,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<OfTypeIterator>d__62<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SelectIterator>d__174<,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SelectManyIterator>d__177<,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SelectManyIterator>d__179<,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SelectManyIterator>d__181<,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SkipLastIterator>d__194<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SkipWhileIterator>d__190<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<SkipWhileIterator>d__192<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<TakeLastIterator>d__221<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<TakeWhileIterator>d__217<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<TakeWhileIterator>d__219<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<WhereIterator>d__240<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<ZipIterator>d__243<,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.<ZipIterator>d__244<,,>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Linq.Enumerable.Aggregate<TSource, TAccumulate, TResult>(IEnumerable<TSource>, TAccumulate, Func<TAccumulate, TSource, TAccumulate>, Func<TAccumulate, TResult>) | deleget output from parameter 2 -> parameter 0 of delegate parameter 3 | true |
| System.Linq.Enumerable.Aggregate<TSource, TAccumulate, TResult>(IEnumerable<TSource>, TAccumulate, Func<TAccumulate, TSource, TAccumulate>, Func<TAccumulate, TResult>) | deleget output from parameter 3 -> return | true |
| System.Linq.Enumerable.Aggregate<TSource, TAccumulate, TResult>(IEnumerable<TSource>, TAccumulate, Func<TAccumulate, TSource, TAccumulate>, Func<TAccumulate, TResult>) | parameter 0 [[]] -> parameter 1 of delegate parameter 2 | true |
@@ -1986,7 +1991,9 @@
| System.Net.Security.NegotiateStream.BeginRead(Byte[], int, int, AsyncCallback, object) | this parameter -> parameter 0 | false |
| System.Net.Security.NegotiateStream.BeginWrite(Byte[], int, int, AsyncCallback, object) | parameter 0 -> this parameter | false |
| System.Net.Security.NegotiateStream.Read(Byte[], int, int) | this parameter -> parameter 0 | false |
| System.Net.Security.NegotiateStream.ReadAsync(Byte[], int, int, CancellationToken) | this parameter -> parameter 0 | false |
| System.Net.Security.NegotiateStream.Write(Byte[], int, int) | parameter 0 -> this parameter | false |
| System.Net.Security.NegotiateStream.WriteAsync(Byte[], int, int, CancellationToken) | parameter 0 -> this parameter | false |
| System.Net.Security.SslStream.BeginRead(Byte[], int, int, AsyncCallback, object) | this parameter -> parameter 0 | false |
| System.Net.Security.SslStream.BeginWrite(Byte[], int, int, AsyncCallback, object) | parameter 0 -> this parameter | false |
| System.Net.Security.SslStream.Read(Byte[], int, int) | this parameter -> parameter 0 | false |
@@ -2024,9 +2031,9 @@
| System.Runtime.CompilerServices.ReadOnlyCollectionBuilder<>.set_Item(int, T) | parameter 1 -> this parameter [[]] | true |
| System.Runtime.CompilerServices.ReadOnlyCollectionBuilder<>.set_Item(int, object) | parameter 1 -> this parameter [[]] | true |
| System.Runtime.CompilerServices.TaskAwaiter<>.GetResult() | this parameter [m_task, Result] -> return | true |
| System.Runtime.InteropServices.MemoryMarshal.<ToEnumerable>d__3<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Runtime.Loader.AssemblyLoadContext.<get_All>d__88.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Runtime.Loader.AssemblyLoadContext.<get_Assemblies>d__58.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Runtime.InteropServices.MemoryMarshal.<ToEnumerable>d__15<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Runtime.Loader.AssemblyLoadContext.<get_All>d__83.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Runtime.Loader.AssemblyLoadContext.<get_Assemblies>d__53.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Runtime.Loader.LibraryNameVariation.<DetermineLibraryNameVariations>d__5.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Security.Cryptography.CryptoStream.BeginRead(Byte[], int, int, AsyncCallback, object) | this parameter -> parameter 0 | false |
| System.Security.Cryptography.CryptoStream.BeginWrite(Byte[], int, int, AsyncCallback, object) | parameter 0 -> this parameter | false |
@@ -2181,8 +2188,8 @@
| System.Text.RegularExpressions.CaptureCollection.get_Item(int) | this parameter [[]] -> return | true |
| System.Text.RegularExpressions.CaptureCollection.set_Item(int, Capture) | parameter 1 -> this parameter [[]] | true |
| System.Text.RegularExpressions.CaptureCollection.set_Item(int, object) | parameter 1 -> this parameter [[]] | true |
| System.Text.RegularExpressions.GroupCollection.<get_Keys>d__48.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Text.RegularExpressions.GroupCollection.<get_Values>d__50.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Text.RegularExpressions.GroupCollection.<get_Keys>d__49.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Text.RegularExpressions.GroupCollection.<get_Values>d__51.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Text.RegularExpressions.GroupCollection.Add(Group) | parameter 0 -> this parameter [[]] | true |
| System.Text.RegularExpressions.GroupCollection.Add(object) | parameter 0 -> this parameter [[]] | true |
| System.Text.RegularExpressions.GroupCollection.CopyTo(Array, int) | this parameter [[]] -> parameter 0 [[]] | true |
@@ -2257,6 +2264,12 @@
| System.Text.StringBuilder.StringBuilder(string, int, int, int) | parameter 0 -> return [[]] | true |
| System.Text.StringBuilder.ToString() | this parameter [[]] -> return | false |
| System.Text.StringBuilder.ToString(int, int) | this parameter [[]] -> return | false |
| System.Text.TranscodingStream.BeginRead(Byte[], int, int, AsyncCallback, object) | this parameter -> parameter 0 | false |
| System.Text.TranscodingStream.BeginWrite(Byte[], int, int, AsyncCallback, object) | parameter 0 -> this parameter | false |
| System.Text.TranscodingStream.Read(Byte[], int, int) | this parameter -> parameter 0 | false |
| System.Text.TranscodingStream.ReadAsync(Byte[], int, int, CancellationToken) | this parameter -> parameter 0 | false |
| System.Text.TranscodingStream.Write(Byte[], int, int) | parameter 0 -> this parameter | false |
| System.Text.TranscodingStream.WriteAsync(Byte[], int, int, CancellationToken) | parameter 0 -> this parameter | false |
| System.Threading.Tasks.SingleProducerSingleConsumerQueue<>.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Threading.Tasks.Task.ContinueWith(Action<Task, Object>, object) | parameter 1 -> parameter 1 of delegate parameter 0 | true |
| System.Threading.Tasks.Task.ContinueWith(Action<Task, Object>, object, CancellationToken) | parameter 1 -> parameter 1 of delegate parameter 0 | true |
@@ -2290,6 +2303,8 @@
| System.Threading.Tasks.Task.WhenAll<TResult>(IEnumerable<Task<TResult>>) | parameter 0 [[], Result] -> return [Result, []] | true |
| System.Threading.Tasks.Task.WhenAll<TResult>(params Task<TResult>[]) | parameter 0 [[], Result] -> return [Result, []] | true |
| System.Threading.Tasks.Task.WhenAny<TResult>(IEnumerable<Task<TResult>>) | parameter 0 [[], Result] -> return [Result, []] | true |
| System.Threading.Tasks.Task.WhenAny<TResult>(Task<TResult>, Task<TResult>) | parameter 0 [[], Result] -> return [Result, []] | true |
| System.Threading.Tasks.Task.WhenAny<TResult>(Task<TResult>, Task<TResult>) | parameter 1 [[], Result] -> return [Result, []] | true |
| System.Threading.Tasks.Task.WhenAny<TResult>(params Task<TResult>[]) | parameter 0 [[], Result] -> return [Result, []] | true |
| System.Threading.Tasks.Task<>.ConfigureAwait(bool) | this parameter -> return [m_configuredTaskAwaiter, m_task] | true |
| System.Threading.Tasks.Task<>.ContinueWith(Action<Task<>, Object>, object) | parameter 1 -> parameter 1 of delegate parameter 0 | true |
@@ -2431,8 +2446,8 @@
| System.Threading.Tasks.TaskFactory<>.StartNew(Func<TResult>, CancellationToken, TaskCreationOptions, TaskScheduler) | deleget output from parameter 0 -> return [Result] | true |
| System.Threading.Tasks.TaskFactory<>.StartNew(Func<TResult>, TaskCreationOptions) | deleget output from parameter 0 -> return [Result] | true |
| System.Threading.Tasks.ThreadPoolTaskScheduler.<FilterTasksFromWorkItems>d__6.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Threading.ThreadPool.<GetLocallyQueuedWorkItems>d__51.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Threading.ThreadPool.<GetQueuedWorkItems>d__50.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Threading.ThreadPool.<GetLocallyQueuedWorkItems>d__52.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Threading.ThreadPool.<GetQueuedWorkItems>d__51.GetEnumerator() | this parameter [[]] -> return [Current] | true |
| System.Tuple.Create<T1, T2, T3, T4, T5, T6, T7, T8>(T1, T2, T3, T4, T5, T6, T7, T8) | parameter 0 -> return [Item1] | true |
| System.Tuple.Create<T1, T2, T3, T4, T5, T6, T7, T8>(T1, T2, T3, T4, T5, T6, T7, T8) | parameter 1 -> return [Item2] | true |
| System.Tuple.Create<T1, T2, T3, T4, T5, T6, T7, T8>(T1, T2, T3, T4, T5, T6, T7, T8) | parameter 2 -> return [Item3] | true |

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

File diff suppressed because one or more lines are too long