# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/csharp-all
      extensible: summaryModel
    data:
      - ["System.Security.Claims", "Claim", False, "Claim", "(System.IO.BinaryReader,System.Security.Claims.ClaimsIdentity)", "", "Argument[1]", "Argument[this].SyntheticField[System.Security.Claims.Claim._subject]", "value", "dfc-generated"]
      - ["System.Security.Claims", "Claim", False, "Claim", "(System.Security.Claims.Claim,System.Security.Claims.ClaimsIdentity)", "", "Argument[1]", "Argument[this].SyntheticField[System.Security.Claims.Claim._subject]", "value", "dfc-generated"]
      - ["System.Security.Claims", "Claim", False, "ToString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "Claim", False, "get_Issuer", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "Claim", False, "get_OriginalIssuer", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "Claim", False, "get_Subject", "()", "", "Argument[this].SyntheticField[System.Security.Claims.Claim._subject]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Claims", "Claim", False, "get_Type", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "Claim", False, "get_Value", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "Claim", False, "get_ValueType", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "Claim", True, "get_CustomSerializationData", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", False, "ClaimsIdentity", "(System.Security.Claims.ClaimsIdentity)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", False, "ClaimsIdentity", "(System.Security.Claims.ClaimsIdentity,System.StringComparison)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", False, "ClaimsIdentity", "(System.Security.Principal.IIdentity,System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>,System.String,System.String,System.String)", "", "Argument[1].Element", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._instanceClaims].Element", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", False, "ClaimsIdentity", "(System.Security.Principal.IIdentity,System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>,System.String,System.String,System.String)", "", "Argument[2]", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._authenticationType]", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", False, "ClaimsIdentity", "(System.Security.Principal.IIdentity,System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>,System.String,System.String,System.String)", "", "Argument[3]", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._nameClaimType]", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", False, "ClaimsIdentity", "(System.Security.Principal.IIdentity,System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>,System.String,System.String,System.String)", "", "Argument[4]", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._roleClaimType]", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", False, "get_NameClaimType", "()", "", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._nameClaimType]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", False, "get_RoleClaimType", "()", "", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._roleClaimType]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "AddClaim", "(System.Security.Claims.Claim)", "", "Argument[0]", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._instanceClaims].Element", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "AddClaims", "(System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>)", "", "Argument[0].Element", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._instanceClaims].Element", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "FindFirst", "(System.String)", "", "Argument[this].Property[System.Security.Claims.ClaimsIdentity.Claims].Element", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "FindFirst", "(System.String)", "", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._instanceClaims].Element", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "HasClaim", "(System.Predicate<System.Security.Claims.Claim>)", "", "Argument[this].Property[System.Security.Claims.ClaimsIdentity.Claims].Element", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "HasClaim", "(System.Predicate<System.Security.Claims.Claim>)", "", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._instanceClaims].Element", "Argument[0].Parameter[0]", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "get_AuthenticationType", "()", "", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._authenticationType]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "get_Claims", "()", "", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._instanceClaims].Element", "ReturnValue.Element", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "get_Claims", "()", "", "Argument[this].SyntheticField[System.Security.Claims.ClaimsIdentity._instanceClaims]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", True, "get_CustomSerializationData", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", False, "ClaimsPrincipal", "(System.Collections.Generic.IEnumerable<System.Security.Claims.ClaimsIdentity>)", "", "Argument[0].Element", "Argument[this].SyntheticField[System.Security.Claims.ClaimsPrincipal._identities].Element", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", False, "ClaimsPrincipal", "(System.Security.Principal.IIdentity)", "", "Argument[0]", "Argument[this].SyntheticField[System.Security.Claims.ClaimsPrincipal._identities].Element", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", False, "ClaimsPrincipal", "(System.Security.Principal.IPrincipal)", "", "Argument[0].Property[System.Security.Claims.ClaimsPrincipal.Identities].Element", "Argument[this].SyntheticField[System.Security.Claims.ClaimsPrincipal._identities].Element", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", True, "AddIdentities", "(System.Collections.Generic.IEnumerable<System.Security.Claims.ClaimsIdentity>)", "", "Argument[0].Element", "Argument[this].SyntheticField[System.Security.Claims.ClaimsPrincipal._identities].Element", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", True, "AddIdentity", "(System.Security.Claims.ClaimsIdentity)", "", "Argument[0]", "Argument[this].SyntheticField[System.Security.Claims.ClaimsPrincipal._identities].Element", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", True, "FindFirst", "(System.String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", True, "get_Claims", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", True, "get_CustomSerializationData", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", True, "get_Identities", "()", "", "Argument[this].SyntheticField[System.Security.Claims.ClaimsPrincipal._identities]", "ReturnValue", "value", "dfc-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", True, "get_Identity", "()", "", "Argument[this].SyntheticField[System.Security.Claims.ClaimsPrincipal._identities].Element", "ReturnValue", "value", "dfc-generated"]
  - addsTo:
      pack: codeql/csharp-all
      extensible: neutralModel
    data:
      - ["System.Security.Claims", "Claim", "Claim", "(System.IO.BinaryReader)", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "Claim", "(System.Security.Claims.Claim)", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "Claim", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "Claim", "(System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "Claim", "(System.String,System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "Claim", "(System.String,System.String,System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "Claim", "(System.String,System.String,System.String,System.String,System.String,System.Security.Claims.ClaimsIdentity)", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "Clone", "()", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "Clone", "(System.Security.Claims.ClaimsIdentity)", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "WriteTo", "(System.IO.BinaryWriter)", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "WriteTo", "(System.IO.BinaryWriter,System.Byte[])", "summary", "df-generated"]
      - ["System.Security.Claims", "Claim", "get_Properties", "()", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>,System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>,System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.IO.BinaryReader)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.IO.BinaryReader,System.StringComparison)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.Runtime.Serialization.SerializationInfo)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.Security.Principal.IIdentity)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.Security.Principal.IIdentity,System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.Security.Principal.IIdentity,System.Collections.Generic.IEnumerable<System.Security.Claims.Claim>,System.String,System.String,System.String,System.StringComparison)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "ClaimsIdentity", "(System.String,System.String,System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "Clone", "()", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "CreateClaim", "(System.IO.BinaryReader)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "FindAll", "(System.Predicate<System.Security.Claims.Claim>)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "FindAll", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "FindFirst", "(System.Predicate<System.Security.Claims.Claim>)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "GetObjectData", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "HasClaim", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "RemoveClaim", "(System.Security.Claims.Claim)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "TryRemoveClaim", "(System.Security.Claims.Claim)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "WriteTo", "(System.IO.BinaryWriter)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "WriteTo", "(System.IO.BinaryWriter,System.Byte[])", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsIdentity", "get_IsAuthenticated", "()", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "ClaimsPrincipal", "(System.IO.BinaryReader)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "ClaimsPrincipal", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "Clone", "()", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "CreateClaimsIdentity", "(System.IO.BinaryReader)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "FindAll", "(System.Predicate<System.Security.Claims.Claim>)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "FindAll", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "FindFirst", "(System.Predicate<System.Security.Claims.Claim>)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "GetObjectData", "(System.Runtime.Serialization.SerializationInfo,System.Runtime.Serialization.StreamingContext)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "HasClaim", "(System.Predicate<System.Security.Claims.Claim>)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "HasClaim", "(System.String,System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "IsInRole", "(System.String)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "WriteTo", "(System.IO.BinaryWriter)", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "WriteTo", "(System.IO.BinaryWriter,System.Byte[])", "summary", "df-generated"]
      - ["System.Security.Claims", "ClaimsPrincipal", "get_Current", "()", "summary", "df-generated"]
