# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.IO.Compression", "BrotliStream", False, "BrotliStream", "(System.IO.Stream,System.IO.Compression.CompressionMode,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.Compression.BrotliStream._stream]", "value", "dfc-generated"]
      - ["System.IO.Compression", "BrotliStream", False, "get_BaseStream", "()", "", "Argument[this].SyntheticField[System.IO.Compression.BrotliStream._stream]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO.Compression", "DeflateStream", False, "get_BaseStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.Compression", "GZipStream", False, "GZipStream", "(System.IO.Stream,System.IO.Compression.CompressionLevel,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.Compression.GZipStream._deflateStream].SyntheticField[System.IO.Compression.DeflateStream._stream]", "value", "dfc-generated"]
      - ["System.IO.Compression", "GZipStream", False, "GZipStream", "(System.IO.Stream,System.IO.Compression.CompressionMode,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.Compression.GZipStream._deflateStream].SyntheticField[System.IO.Compression.DeflateStream._stream]", "value", "dfc-generated"]
      - ["System.IO.Compression", "GZipStream", False, "GZipStream", "(System.IO.Stream,System.IO.Compression.ZLibCompressionOptions,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.Compression.GZipStream._deflateStream].SyntheticField[System.IO.Compression.DeflateStream._stream]", "value", "dfc-generated"]
      - ["System.IO.Compression", "GZipStream", False, "get_BaseStream", "()", "", "Argument[this].SyntheticField[System.IO.Compression.GZipStream._deflateStream].SyntheticField[System.IO.Compression.DeflateStream._stream]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZLibException", False, "ZLibException", "(System.String,System.String,System.Int32,System.String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO.Compression", "ZLibException", False, "ZLibException", "(System.String,System.String,System.Int32,System.String)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", False, "ZLibStream", "(System.IO.Stream,System.IO.Compression.CompressionLevel,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.Compression.ZLibStream._deflateStream].SyntheticField[System.IO.Compression.DeflateStream._stream]", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZLibStream", False, "ZLibStream", "(System.IO.Stream,System.IO.Compression.CompressionMode,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.Compression.ZLibStream._deflateStream].SyntheticField[System.IO.Compression.DeflateStream._stream]", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZLibStream", False, "ZLibStream", "(System.IO.Stream,System.IO.Compression.ZLibCompressionOptions,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.Compression.ZLibStream._deflateStream].SyntheticField[System.IO.Compression.DeflateStream._stream]", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZLibStream", False, "get_BaseStream", "()", "", "Argument[this].SyntheticField[System.IO.Compression.ZLibStream._deflateStream].SyntheticField[System.IO.Compression.DeflateStream._stream]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZipArchive", False, "CreateEntry", "(System.String)", "", "Argument[0]", "ReturnValue.SyntheticField[System.IO.Compression.ZipArchiveEntry._storedEntryName]", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZipArchive", False, "CreateEntry", "(System.String)", "", "Argument[this]", "ReturnValue.SyntheticField[System.IO.Compression.ZipArchiveEntry._archive]", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZipArchive", False, "CreateEntry", "(System.String,System.IO.Compression.CompressionLevel)", "", "Argument[0]", "ReturnValue.SyntheticField[System.IO.Compression.ZipArchiveEntry._storedEntryName]", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZipArchive", False, "CreateEntry", "(System.String,System.IO.Compression.CompressionLevel)", "", "Argument[this]", "ReturnValue.SyntheticField[System.IO.Compression.ZipArchiveEntry._archive]", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZipArchive", False, "ZipArchive", "(System.IO.Stream,System.IO.Compression.ZipArchiveMode,System.Boolean,System.Text.Encoding)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO.Compression", "ZipArchive", False, "ZipArchive", "(System.IO.Stream,System.IO.Compression.ZipArchiveMode,System.Boolean,System.Text.Encoding)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO.Compression", "ZipArchive", False, "get_Entries", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", False, "Open", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", False, "ToString", "()", "", "Argument[this].Property[System.IO.Compression.ZipArchiveEntry.FullName]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", False, "ToString", "()", "", "Argument[this].SyntheticField[System.IO.Compression.ZipArchiveEntry._storedEntryName]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", False, "get_Archive", "()", "", "Argument[this].SyntheticField[System.IO.Compression.ZipArchiveEntry._archive]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", False, "get_Name", "()", "", "Argument[this].Property[System.IO.Compression.ZipArchiveEntry.FullName]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", False, "get_Name", "()", "", "Argument[this].SyntheticField[System.IO.Compression.ZipArchiveEntry._storedEntryName]", "ReturnValue", "value", "dfc-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.IO.Compression", "BrotliDecoder", "Decompress", "(System.ReadOnlySpan<System.Byte>,System.Span<System.Byte>,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliDecoder", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliDecoder", "TryDecompress", "(System.ReadOnlySpan<System.Byte>,System.Span<System.Byte>,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliEncoder", "BrotliEncoder", "(System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliEncoder", "Compress", "(System.ReadOnlySpan<System.Byte>,System.Span<System.Byte>,System.Int32,System.Int32,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliEncoder", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliEncoder", "Flush", "(System.Span<System.Byte>,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliEncoder", "GetMaxCompressedLength", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliEncoder", "TryCompress", "(System.ReadOnlySpan<System.Byte>,System.Span<System.Byte>,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliEncoder", "TryCompress", "(System.ReadOnlySpan<System.Byte>,System.Span<System.Byte>,System.Int32,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "BrotliStream", "(System.IO.Stream,System.IO.Compression.BrotliCompressionOptions,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "BrotliStream", "(System.IO.Stream,System.IO.Compression.CompressionLevel)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "BrotliStream", "(System.IO.Stream,System.IO.Compression.CompressionLevel,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "BrotliStream", "(System.IO.Stream,System.IO.Compression.CompressionMode)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "BrotliStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "DeflateStream", "(System.IO.Stream,System.IO.Compression.ZLibCompressionOptions,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "DeflateStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "GZipStream", "(System.IO.Stream,System.IO.Compression.CompressionLevel)", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "GZipStream", "(System.IO.Stream,System.IO.Compression.CompressionMode)", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "GZipStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibException", "ZLibException", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibException", "ZLibException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "ZLibStream", "(System.IO.Stream,System.IO.Compression.CompressionLevel)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "ZLibStream", "(System.IO.Stream,System.IO.Compression.CompressionMode)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZLibStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchive", "Dispose", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchive", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchive", "GetEntry", "(System.String)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchive", "ZipArchive", "(System.IO.Stream)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchive", "ZipArchive", "(System.IO.Stream,System.IO.Compression.ZipArchiveMode)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchive", "ZipArchive", "(System.IO.Stream,System.IO.Compression.ZipArchiveMode,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchive", "get_Mode", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", "Delete", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", "get_CompressedLength", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", "get_Crc32", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", "get_IsEncrypted", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipArchiveEntry", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "CreateFromDirectory", "(System.String,System.IO.Stream)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "CreateFromDirectory", "(System.String,System.IO.Stream,System.IO.Compression.CompressionLevel,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "CreateFromDirectory", "(System.String,System.IO.Stream,System.IO.Compression.CompressionLevel,System.Boolean,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "CreateFromDirectory", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "CreateFromDirectory", "(System.String,System.String,System.IO.Compression.CompressionLevel,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "CreateFromDirectory", "(System.String,System.String,System.IO.Compression.CompressionLevel,System.Boolean,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "ExtractToDirectory", "(System.IO.Stream,System.String)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "ExtractToDirectory", "(System.IO.Stream,System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "ExtractToDirectory", "(System.IO.Stream,System.String,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "ExtractToDirectory", "(System.IO.Stream,System.String,System.Text.Encoding,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "ExtractToDirectory", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "ExtractToDirectory", "(System.String,System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "ExtractToDirectory", "(System.String,System.String,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "ExtractToDirectory", "(System.String,System.String,System.Text.Encoding,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "Open", "(System.String,System.IO.Compression.ZipArchiveMode)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "Open", "(System.String,System.IO.Compression.ZipArchiveMode,System.Text.Encoding)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFile", "OpenRead", "(System.String)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFileExtensions", "CreateEntryFromFile", "(System.IO.Compression.ZipArchive,System.String,System.String)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFileExtensions", "CreateEntryFromFile", "(System.IO.Compression.ZipArchive,System.String,System.String,System.IO.Compression.CompressionLevel)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFileExtensions", "ExtractToDirectory", "(System.IO.Compression.ZipArchive,System.String)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFileExtensions", "ExtractToDirectory", "(System.IO.Compression.ZipArchive,System.String,System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFileExtensions", "ExtractToFile", "(System.IO.Compression.ZipArchiveEntry,System.String)", "summary", "df-generated"]
      - ["System.IO.Compression", "ZipFileExtensions", "ExtractToFile", "(System.IO.Compression.ZipArchiveEntry,System.String,System.Boolean)", "summary", "df-generated"]