# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
  - addsTo:
      pack: codeql/java-all
      extensible: summaryModel
    data:
      - ["javax.crypto", "AEADBadTagException", True, "AEADBadTagException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "BadPaddingException", True, "BadPaddingException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "CipherInputStream", True, "CipherInputStream", "(InputStream,Cipher)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "CipherInputStream", True, "CipherInputStream", "(InputStream,Cipher)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "CipherOutputStream", True, "CipherOutputStream", "(OutputStream,Cipher)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "EncryptedPrivateKeyInfo", "(AlgorithmParameters,byte[])", "", "Argument[1]", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encryptedData]", "value", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "EncryptedPrivateKeyInfo", "(String,byte[])", "", "Argument[1]", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encryptedData]", "value", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "EncryptedPrivateKeyInfo", "(byte[])", "", "Argument[0].ArrayElement", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encryptedData].ArrayElement", "value", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "EncryptedPrivateKeyInfo", "(byte[])", "", "Argument[0]", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encoded]", "value", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "EncryptedPrivateKeyInfo", "(byte[])", "", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encoded].ArrayElement", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encryptedData].ArrayElement", "value", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "getAlgParameters", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "getEncoded", "()", "", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encoded]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "getEncoded", "()", "", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encryptedData]", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encoded]", "taint", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "getEncoded", "()", "", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encryptedData]", "ReturnValue", "taint", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "getEncryptedData", "()", "", "Argument[this].SyntheticField[javax.crypto.EncryptedPrivateKeyInfo.encryptedData]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "getKeySpec", "(Cipher)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "getKeySpec", "(Key)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "getKeySpec", "(Key,Provider)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", True, "getKeySpec", "(Key,String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "ExemptionMechanism", True, "getInstance", "(String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.ExemptionMechanism.mechanism]", "value", "dfc-generated"]
      - ["javax.crypto", "ExemptionMechanism", True, "getInstance", "(String,Provider)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.ExemptionMechanism.mechanism]", "value", "dfc-generated"]
      - ["javax.crypto", "ExemptionMechanism", True, "getInstance", "(String,String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.ExemptionMechanism.mechanism]", "value", "dfc-generated"]
      - ["javax.crypto", "ExemptionMechanism", True, "getName", "()", "", "Argument[this].SyntheticField[javax.crypto.ExemptionMechanism.mechanism]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.crypto", "ExemptionMechanism", True, "getProvider", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "ExemptionMechanism", True, "init", "(Key)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "ExemptionMechanism", True, "init", "(Key,AlgorithmParameterSpec)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "ExemptionMechanism", True, "init", "(Key,AlgorithmParameters)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "ExemptionMechanismException", True, "ExemptionMechanismException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "IllegalBlockSizeException", True, "IllegalBlockSizeException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyAgreement", True, "doPhase", "(Key,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyAgreement", True, "generateSecret", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "KeyAgreement", True, "generateSecret", "(String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "KeyAgreement", True, "generateSecret", "(byte[],int)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
      - ["javax.crypto", "KeyAgreement", True, "getAlgorithm", "()", "", "Argument[this].SyntheticField[javax.crypto.KeyAgreement.algorithm]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.crypto", "KeyAgreement", True, "getInstance", "(String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.KeyAgreement.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "KeyAgreement", True, "getInstance", "(String,Provider)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.KeyAgreement.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "KeyAgreement", True, "getInstance", "(String,String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.KeyAgreement.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "KeyAgreement", True, "getProvider", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "KeyAgreement", True, "init", "(Key)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyAgreement", True, "init", "(Key,AlgorithmParameterSpec)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyAgreement", True, "init", "(Key,AlgorithmParameterSpec,SecureRandom)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyAgreement", True, "init", "(Key,SecureRandom)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyGenerator", True, "generateKey", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "KeyGenerator", True, "getAlgorithm", "()", "", "Argument[this].SyntheticField[javax.crypto.KeyGenerator.algorithm]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.crypto", "KeyGenerator", True, "getInstance", "(String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.KeyGenerator.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "KeyGenerator", True, "getInstance", "(String,Provider)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.KeyGenerator.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "KeyGenerator", True, "getInstance", "(String,String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.KeyGenerator.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "KeyGenerator", True, "getProvider", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "KeyGenerator", True, "init", "(AlgorithmParameterSpec)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyGenerator", True, "init", "(AlgorithmParameterSpec,SecureRandom)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyGenerator", True, "init", "(AlgorithmParameterSpec,SecureRandom)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyGenerator", True, "init", "(SecureRandom)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "KeyGenerator", True, "init", "(int,SecureRandom)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "Mac", True, "getAlgorithm", "()", "", "Argument[this].SyntheticField[javax.crypto.Mac.algorithm]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.crypto", "Mac", True, "getInstance", "(String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.Mac.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "Mac", True, "getInstance", "(String,Provider)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.Mac.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "Mac", True, "getInstance", "(String,String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.Mac.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "Mac", True, "getProvider", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "Mac", True, "init", "(Key,AlgorithmParameterSpec)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "NoSuchPaddingException", True, "NoSuchPaddingException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["javax.crypto", "SealedObject", True, "getAlgorithm", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "generateSecret", "(KeySpec)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "generateSecret", "(KeySpec)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "getAlgorithm", "()", "", "Argument[this].SyntheticField[javax.crypto.SecretKeyFactory.algorithm]", "ReturnValue", "value", "dfc-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "getInstance", "(String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.SecretKeyFactory.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "getInstance", "(String,Provider)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.SecretKeyFactory.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "getInstance", "(String,String)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.crypto.SecretKeyFactory.algorithm]", "value", "dfc-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "getKeySpec", "(SecretKey,Class)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "getProvider", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "translateKey", "(SecretKey)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "SecretKeyFactory", True, "translateKey", "(SecretKey)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["javax.crypto", "ShortBufferException", True, "ShortBufferException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["javax.crypto", "Cipher", "getBlockSize", "()", "summary", "df-generated"]
      - ["javax.crypto", "Cipher", "getMaxAllowedKeyLength", "(String)", "summary", "df-generated"]
      - ["javax.crypto", "Cipher", "getMaxAllowedParameterSpec", "(String)", "summary", "df-generated"]
      - ["javax.crypto", "Cipher", "getOutputSize", "(int)", "summary", "df-generated"]
      - ["javax.crypto", "CipherInputStream", "available", "()", "summary", "df-generated"]
      - ["javax.crypto", "CipherInputStream", "markSupported", "()", "summary", "df-generated"]
      - ["javax.crypto", "CipherInputStream", "skip", "(long)", "summary", "df-generated"]
      - ["javax.crypto", "EncryptedPrivateKeyInfo", "getAlgName", "()", "summary", "df-generated"]
      - ["javax.crypto", "ExemptionMechanism", "genExemptionBlob", "()", "summary", "df-generated"]
      - ["javax.crypto", "ExemptionMechanism", "genExemptionBlob", "(byte[])", "summary", "df-generated"]
      - ["javax.crypto", "ExemptionMechanism", "genExemptionBlob", "(byte[],int)", "summary", "df-generated"]
      - ["javax.crypto", "ExemptionMechanism", "getOutputSize", "(int)", "summary", "df-generated"]
      - ["javax.crypto", "ExemptionMechanism", "isCryptoAllowed", "(Key)", "summary", "df-generated"]
      - ["javax.crypto", "KeyGenerator", "init", "(int)", "summary", "df-generated"]
      - ["javax.crypto", "Mac", "doFinal", "(byte[])", "summary", "df-generated"]
      - ["javax.crypto", "Mac", "doFinal", "(byte[],int)", "summary", "df-generated"]
      - ["javax.crypto", "Mac", "getMacLength", "()", "summary", "df-generated"]
      - ["javax.crypto", "Mac", "reset", "()", "summary", "df-generated"]
      - ["javax.crypto", "Mac", "update", "(ByteBuffer)", "summary", "df-generated"]
      - ["javax.crypto", "Mac", "update", "(byte)", "summary", "df-generated"]
      - ["javax.crypto", "Mac", "update", "(byte[])", "summary", "df-generated"]
      - ["javax.crypto", "Mac", "update", "(byte[],int,int)", "summary", "df-generated"]
      - ["javax.crypto", "SealedObject", "SealedObject", "(Serializable,Cipher)", "summary", "df-generated"]
      - ["javax.crypto", "SealedObject", "getObject", "(Cipher)", "summary", "df-generated"]
      - ["javax.crypto", "SealedObject", "getObject", "(Key)", "summary", "df-generated"]
      - ["javax.crypto", "SealedObject", "getObject", "(Key,String)", "summary", "df-generated"]