Java: Re-generate JDK 17 models.

Author: michaelnebel

java/ql/lib/ext/generated/java.net.model.yml

@@ -59,7 +59,6 @@ extensions:
       - ["java.net", "FileNameMap", True, "getContentTypeFor", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.net", "HttpCookie", False, "HttpCookie", "(String,String)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.HttpCookie.name]", "taint", "dfc-generated"]
       - ["java.net", "HttpCookie", False, "HttpCookie", "(String,String)", "", "Argument[1]", "Argument[this].SyntheticField[java.net.HttpCookie.value]", "value", "dfc-generated"]
-      - ["java.net", "HttpCookie", False, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
       - ["java.net", "HttpCookie", False, "getComment", "()", "", "Argument[this].SyntheticField[java.net.HttpCookie.comment]", "ReturnValue", "value", "dfc-generated"]
       - ["java.net", "HttpCookie", False, "getCommentURL", "()", "", "Argument[this].SyntheticField[java.net.HttpCookie.commentURL]", "ReturnValue", "value", "dfc-generated"]
       - ["java.net", "HttpCookie", False, "getDomain", "()", "", "Argument[this].SyntheticField[java.net.HttpCookie.domain]", "ReturnValue", "value", "dfc-generated"]

java/ql/lib/ext/generated/java.rmi.server.model.yml

@@ -31,7 +31,6 @@ extensions:
       - ["java.rmi.server", "SkeletonNotFoundException", True, "SkeletonNotFoundException", "(String,Exception)", "", "Argument[1]", "Argument[this].Field[java.rmi.RemoteException.detail]", "value", "dfc-generated"]
       - ["java.rmi.server", "SocketSecurityException", True, "SocketSecurityException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.rmi.server", "SocketSecurityException", True, "SocketSecurityException", "(String,Exception)", "", "Argument[1]", "Argument[this].Field[java.rmi.RemoteException.detail]", "value", "dfc-generated"]
-      - ["java.rmi.server", "UnicastRemoteObject", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
       - ["java.rmi.server", "UnicastRemoteObject", True, "exportObject", "(Remote,int,ObjectInputFilter)", "", "Argument[2]", "Argument[0]", "taint", "df-generated"]
       - ["java.rmi.server", "UnicastRemoteObject", True, "exportObject", "(Remote,int,RMIClientSocketFactory,RMIServerSocketFactory,ObjectInputFilter)", "", "Argument[4]", "Argument[0]", "taint", "df-generated"]
   - addsTo:

java/ql/lib/ext/generated/java.security.cert.model.yml

@@ -9,7 +9,6 @@ extensions:
       - ["java.security.cert", "CRLException", True, "CRLException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security.cert", "CRLException", True, "CRLException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
       - ["java.security.cert", "CRLException", True, "CRLException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
-      - ["java.security.cert", "CRLSelector", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "CertPath", True, "getCertificates", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.security.cert", "CertPath", True, "getType", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.security.cert", "CertPathBuilder", True, "build", "(CertPathParameters)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
@@ -24,7 +23,6 @@ extensions:
       - ["java.security.cert", "CertPathBuilderException", True, "CertPathBuilderException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security.cert", "CertPathBuilderSpi", True, "engineBuild", "(CertPathParameters)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security.cert", "CertPathBuilderSpi", True, "engineBuild", "(CertPathParameters)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
-      - ["java.security.cert", "CertPathParameters", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "CertPathValidator", True, "getAlgorithm", "()", "", "Argument[this].SyntheticField[java.security.cert.CertPathValidator.algorithm]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "CertPathValidator", True, "getInstance", "(String)", "", "Argument[0]", "ReturnValue.SyntheticField[java.security.cert.CertPathValidator.algorithm]", "value", "dfc-generated"]
       - ["java.security.cert", "CertPathValidator", True, "getInstance", "(String,Provider)", "", "Argument[0]", "ReturnValue.SyntheticField[java.security.cert.CertPathValidator.algorithm]", "value", "dfc-generated"]
@@ -39,14 +37,11 @@ extensions:
       - ["java.security.cert", "CertPathValidatorException", True, "CertPathValidatorException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security.cert", "CertPathValidatorException", True, "getCertPath", "()", "", "Argument[this].SyntheticField[java.security.cert.CertPathValidatorException.certPath]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "CertPathValidatorException", True, "getReason", "()", "", "Argument[this].SyntheticField[java.security.cert.CertPathValidatorException.reason]", "ReturnValue", "value", "dfc-generated"]
-      - ["java.security.cert", "CertPathValidatorResult", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
-      - ["java.security.cert", "CertSelector", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.security.cert", "CertStore", True, "getCertStoreParameters", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.security.cert", "CertStoreException", True, "CertStoreException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security.cert", "CertStoreException", True, "CertStoreException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security.cert", "CertStoreException", True, "CertStoreException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
       - ["java.security.cert", "CertStoreException", True, "CertStoreException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
-      - ["java.security.cert", "CertStoreParameters", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "CertStoreSpi", True, "engineGetCRLs", "(CRLSelector)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.security.cert", "CertStoreSpi", True, "engineGetCertificates", "(CertSelector)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.security.cert", "Certificate", True, "getEncoded", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
@@ -92,7 +87,6 @@ extensions:
       - ["java.security.cert", "PKIXCertPathBuilderResult", True, "getCertPath", "()", "", "Argument[this].SyntheticField[java.security.cert.PKIXCertPathBuilderResult.certPath]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "PKIXCertPathChecker", True, "check", "(Certificate,Collection)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security.cert", "PKIXCertPathChecker", True, "check", "(Certificate,Collection)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
-      - ["java.security.cert", "PKIXCertPathChecker", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "PKIXCertPathChecker", True, "getSupportedExtensions", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.security.cert", "PKIXCertPathValidatorResult", True, "PKIXCertPathValidatorResult", "(TrustAnchor,PolicyNode,PublicKey)", "", "Argument[0]", "Argument[this].SyntheticField[java.security.cert.PKIXCertPathValidatorResult.trustAnchor]", "value", "dfc-generated"]
       - ["java.security.cert", "PKIXCertPathValidatorResult", True, "PKIXCertPathValidatorResult", "(TrustAnchor,PolicyNode,PublicKey)", "", "Argument[1]", "Argument[this].SyntheticField[java.security.cert.PKIXCertPathValidatorResult.policyTree]", "value", "dfc-generated"]
@@ -135,7 +129,6 @@ extensions:
       - ["java.security.cert", "TrustAnchor", True, "getNameConstraints", "()", "", "Argument[this].SyntheticField[java.security.cert.TrustAnchor.ncBytes]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "TrustAnchor", True, "getTrustedCert", "()", "", "Argument[this].SyntheticField[java.security.cert.TrustAnchor.trustedCert]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "URICertStoreParameters", False, "URICertStoreParameters", "(URI)", "", "Argument[0]", "Argument[this].SyntheticField[java.security.cert.URICertStoreParameters.uri]", "value", "dfc-generated"]
-      - ["java.security.cert", "URICertStoreParameters", False, "clone", "()", "", "Argument[this].SyntheticField[java.security.cert.URICertStoreParameters.uri]", "ReturnValue.SyntheticField[java.security.cert.URICertStoreParameters.uri]", "value", "dfc-generated"]
       - ["java.security.cert", "URICertStoreParameters", False, "getURI", "()", "", "Argument[this].SyntheticField[java.security.cert.URICertStoreParameters.uri]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "X509CRL", True, "getEncoded", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.security.cert", "X509CRL", True, "getIssuerDN", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
@@ -155,8 +148,6 @@ extensions:
       - ["java.security.cert", "X509CRLSelector", True, "addIssuer", "(X500Principal)", "", "Argument[0]", "Argument[this].SyntheticField[java.security.cert.X509CRLSelector.issuerX500Principals].Element", "value", "dfc-generated"]
       - ["java.security.cert", "X509CRLSelector", True, "addIssuerName", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.security.cert.X509CRLSelector.issuerNames].Element", "value", "dfc-generated"]
       - ["java.security.cert", "X509CRLSelector", True, "addIssuerName", "(byte[])", "", "Argument[0]", "Argument[this].SyntheticField[java.security.cert.X509CRLSelector.issuerNames].Element", "value", "dfc-generated"]
-      - ["java.security.cert", "X509CRLSelector", True, "clone", "()", "", "Argument[this].SyntheticField[java.security.cert.X509CRLSelector.issuerNames].Element", "ReturnValue.SyntheticField[java.security.cert.X509CRLSelector.issuerNames].Element", "value", "dfc-generated"]
-      - ["java.security.cert", "X509CRLSelector", True, "clone", "()", "", "Argument[this].SyntheticField[java.security.cert.X509CRLSelector.issuerX500Principals].Element", "ReturnValue.SyntheticField[java.security.cert.X509CRLSelector.issuerX500Principals].Element", "value", "dfc-generated"]
       - ["java.security.cert", "X509CRLSelector", True, "getCertificateChecking", "()", "", "Argument[this].SyntheticField[java.security.cert.X509CRLSelector.certChecking]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security.cert", "X509CRLSelector", True, "getDateAndTime", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
       - ["java.security.cert", "X509CRLSelector", True, "getIssuerNames", "()", "", "Argument[this].SyntheticField[java.security.cert.X509CRLSelector.issuerNames].Element", "ReturnValue.Element", "value", "dfc-generated"]

java/ql/lib/ext/generated/java.security.model.yml

@@ -200,7 +200,6 @@ extensions:
       - ["java.security", "MessageDigest", True, "update", "(ByteBuffer)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security", "MessageDigest", True, "update", "(byte[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security", "MessageDigest", True, "update", "(byte[],int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
-      - ["java.security", "MessageDigestSpi", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security", "NoSuchAlgorithmException", True, "NoSuchAlgorithmException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security", "NoSuchAlgorithmException", True, "NoSuchAlgorithmException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security", "NoSuchAlgorithmException", True, "NoSuchAlgorithmException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
@@ -287,7 +286,6 @@ extensions:
       - ["java.security", "SignatureException", True, "SignatureException", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
       - ["java.security", "SignatureException", True, "SignatureException", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
       - ["java.security", "SignatureException", True, "SignatureException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
-      - ["java.security", "SignatureSpi", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security", "SignedObject", False, "SignedObject", "(Serializable,PrivateKey,Signature)", "", "Argument[2].SyntheticField[java.security.Signature.algorithm]", "Argument[this].SyntheticField[java.security.SignedObject.thealgorithm]", "value", "dfc-generated"]
       - ["java.security", "SignedObject", False, "getAlgorithm", "()", "", "Argument[this].SyntheticField[java.security.SignedObject.thealgorithm]", "ReturnValue", "value", "dfc-generated"]
       - ["java.security", "SignedObject", False, "getObject", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]