# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT. extensions: - addsTo: pack: codeql/csharp-all extensible: summaryModel data: - ["System.Buffers", "BuffersExtensions", False, "CopyTo", "(System.Buffers.ReadOnlySequence,System.Span)", "", "Argument[0]", "Argument[1]", "taint", "df-generated"] - ["System.Buffers", "MemoryHandle", False, "MemoryHandle", "(System.Void*,System.Runtime.InteropServices.GCHandle,System.Buffers.IPinnable)", "", "Argument[0]", "Argument[this].SyntheticField[System.Buffers.MemoryHandle._pointer]", "value", "dfc-generated"] - ["System.Buffers", "MemoryHandle", False, "get_Pointer", "()", "", "Argument[this].SyntheticField[System.Buffers.MemoryHandle._pointer]", "ReturnValue", "value", "dfc-generated"] - ["System.Buffers", "MemoryManager", False, "CreateMemory", "(System.Int32)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "MemoryManager", False, "CreateMemory", "(System.Int32,System.Int32)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "MemoryManager", True, "get_Memory", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "NIndex", False, "FromStart", "(System.IntPtr)", "", "Argument[0]", "ReturnValue.SyntheticField[System.Buffers.NIndex._value]", "value", "dfc-generated"] - ["System.Buffers", "NIndex", False, "GetOffset", "(System.IntPtr)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"] - ["System.Buffers", "NIndex", False, "GetOffset", "(System.IntPtr)", "", "Argument[this].SyntheticField[System.Buffers.NIndex._value]", "ReturnValue", "value", "dfc-generated"] - ["System.Buffers", "NIndex", False, "NIndex", "(System.IntPtr,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.Buffers.NIndex._value]", "value", "dfc-generated"] - ["System.Buffers", "NIndex", False, "get_Value", "()", "", "Argument[this].SyntheticField[System.Buffers.NIndex._value]", "ReturnValue", "value", "dfc-generated"] - ["System.Buffers", "NRange", False, "GetOffsetAndLength", "(System.IntPtr)", "", "Argument[0]", "ReturnValue.Field[System.ValueTuple`2.Item1]", "taint", "dfc-generated"] - ["System.Buffers", "NRange", False, "NRange", "(System.Buffers.NIndex,System.Buffers.NIndex)", "", "Argument[0]", "Argument[this].Property[System.Buffers.NRange.Start]", "value", "dfc-generated"] - ["System.Buffers", "NRange", False, "NRange", "(System.Buffers.NIndex,System.Buffers.NIndex)", "", "Argument[1]", "Argument[this].Property[System.Buffers.NRange.End]", "value", "dfc-generated"] - ["System.Buffers", "ReadOnlySequence+Enumerator", False, "Enumerator", "(System.Buffers.ReadOnlySequence)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence+Enumerator", False, "get_Current", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "ReadOnlySequence", "(System.Buffers.ReadOnlySequenceSegment,System.Int32,System.Buffers.ReadOnlySequenceSegment,System.Int32)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "ReadOnlySequence", "(System.Buffers.ReadOnlySequenceSegment,System.Int32,System.Buffers.ReadOnlySequenceSegment,System.Int32)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "ReadOnlySequence", "(T[])", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "ReadOnlySequence", "(T[],System.Int32,System.Int32)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "Slice", "(System.Int32,System.SequencePosition)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "Slice", "(System.Int64)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["System.Buffers", "ReadOnlySequence", False, "Slice", "(System.Int64,System.SequencePosition)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "Slice", "(System.SequencePosition)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "Slice", "(System.SequencePosition)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "Slice", "(System.SequencePosition,System.Int32)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "Slice", "(System.SequencePosition,System.Int64)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "Slice", "(System.SequencePosition,System.SequencePosition)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "Slice", "(System.SequencePosition,System.SequencePosition)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "ReadOnlySequence", False, "get_FirstSpan", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "SearchValues", False, "Create", "(System.ReadOnlySpan)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "SearchValues", False, "Create", "(System.ReadOnlySpan,System.StringComparison)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "SequenceReader", False, "SequenceReader", "(System.Buffers.ReadOnlySequence)", "", "Argument[0]", "Argument[this].Property[System.Buffers.SequenceReader`1.Sequence]", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryCopyTo", "(System.Span)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.CurrentSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryCopyTo", "(System.Span)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.UnreadSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryPeek", "(System.Int64,T)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.CurrentSpan].Element", "Argument[1]", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryPeek", "(T)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.CurrentSpan].Element", "Argument[0]", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryRead", "(T)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.CurrentSpan].Element", "Argument[0]", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadExact", "(System.Int32,System.Buffers.ReadOnlySequence)", "", "Argument[this]", "Argument[1]", "taint", "df-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadTo", "(System.Buffers.ReadOnlySequence,System.ReadOnlySpan,System.Boolean)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadTo", "(System.Buffers.ReadOnlySequence,T,System.Boolean)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadTo", "(System.Buffers.ReadOnlySequence,T,T,System.Boolean)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadTo", "(System.ReadOnlySpan,System.ReadOnlySpan,System.Boolean)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.CurrentSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadTo", "(System.ReadOnlySpan,System.ReadOnlySpan,System.Boolean)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.UnreadSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadTo", "(System.ReadOnlySpan,T,System.Boolean)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.CurrentSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadTo", "(System.ReadOnlySpan,T,System.Boolean)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.UnreadSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadTo", "(System.ReadOnlySpan,T,T,System.Boolean)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.CurrentSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadTo", "(System.ReadOnlySpan,T,T,System.Boolean)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.UnreadSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadToAny", "(System.Buffers.ReadOnlySequence,System.ReadOnlySpan,System.Boolean)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadToAny", "(System.ReadOnlySpan,System.ReadOnlySpan,System.Boolean)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.CurrentSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "TryReadToAny", "(System.ReadOnlySpan,System.ReadOnlySpan,System.Boolean)", "", "Argument[this].Property[System.Buffers.SequenceReader`1.UnreadSpan].Element", "Argument[0].Element", "value", "dfc-generated"] - ["System.Buffers", "SequenceReader", False, "get_UnreadSequence", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["System.Buffers", "SequenceReader", False, "get_UnreadSpan", "()", "", "Argument[this].Property[System.Buffers.SequenceReader`1.CurrentSpan].Element", "ReturnValue.Element", "value", "dfc-generated"] - addsTo: pack: codeql/csharp-all extensible: neutralModel data: - ["System.Buffers", "ArrayBufferWriter", "Advance", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "ArrayBufferWriter", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "Clear", "()", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "GetMemory", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "GetSpan", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "ResetWrittenCount", "()", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "get_Capacity", "()", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "get_FreeCapacity", "()", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "get_WrittenCount", "()", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "get_WrittenMemory", "()", "summary", "df-generated"] - ["System.Buffers", "ArrayBufferWriter", "get_WrittenSpan", "()", "summary", "df-generated"] - ["System.Buffers", "ArrayPool", "Create", "()", "summary", "df-generated"] - ["System.Buffers", "ArrayPool", "Create", "(System.Int32,System.Int32)", "summary", "df-generated"] - ["System.Buffers", "ArrayPool", "Rent", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "ArrayPool", "Return", "(T[],System.Boolean)", "summary", "df-generated"] - ["System.Buffers", "ArrayPool", "get_Shared", "()", "summary", "df-generated"] - ["System.Buffers", "BuffersExtensions", "PositionOf", "(System.Buffers.ReadOnlySequence,T)", "summary", "df-generated"] - ["System.Buffers", "BuffersExtensions", "ToArray", "(System.Buffers.ReadOnlySequence)", "summary", "df-generated"] - ["System.Buffers", "BuffersExtensions", "Write", "(System.Buffers.IBufferWriter,System.ReadOnlySpan)", "summary", "df-generated"] - ["System.Buffers", "IBufferWriter", "Advance", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "IBufferWriter", "GetMemory", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "IBufferWriter", "GetSpan", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "IMemoryOwner", "get_Memory", "()", "summary", "df-generated"] - ["System.Buffers", "IPinnable", "Pin", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "IPinnable", "Unpin", "()", "summary", "df-generated"] - ["System.Buffers", "MemoryHandle", "Dispose", "()", "summary", "df-generated"] - ["System.Buffers", "MemoryManager", "Dispose", "()", "summary", "df-generated"] - ["System.Buffers", "MemoryManager", "Dispose", "(System.Boolean)", "summary", "df-generated"] - ["System.Buffers", "MemoryManager", "GetSpan", "()", "summary", "df-generated"] - ["System.Buffers", "MemoryManager", "Pin", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "MemoryManager", "TryGetArray", "(System.ArraySegment)", "summary", "df-generated"] - ["System.Buffers", "MemoryManager", "Unpin", "()", "summary", "df-generated"] - ["System.Buffers", "MemoryPool", "Dispose", "()", "summary", "df-generated"] - ["System.Buffers", "MemoryPool", "Dispose", "(System.Boolean)", "summary", "df-generated"] - ["System.Buffers", "MemoryPool", "Rent", "(System.Int32)", "summary", "df-generated"] - ["System.Buffers", "MemoryPool", "get_MaxBufferSize", "()", "summary", "df-generated"] - ["System.Buffers", "MemoryPool", "get_Shared", "()", "summary", "df-generated"] - ["System.Buffers", "NIndex", "Equals", "(System.Buffers.NIndex)", "summary", "df-generated"] - ["System.Buffers", "NIndex", "Equals", "(System.Object)", "summary", "df-generated"] - ["System.Buffers", "NIndex", "FromEnd", "(System.IntPtr)", "summary", "df-generated"] - ["System.Buffers", "NIndex", "GetHashCode", "()", "summary", "df-generated"] - ["System.Buffers", "NIndex", "NIndex", "(System.Index)", "summary", "df-generated"] - ["System.Buffers", "NIndex", "ToIndex", "()", "summary", "df-generated"] - ["System.Buffers", "NIndex", "ToIndexUnchecked", "()", "summary", "df-generated"] - ["System.Buffers", "NIndex", "ToString", "()", "summary", "df-generated"] - ["System.Buffers", "NIndex", "get_End", "()", "summary", "df-generated"] - ["System.Buffers", "NIndex", "get_IsFromEnd", "()", "summary", "df-generated"] - ["System.Buffers", "NIndex", "get_Start", "()", "summary", "df-generated"] - ["System.Buffers", "NRange", "EndAt", "(System.Buffers.NIndex)", "summary", "df-generated"] - ["System.Buffers", "NRange", "Equals", "(System.Buffers.NRange)", "summary", "df-generated"] - ["System.Buffers", "NRange", "Equals", "(System.Object)", "summary", "df-generated"] - ["System.Buffers", "NRange", "GetHashCode", "()", "summary", "df-generated"] - ["System.Buffers", "NRange", "NRange", "(System.Range)", "summary", "df-generated"] - ["System.Buffers", "NRange", "StartAt", "(System.Buffers.NIndex)", "summary", "df-generated"] - ["System.Buffers", "NRange", "ToRange", "()", "summary", "df-generated"] - ["System.Buffers", "NRange", "ToRangeUnchecked", "()", "summary", "df-generated"] - ["System.Buffers", "NRange", "ToString", "()", "summary", "df-generated"] - ["System.Buffers", "NRange", "get_All", "()", "summary", "df-generated"] - ["System.Buffers", "NRange", "get_End", "()", "summary", "df-generated"] - ["System.Buffers", "NRange", "get_Start", "()", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence+Enumerator", "MoveNext", "()", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "GetEnumerator", "()", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "GetOffset", "(System.SequencePosition)", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "GetPosition", "(System.Int64)", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "GetPosition", "(System.Int64,System.SequencePosition)", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "ReadOnlySequence", "(System.ReadOnlyMemory)", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "Slice", "(System.Int32,System.Int32)", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "Slice", "(System.Int64,System.Int64)", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "ToString", "()", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "TryGet", "(System.SequencePosition,System.ReadOnlyMemory,System.Boolean)", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "get_End", "()", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "get_First", "()", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "get_IsEmpty", "()", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "get_IsSingleSegment", "()", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "get_Length", "()", "summary", "df-generated"] - ["System.Buffers", "ReadOnlySequence", "get_Start", "()", "summary", "df-generated"] - ["System.Buffers", "SearchValues", "Create", "(System.ReadOnlySpan)", "summary", "df-generated"] - ["System.Buffers", "SearchValues", "Contains", "(T)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "Advance", "(System.Int64)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "AdvancePast", "(T)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "AdvancePastAny", "(System.ReadOnlySpan)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "AdvancePastAny", "(T,T)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "AdvancePastAny", "(T,T,T)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "AdvancePastAny", "(T,T,T,T)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "AdvanceToEnd", "()", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "IsNext", "(System.ReadOnlySpan,System.Boolean)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "IsNext", "(T,System.Boolean)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "Rewind", "(System.Int64)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "TryAdvanceTo", "(T,System.Boolean)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "TryAdvanceToAny", "(System.ReadOnlySpan,System.Boolean)", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "get_End", "()", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "get_Length", "()", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "get_Position", "()", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "get_Remaining", "()", "summary", "df-generated"] - ["System.Buffers", "SequenceReader", "get_Sequence", "()", "summary", "df-generated"] - ["System.Buffers", "SequenceReaderExtensions", "TryReadBigEndian", "(System.Buffers.SequenceReader,System.Int16)", "summary", "df-generated"] - ["System.Buffers", "SequenceReaderExtensions", "TryReadBigEndian", "(System.Buffers.SequenceReader,System.Int32)", "summary", "df-generated"] - ["System.Buffers", "SequenceReaderExtensions", "TryReadBigEndian", "(System.Buffers.SequenceReader,System.Int64)", "summary", "df-generated"] - ["System.Buffers", "SequenceReaderExtensions", "TryReadLittleEndian", "(System.Buffers.SequenceReader,System.Int16)", "summary", "df-generated"] - ["System.Buffers", "SequenceReaderExtensions", "TryReadLittleEndian", "(System.Buffers.SequenceReader,System.Int32)", "summary", "df-generated"] - ["System.Buffers", "SequenceReaderExtensions", "TryReadLittleEndian", "(System.Buffers.SequenceReader,System.Int64)", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "Equals", "(System.Buffers.StandardFormat)", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "Equals", "(System.Object)", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "GetHashCode", "()", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "Parse", "(System.ReadOnlySpan)", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "Parse", "(System.String)", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "StandardFormat", "(System.Char,System.Byte)", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "ToString", "()", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "TryParse", "(System.ReadOnlySpan,System.Buffers.StandardFormat)", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "get_HasPrecision", "()", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "get_IsDefault", "()", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "get_Precision", "()", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "get_Symbol", "()", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "op_Equality", "(System.Buffers.StandardFormat,System.Buffers.StandardFormat)", "summary", "df-generated"] - ["System.Buffers", "StandardFormat", "op_Inequality", "(System.Buffers.StandardFormat,System.Buffers.StandardFormat)", "summary", "df-generated"]