# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Buffers", "ArrayBufferWriter<T>", False, "GetMemory", "(System.Int32)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ArrayBufferWriter<T>", False, "get_WrittenMemory", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ArrayBufferWriter<T>", False, "get_WrittenSpan", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "BuffersExtensions", False, "PositionOf<T>", "(System.Buffers.ReadOnlySequence<T>,T)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "MemoryHandle", False, "MemoryHandle", "(System.Void*,System.Runtime.InteropServices.GCHandle,System.Buffers.IPinnable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "MemoryHandle", False, "MemoryHandle", "(System.Void*,System.Runtime.InteropServices.GCHandle,System.Buffers.IPinnable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "MemoryHandle", False, "MemoryHandle", "(System.Void*,System.Runtime.InteropServices.GCHandle,System.Buffers.IPinnable)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "MemoryHandle", False, "get_Pointer", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "MemoryManager<T>", False, "CreateMemory", "(System.Int32)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "MemoryManager<T>", False, "CreateMemory", "(System.Int32,System.Int32)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "MemoryManager<T>", True, "get_Memory", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>+Enumerator", False, "Enumerator", "(System.Buffers.ReadOnlySequence<T>)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>+Enumerator", False, "get_Current", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "GetEnumerator", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "GetPosition", "(System.Int64)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "GetPosition", "(System.Int64,System.SequencePosition)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "ReadOnlySequence", "(System.Buffers.ReadOnlySequenceSegment<T>,System.Int32,System.Buffers.ReadOnlySequenceSegment<T>,System.Int32)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "ReadOnlySequence", "(System.Buffers.ReadOnlySequenceSegment<T>,System.Int32,System.Buffers.ReadOnlySequenceSegment<T>,System.Int32)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "ReadOnlySequence", "(System.ReadOnlyMemory<T>)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "ReadOnlySequence", "(T[])", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "ReadOnlySequence", "(T[],System.Int32,System.Int32)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.Int32,System.Int32)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.Int32,System.SequencePosition)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.Int32,System.SequencePosition)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.Int64)", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.Int64,System.Int64)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.Int64,System.SequencePosition)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.Int64,System.SequencePosition)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.SequencePosition)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.SequencePosition)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.SequencePosition,System.Int32)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.SequencePosition,System.Int32)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.SequencePosition,System.Int64)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.SequencePosition,System.Int64)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.SequencePosition,System.SequencePosition)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "Slice", "(System.SequencePosition,System.SequencePosition)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "TryGet", "(System.SequencePosition,System.ReadOnlyMemory<T>,System.Boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "get_End", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "get_First", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "get_FirstSpan", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", False, "get_Start", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "SearchValues", False, "Create", "(System.ReadOnlySpan<System.Byte>)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "SearchValues", False, "Create", "(System.ReadOnlySpan<System.String>,System.StringComparison)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", False, "SequenceReader", "(System.Buffers.ReadOnlySequence<T>)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", False, "TryReadExact", "(System.Int32,System.Buffers.ReadOnlySequence<T>)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", False, "TryReadTo", "(System.Buffers.ReadOnlySequence<T>,System.ReadOnlySpan<T>,System.Boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", False, "TryReadTo", "(System.Buffers.ReadOnlySequence<T>,T,System.Boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", False, "TryReadTo", "(System.Buffers.ReadOnlySequence<T>,T,T,System.Boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", False, "TryReadToAny", "(System.Buffers.ReadOnlySequence<T>,System.ReadOnlySpan<T>,System.Boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", False, "get_Position", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", False, "get_UnreadSequence", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Buffers", "ArrayBufferWriter<T>", "Advance", "(System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "ArrayBufferWriter<T>", "ArrayBufferWriter", "(System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "ArrayBufferWriter<T>", "Clear", "()", "summary", "df-generated"]
      - ["System.Buffers", "ArrayBufferWriter<T>", "GetSpan", "(System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "ArrayBufferWriter<T>", "ResetWrittenCount", "()", "summary", "df-generated"]
      - ["System.Buffers", "ArrayBufferWriter<T>", "get_Capacity", "()", "summary", "df-generated"]
      - ["System.Buffers", "ArrayBufferWriter<T>", "get_FreeCapacity", "()", "summary", "df-generated"]
      - ["System.Buffers", "ArrayBufferWriter<T>", "get_WrittenCount", "()", "summary", "df-generated"]
      - ["System.Buffers", "ArrayPool<T>", "Create", "()", "summary", "df-generated"]
      - ["System.Buffers", "ArrayPool<T>", "Create", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "ArrayPool<T>", "Rent", "(System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "ArrayPool<T>", "Return", "(T[],System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "ArrayPool<T>", "get_Shared", "()", "summary", "df-generated"]
      - ["System.Buffers", "BuffersExtensions", "CopyTo<T>", "(System.Buffers.ReadOnlySequence<T>,System.Span<T>)", "summary", "df-generated"]
      - ["System.Buffers", "BuffersExtensions", "ToArray<T>", "(System.Buffers.ReadOnlySequence<T>)", "summary", "df-generated"]
      - ["System.Buffers", "BuffersExtensions", "Write<T>", "(System.Buffers.IBufferWriter<T>,System.ReadOnlySpan<T>)", "summary", "df-generated"]
      - ["System.Buffers", "IBufferWriter<T>", "Advance", "(System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "IBufferWriter<T>", "GetMemory", "(System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "IBufferWriter<T>", "GetSpan", "(System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "IMemoryOwner<T>", "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<T>", "Dispose", "()", "summary", "df-generated"]
      - ["System.Buffers", "MemoryManager<T>", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "MemoryManager<T>", "GetSpan", "()", "summary", "df-generated"]
      - ["System.Buffers", "MemoryManager<T>", "Pin", "(System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "MemoryManager<T>", "TryGetArray", "(System.ArraySegment<T>)", "summary", "df-generated"]
      - ["System.Buffers", "MemoryManager<T>", "Unpin", "()", "summary", "df-generated"]
      - ["System.Buffers", "MemoryPool<T>", "Dispose", "()", "summary", "df-generated"]
      - ["System.Buffers", "MemoryPool<T>", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "MemoryPool<T>", "Rent", "(System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "MemoryPool<T>", "get_MaxBufferSize", "()", "summary", "df-generated"]
      - ["System.Buffers", "MemoryPool<T>", "get_Shared", "()", "summary", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>+Enumerator", "MoveNext", "()", "summary", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", "GetOffset", "(System.SequencePosition)", "summary", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", "ToString", "()", "summary", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", "get_IsEmpty", "()", "summary", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", "get_IsSingleSegment", "()", "summary", "df-generated"]
      - ["System.Buffers", "ReadOnlySequence<T>", "get_Length", "()", "summary", "df-generated"]
      - ["System.Buffers", "SearchValues", "Create", "(System.ReadOnlySpan<System.Char>)", "summary", "df-generated"]
      - ["System.Buffers", "SearchValues<T>", "Contains", "(T)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "Advance", "(System.Int64)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "AdvancePast", "(T)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "AdvancePastAny", "(System.ReadOnlySpan<T>)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "AdvancePastAny", "(T,T)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "AdvancePastAny", "(T,T,T)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "AdvancePastAny", "(T,T,T,T)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "AdvanceToEnd", "()", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "IsNext", "(System.ReadOnlySpan<T>,System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "IsNext", "(T,System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "Rewind", "(System.Int64)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryAdvanceTo", "(T,System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryAdvanceToAny", "(System.ReadOnlySpan<T>,System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryCopyTo", "(System.Span<T>)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryPeek", "(System.Int64,T)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryPeek", "(T)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryRead", "(T)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryReadTo", "(System.ReadOnlySpan<T>,System.ReadOnlySpan<T>,System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryReadTo", "(System.ReadOnlySpan<T>,T,System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryReadTo", "(System.ReadOnlySpan<T>,T,T,System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "TryReadToAny", "(System.ReadOnlySpan<T>,System.ReadOnlySpan<T>,System.Boolean)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "get_End", "()", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "get_Length", "()", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "get_Remaining", "()", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "get_Sequence", "()", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReader<T>", "get_UnreadSpan", "()", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReaderExtensions", "TryReadBigEndian", "(System.Buffers.SequenceReader<System.Byte>,System.Int16)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReaderExtensions", "TryReadBigEndian", "(System.Buffers.SequenceReader<System.Byte>,System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReaderExtensions", "TryReadBigEndian", "(System.Buffers.SequenceReader<System.Byte>,System.Int64)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReaderExtensions", "TryReadLittleEndian", "(System.Buffers.SequenceReader<System.Byte>,System.Int16)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReaderExtensions", "TryReadLittleEndian", "(System.Buffers.SequenceReader<System.Byte>,System.Int32)", "summary", "df-generated"]
      - ["System.Buffers", "SequenceReaderExtensions", "TryReadLittleEndian", "(System.Buffers.SequenceReader<System.Byte>,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<System.Char>)", "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.Char>,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"]
