# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.IO.Pipes", "AnonymousPipeClientStream", False, "AnonymousPipeClientStream", "(System.IO.Pipes.PipeDirection,Microsoft.Win32.SafeHandles.SafePipeHandle)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStream", False, "AnonymousPipeServerStream", "(System.IO.Pipes.PipeDirection,Microsoft.Win32.SafeHandles.SafePipeHandle,Microsoft.Win32.SafeHandles.SafePipeHandle)", "", "Argument[2]", "Argument[this].SyntheticField[System.IO.Pipes.AnonymousPipeServerStream._clientHandle]", "value", "dfc-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStream", False, "get_ClientSafePipeHandle", "()", "", "Argument[this].SyntheticField[System.IO.Pipes.AnonymousPipeServerStream._clientHandle]", "ReturnValue", "value", "dfc-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", False, "NamedPipeClientStream", "(System.IO.Pipes.PipeDirection,System.Boolean,Microsoft.Win32.SafeHandles.SafePipeHandle)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", False, "NamedPipeClientStream", "(System.String,System.String,System.IO.Pipes.PipeDirection,System.IO.Pipes.PipeOptions,System.Security.Principal.TokenImpersonationLevel,System.IO.HandleInheritability)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", False, "NamedPipeServerStream", "(System.IO.Pipes.PipeDirection,System.Boolean,System.Boolean,Microsoft.Win32.SafeHandles.SafePipeHandle)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", False, "InitializeHandle", "(Microsoft.Win32.SafeHandles.SafePipeHandle,System.Boolean,System.Boolean)", "", "Argument[0]", "Argument[this].SyntheticField[System.IO.Pipes.PipeStream._handle]", "value", "dfc-generated"]
      - ["System.IO.Pipes", "PipeStream", False, "get_SafePipeHandle", "()", "", "Argument[this].SyntheticField[System.IO.Pipes.PipeStream._handle]", "ReturnValue", "value", "dfc-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.IO.Pipes", "AnonymousPipeClientStream", "AnonymousPipeClientStream", "(System.IO.Pipes.PipeDirection,System.String)", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeClientStream", "AnonymousPipeClientStream", "(System.String)", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeClientStream", "get_TransmissionMode", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStream", "AnonymousPipeServerStream", "(System.IO.Pipes.PipeDirection)", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStream", "AnonymousPipeServerStream", "(System.IO.Pipes.PipeDirection,System.IO.HandleInheritability)", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStream", "AnonymousPipeServerStream", "(System.IO.Pipes.PipeDirection,System.IO.HandleInheritability,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStream", "DisposeLocalCopyOfClientHandle", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStream", "GetClientHandleAsString", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStream", "get_TransmissionMode", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "AnonymousPipeServerStreamAcl", "Create", "(System.IO.Pipes.PipeDirection,System.IO.HandleInheritability,System.Int32,System.IO.Pipes.PipeSecurity)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "CheckPipePropertyOperations", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "Connect", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "Connect", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "Connect", "(System.TimeSpan)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "ConnectAsync", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "ConnectAsync", "(System.Int32)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "ConnectAsync", "(System.Int32,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "ConnectAsync", "(System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "ConnectAsync", "(System.TimeSpan,System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "NamedPipeClientStream", "(System.IO.Pipes.PipeDirection,System.Boolean,System.Boolean,Microsoft.Win32.SafeHandles.SafePipeHandle)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "NamedPipeClientStream", "(System.String)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "NamedPipeClientStream", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "NamedPipeClientStream", "(System.String,System.String,System.IO.Pipes.PipeAccessRights,System.IO.Pipes.PipeOptions,System.Security.Principal.TokenImpersonationLevel,System.IO.HandleInheritability)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "NamedPipeClientStream", "(System.String,System.String,System.IO.Pipes.PipeDirection)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "NamedPipeClientStream", "(System.String,System.String,System.IO.Pipes.PipeDirection,System.IO.Pipes.PipeOptions)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "NamedPipeClientStream", "(System.String,System.String,System.IO.Pipes.PipeDirection,System.IO.Pipes.PipeOptions,System.Security.Principal.TokenImpersonationLevel)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "get_InBufferSize", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "get_NumberOfServerInstances", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeClientStream", "get_OutBufferSize", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "BeginWaitForConnection", "(System.AsyncCallback,System.Object)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "Disconnect", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "EndWaitForConnection", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "GetImpersonationUserName", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "NamedPipeServerStream", "(System.String)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "NamedPipeServerStream", "(System.String,System.IO.Pipes.PipeDirection)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "NamedPipeServerStream", "(System.String,System.IO.Pipes.PipeDirection,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "NamedPipeServerStream", "(System.String,System.IO.Pipes.PipeDirection,System.Int32,System.IO.Pipes.PipeTransmissionMode)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "NamedPipeServerStream", "(System.String,System.IO.Pipes.PipeDirection,System.Int32,System.IO.Pipes.PipeTransmissionMode,System.IO.Pipes.PipeOptions)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "NamedPipeServerStream", "(System.String,System.IO.Pipes.PipeDirection,System.Int32,System.IO.Pipes.PipeTransmissionMode,System.IO.Pipes.PipeOptions,System.Int32,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "RunAsClient", "(System.IO.Pipes.PipeStreamImpersonationWorker)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "WaitForConnection", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "WaitForConnectionAsync", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "WaitForConnectionAsync", "(System.Threading.CancellationToken)", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "get_InBufferSize", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStream", "get_OutBufferSize", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "NamedPipeServerStreamAcl", "Create", "(System.String,System.IO.Pipes.PipeDirection,System.Int32,System.IO.Pipes.PipeTransmissionMode,System.IO.Pipes.PipeOptions,System.Int32,System.Int32,System.IO.Pipes.PipeSecurity,System.IO.HandleInheritability,System.IO.Pipes.PipeAccessRights)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeAccessRule", "PipeAccessRule", "(System.Security.Principal.IdentityReference,System.IO.Pipes.PipeAccessRights,System.Security.AccessControl.AccessControlType)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeAccessRule", "PipeAccessRule", "(System.String,System.IO.Pipes.PipeAccessRights,System.Security.AccessControl.AccessControlType)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeAccessRule", "get_PipeAccessRights", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeAuditRule", "PipeAuditRule", "(System.Security.Principal.IdentityReference,System.IO.Pipes.PipeAccessRights,System.Security.AccessControl.AuditFlags)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeAuditRule", "PipeAuditRule", "(System.String,System.IO.Pipes.PipeAccessRights,System.Security.AccessControl.AuditFlags)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeAuditRule", "get_PipeAccessRights", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "AccessRuleFactory", "(System.Security.Principal.IdentityReference,System.Int32,System.Boolean,System.Security.AccessControl.InheritanceFlags,System.Security.AccessControl.PropagationFlags,System.Security.AccessControl.AccessControlType)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "AddAccessRule", "(System.IO.Pipes.PipeAccessRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "AddAuditRule", "(System.IO.Pipes.PipeAuditRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "AuditRuleFactory", "(System.Security.Principal.IdentityReference,System.Int32,System.Boolean,System.Security.AccessControl.InheritanceFlags,System.Security.AccessControl.PropagationFlags,System.Security.AccessControl.AuditFlags)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "Persist", "(System.Runtime.InteropServices.SafeHandle)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "Persist", "(System.String)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "RemoveAccessRule", "(System.IO.Pipes.PipeAccessRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "RemoveAccessRuleSpecific", "(System.IO.Pipes.PipeAccessRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "RemoveAuditRule", "(System.IO.Pipes.PipeAuditRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "RemoveAuditRuleAll", "(System.IO.Pipes.PipeAuditRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "RemoveAuditRuleSpecific", "(System.IO.Pipes.PipeAuditRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "ResetAccessRule", "(System.IO.Pipes.PipeAccessRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "SetAccessRule", "(System.IO.Pipes.PipeAccessRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "SetAuditRule", "(System.IO.Pipes.PipeAuditRule)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "get_AccessRightType", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "get_AccessRuleType", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeSecurity", "get_AuditRuleType", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "CheckPipePropertyOperations", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "CheckReadOperations", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "CheckWriteOperations", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "EndRead", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "EndWrite", "(System.IAsyncResult)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "Flush", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "PipeStream", "(System.IO.Pipes.PipeDirection,System.IO.Pipes.PipeTransmissionMode,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "PipeStream", "(System.IO.Pipes.PipeDirection,System.Int32)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "ReadByte", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "Seek", "(System.Int64,System.IO.SeekOrigin)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "SetLength", "(System.Int64)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "WaitForPipeDrain", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "WriteByte", "(System.Byte)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_CanRead", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_CanSeek", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_CanWrite", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_InBufferSize", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_IsAsync", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_IsHandleExposed", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_IsMessageComplete", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_Length", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_OutBufferSize", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipeStream", "get_TransmissionMode", "()", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipesAclExtensions", "GetAccessControl", "(System.IO.Pipes.PipeStream)", "summary", "df-generated"]
      - ["System.IO.Pipes", "PipesAclExtensions", "SetAccessControl", "(System.IO.Pipes.PipeStream,System.IO.Pipes.PipeSecurity)", "summary", "df-generated"]
