# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Security.Principal", "GenericIdentity", False, "GenericIdentity", "(System.Security.Principal.GenericIdentity)", "", "Argument[0].SyntheticField[System.Security.Principal.GenericIdentity.m_name]", "Argument[this].SyntheticField[System.Security.Principal.GenericIdentity.m_name]", "value", "dfc-generated"]
      - ["System.Security.Principal", "GenericIdentity", False, "GenericIdentity", "(System.Security.Principal.GenericIdentity)", "", "Argument[0].SyntheticField[System.Security.Principal.GenericIdentity.m_type]", "Argument[this].SyntheticField[System.Security.Principal.GenericIdentity.m_type]", "value", "dfc-generated"]
      - ["System.Security.Principal", "GenericIdentity", False, "GenericIdentity", "(System.String)", "", "Argument[0]", "Argument[this].SyntheticField[System.Security.Principal.GenericIdentity.m_name]", "value", "dfc-generated"]
      - ["System.Security.Principal", "GenericIdentity", False, "GenericIdentity", "(System.String,System.String)", "", "Argument[0]", "Argument[this].SyntheticField[System.Security.Principal.GenericIdentity.m_name]", "value", "dfc-generated"]
      - ["System.Security.Principal", "GenericIdentity", False, "GenericIdentity", "(System.String,System.String)", "", "Argument[1]", "Argument[this].SyntheticField[System.Security.Principal.GenericIdentity.m_type]", "value", "dfc-generated"]
      - ["System.Security.Principal", "GenericIdentity", True, "get_AuthenticationType", "()", "", "Argument[this].SyntheticField[System.Security.Principal.GenericIdentity.m_type]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Principal", "GenericIdentity", True, "get_Claims", "()", "", "Argument[this].Property[System.Security.Claims.ClaimsIdentity.Claims]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Principal", "GenericIdentity", True, "get_Name", "()", "", "Argument[this].SyntheticField[System.Security.Principal.GenericIdentity.m_name]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Principal", "GenericPrincipal", False, "GenericPrincipal", "(System.Security.Principal.IIdentity,System.String[])", "", "Argument[0]", "Argument[this].SyntheticField[System.Security.Principal.GenericPrincipal.m_identity]", "value", "dfc-generated"]
      - ["System.Security.Principal", "GenericPrincipal", True, "get_Identity", "()", "", "Argument[this].SyntheticField[System.Security.Principal.GenericPrincipal.m_identity]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Principal", "IIdentity", True, "get_Name", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Security.Principal", "GenericIdentity", "Clone", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "GenericIdentity", "get_IsAuthenticated", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "GenericPrincipal", "IsInRole", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Principal", "IIdentity", "get_AuthenticationType", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "IIdentity", "get_IsAuthenticated", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "IPrincipal", "IsInRole", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Principal", "IPrincipal", "get_Identity", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityNotMappedException", "IdentityNotMappedException", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityNotMappedException", "IdentityNotMappedException", "(System.String,System.Exception)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityNotMappedException", "get_UnmappedIdentities", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReference", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReference", "GetHashCode", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReference", "IsValidTargetType", "(System.Type)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReference", "ToString", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReference", "Translate", "(System.Type)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReference", "get_Value", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReference", "op_Equality", "(System.Security.Principal.IdentityReference,System.Security.Principal.IdentityReference)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReference", "op_Inequality", "(System.Security.Principal.IdentityReference,System.Security.Principal.IdentityReference)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReferenceCollection", "Contains", "(System.Security.Principal.IdentityReference)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReferenceCollection", "IdentityReferenceCollection", "(System.Int32)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReferenceCollection", "Remove", "(System.Security.Principal.IdentityReference)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReferenceCollection", "Translate", "(System.Type)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReferenceCollection", "Translate", "(System.Type,System.Boolean)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReferenceCollection", "get_Count", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReferenceCollection", "get_IsReadOnly", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReferenceCollection", "get_Item", "(System.Int32)", "summary", "df-generated"]
      - ["System.Security.Principal", "IdentityReferenceCollection", "set_Item", "(System.Int32,System.Security.Principal.IdentityReference)", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "GetHashCode", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "IsValidTargetType", "(System.Type)", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "NTAccount", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "NTAccount", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "ToString", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "Translate", "(System.Type)", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "get_Value", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "op_Equality", "(System.Security.Principal.NTAccount,System.Security.Principal.NTAccount)", "summary", "df-generated"]
      - ["System.Security.Principal", "NTAccount", "op_Inequality", "(System.Security.Principal.NTAccount,System.Security.Principal.NTAccount)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "CompareTo", "(System.Security.Principal.SecurityIdentifier)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "Equals", "(System.Object)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "Equals", "(System.Security.Principal.SecurityIdentifier)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "GetBinaryForm", "(System.Byte[],System.Int32)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "GetHashCode", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "IsAccountSid", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "IsEqualDomainSid", "(System.Security.Principal.SecurityIdentifier)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "IsValidTargetType", "(System.Type)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "IsWellKnown", "(System.Security.Principal.WellKnownSidType)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "SecurityIdentifier", "(System.Byte[],System.Int32)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "SecurityIdentifier", "(System.IntPtr)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "SecurityIdentifier", "(System.Security.Principal.WellKnownSidType,System.Security.Principal.SecurityIdentifier)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "SecurityIdentifier", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "ToString", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "Translate", "(System.Type)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "get_AccountDomainSid", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "get_BinaryLength", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "get_Value", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "op_Equality", "(System.Security.Principal.SecurityIdentifier,System.Security.Principal.SecurityIdentifier)", "summary", "df-generated"]
      - ["System.Security.Principal", "SecurityIdentifier", "op_Inequality", "(System.Security.Principal.SecurityIdentifier,System.Security.Principal.SecurityIdentifier)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "Clone", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "Dispose", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "Dispose", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "GetAnonymous", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "GetCurrent", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "GetCurrent", "(System.Boolean)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "GetCurrent", "(System.Security.Principal.TokenAccessLevels)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "OnDeserialization", "(System.Object)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "RunImpersonated", "(Microsoft.Win32.SafeHandles.SafeAccessTokenHandle,System.Action)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "RunImpersonated<T>", "(Microsoft.Win32.SafeHandles.SafeAccessTokenHandle,System.Func<T>)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "RunImpersonatedAsync", "(Microsoft.Win32.SafeHandles.SafeAccessTokenHandle,System.Func<System.Threading.Tasks.Task>)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "RunImpersonatedAsync<T>", "(Microsoft.Win32.SafeHandles.SafeAccessTokenHandle,System.Func<System.Threading.Tasks.Task<T>>)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "WindowsIdentity", "(System.IntPtr)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "WindowsIdentity", "(System.IntPtr,System.String)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "WindowsIdentity", "(System.IntPtr,System.String,System.Security.Principal.WindowsAccountType)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "WindowsIdentity", "(System.IntPtr,System.String,System.Security.Principal.WindowsAccountType,System.Boolean)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "WindowsIdentity", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "WindowsIdentity", "(System.Security.Principal.WindowsIdentity)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "WindowsIdentity", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_AccessToken", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_AuthenticationType", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_DeviceClaims", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_Groups", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_ImpersonationLevel", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_IsAnonymous", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_IsAuthenticated", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_IsGuest", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_IsSystem", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_Owner", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_Token", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_User", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsIdentity", "get_UserClaims", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsPrincipal", "IsInRole", "(System.Int32)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsPrincipal", "IsInRole", "(System.Security.Principal.SecurityIdentifier)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsPrincipal", "IsInRole", "(System.Security.Principal.WindowsBuiltInRole)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsPrincipal", "IsInRole", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsPrincipal", "WindowsPrincipal", "(System.Security.Principal.WindowsIdentity)", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsPrincipal", "get_DeviceClaims", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsPrincipal", "get_Identity", "()", "summary", "df-generated"]
      - ["System.Security.Principal", "WindowsPrincipal", "get_UserClaims", "()", "summary", "df-generated"]
