From ae6c193b46dba296103ed47b142f19969fdb4ed2 Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Fri, 11 Oct 2024 11:09:01 +0200 Subject: [PATCH] Java: Re-generate JDK 17 models. --- java/ql/lib/ext/generated/java.net.model.yml | 1 - .../ext/generated/java.rmi.server.model.yml | 1 - .../ext/generated/java.security.cert.model.yml | 9 --------- .../lib/ext/generated/java.security.model.yml | 2 -- java/ql/lib/ext/generated/java.text.model.yml | 9 --------- .../generated/java.util.concurrent.model.yml | 5 +---- .../lib/ext/generated/java.util.jar.model.yml | 3 --- java/ql/lib/ext/generated/java.util.model.yml | 18 ------------------ .../lib/ext/generated/java.util.zip.model.yml | 2 -- .../lib/ext/generated/javax.crypto.model.yml | 2 -- .../javax.imageio.plugins.tiff.model.yml | 2 -- .../ext/generated/javax.management.model.yml | 7 ------- .../javax.management.modelmbean.model.yml | 2 -- .../javax.management.openmbean.model.yml | 3 --- .../javax.management.relation.model.yml | 4 ---- .../generated/javax.naming.directory.model.yml | 4 ---- .../ext/generated/javax.naming.ldap.model.yml | 1 - .../lib/ext/generated/javax.naming.model.yml | 2 -- .../generated/javax.print.attribute.model.yml | 1 - .../ext/generated/javax.sound.midi.model.yml | 3 --- .../javax.sql.rowset.serial.model.yml | 7 ------- .../ext/generated/javax.xml.datatype.model.yml | 1 - 22 files changed, 1 insertion(+), 88 deletions(-) diff --git a/java/ql/lib/ext/generated/java.net.model.yml b/java/ql/lib/ext/generated/java.net.model.yml index 1864aa24fb880..7e6a86dbf3450 100644 --- a/java/ql/lib/ext/generated/java.net.model.yml +++ b/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"] diff --git a/java/ql/lib/ext/generated/java.rmi.server.model.yml b/java/ql/lib/ext/generated/java.rmi.server.model.yml index 6ec258b11c4d2..93ff1d281d0df 100644 --- a/java/ql/lib/ext/generated/java.rmi.server.model.yml +++ b/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: diff --git a/java/ql/lib/ext/generated/java.security.cert.model.yml b/java/ql/lib/ext/generated/java.security.cert.model.yml index ede0991a96575..103de45206e80 100644 --- a/java/ql/lib/ext/generated/java.security.cert.model.yml +++ b/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"] diff --git a/java/ql/lib/ext/generated/java.security.model.yml b/java/ql/lib/ext/generated/java.security.model.yml index 4a4aad424ddc0..d03c7e773ddf5 100644 --- a/java/ql/lib/ext/generated/java.security.model.yml +++ b/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"] diff --git a/java/ql/lib/ext/generated/java.text.model.yml b/java/ql/lib/ext/generated/java.text.model.yml index 482874a4b3d72..22ccc0a219d4b 100644 --- a/java/ql/lib/ext/generated/java.text.model.yml +++ b/java/ql/lib/ext/generated/java.text.model.yml @@ -14,13 +14,10 @@ extensions: - ["java.text", "AttributedString", True, "getIterator", "(AttributedCharacterIterator$Attribute[],int,int)", "", "Argument[0].ArrayElement", "ReturnValue", "taint", "df-generated"] - ["java.text", "Bidi", False, "Bidi", "(String,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.text", "Bidi", False, "Bidi", "(char[],int,byte[],int,int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["java.text", "BreakIterator", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.text", "BreakIterator", True, "getText", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.text", "BreakIterator", True, "setText", "(CharacterIterator)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.text", "BreakIterator", True, "setText", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["java.text", "CharacterIterator", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.text", "ChoiceFormat", True, "ChoiceFormat", "(double[],String[])", "", "Argument[1].ArrayElement", "Argument[this].SyntheticField[java.text.ChoiceFormat.choiceFormats].ArrayElement", "value", "dfc-generated"] - - ["java.text", "ChoiceFormat", True, "clone", "()", "", "Argument[this].SyntheticField[java.text.ChoiceFormat.choiceFormats]", "ReturnValue.SyntheticField[java.text.ChoiceFormat.choiceFormats]", "value", "dfc-generated"] - ["java.text", "ChoiceFormat", True, "format", "(double,StringBuffer,FieldPosition)", "", "Argument[this].SyntheticField[java.text.ChoiceFormat.choiceFormats].ArrayElement", "Argument[1]", "taint", "dfc-generated"] - ["java.text", "ChoiceFormat", True, "format", "(double,StringBuffer,FieldPosition)", "", "Argument[this].SyntheticField[java.text.ChoiceFormat.choiceFormats].ArrayElement", "ReturnValue", "taint", "dfc-generated"] - ["java.text", "ChoiceFormat", True, "format", "(long,StringBuffer,FieldPosition)", "", "Argument[this].SyntheticField[java.text.ChoiceFormat.choiceFormats].ArrayElement", "Argument[1]", "taint", "dfc-generated"] @@ -29,7 +26,6 @@ extensions: - ["java.text", "ChoiceFormat", True, "setChoices", "(double[],String[])", "", "Argument[1].ArrayElement", "Argument[this].SyntheticField[java.text.ChoiceFormat.choiceFormats].ArrayElement", "value", "dfc-generated"] - ["java.text", "ChoiceFormat", True, "toPattern", "()", "", "Argument[this].SyntheticField[java.text.ChoiceFormat.choiceFormats].ArrayElement", "ReturnValue", "taint", "dfc-generated"] - ["java.text", "CollationKey", True, "getSourceString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - - ["java.text", "Collator", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.text", "Collator", True, "getCollationKey", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.text", "Collator", True, "getCollationKey", "(String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.text", "Collator", True, "getCollationKey", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] @@ -51,7 +47,6 @@ extensions: - ["java.text", "DateFormat", True, "setNumberFormat", "(NumberFormat)", "", "Argument[0]", "Argument[this].SyntheticField[java.text.DateFormat.numberFormat]", "value", "dfc-generated"] - ["java.text", "DateFormat", True, "setTimeZone", "(TimeZone)", "", "Argument[0]", "Argument[this].SyntheticField[java.text.DateFormat.calendar].SyntheticField[java.util.Calendar.zone]", "value", "dfc-generated"] - ["java.text", "DateFormatSymbols", True, "DateFormatSymbols", "(Locale)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["java.text", "DateFormatSymbols", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.text", "DateFormatSymbols", True, "getAmPmStrings", "()", "", "Argument[this].SyntheticField[java.text.DateFormatSymbols.ampms].ArrayElement", "ReturnValue.ArrayElement", "value", "dfc-generated"] - ["java.text", "DateFormatSymbols", True, "getEras", "()", "", "Argument[this].SyntheticField[java.text.DateFormatSymbols.eras].ArrayElement", "ReturnValue.ArrayElement", "value", "dfc-generated"] - ["java.text", "DateFormatSymbols", True, "getInstance", "(Locale)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] @@ -84,7 +79,6 @@ extensions: - ["java.text", "DecimalFormat", True, "toLocalizedPattern", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.text", "DecimalFormat", True, "toPattern", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.text", "DecimalFormatSymbols", True, "DecimalFormatSymbols", "(Locale)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["java.text", "DecimalFormatSymbols", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.text", "DecimalFormatSymbols", True, "getCurrency", "()", "", "Argument[this].SyntheticField[java.text.DecimalFormatSymbols.currency]", "ReturnValue", "value", "dfc-generated"] - ["java.text", "DecimalFormatSymbols", True, "getCurrencySymbol", "()", "", "Argument[this].SyntheticField[java.text.DecimalFormatSymbols.currencySymbol]", "ReturnValue", "value", "dfc-generated"] - ["java.text", "DecimalFormatSymbols", True, "getExponentSeparator", "()", "", "Argument[this].SyntheticField[java.text.DecimalFormatSymbols.exponentialSeparator]", "ReturnValue", "value", "dfc-generated"] @@ -106,14 +100,11 @@ extensions: - ["java.text", "FieldPosition", True, "FieldPosition", "(Format$Field)", "", "Argument[0]", "Argument[this].SyntheticField[java.text.FieldPosition.attribute]", "value", "dfc-generated"] - ["java.text", "FieldPosition", True, "FieldPosition", "(Format$Field,int)", "", "Argument[0]", "Argument[this].SyntheticField[java.text.FieldPosition.attribute]", "value", "dfc-generated"] - ["java.text", "FieldPosition", True, "getFieldAttribute", "()", "", "Argument[this].SyntheticField[java.text.FieldPosition.attribute]", "ReturnValue", "value", "dfc-generated"] - - ["java.text", "Format", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.text", "Format", True, "parseObject", "(String)", "", "Argument[0]", "ReturnValue.ArrayElement.ArrayElement", "taint", "dfc-generated"] - ["java.text", "Format", True, "parseObject", "(String)", "", "Argument[0]", "ReturnValue.ArrayElement", "taint", "dfc-generated"] - ["java.text", "Format", True, "parseObject", "(String,ParsePosition)", "", "Argument[0]", "ReturnValue.ArrayElement.ArrayElement", "taint", "dfc-generated"] - ["java.text", "Format", True, "parseObject", "(String,ParsePosition)", "", "Argument[0]", "ReturnValue.ArrayElement", "taint", "dfc-generated"] - ["java.text", "MessageFormat", True, "MessageFormat", "(String,Locale)", "", "Argument[1]", "Argument[this].SyntheticField[java.text.MessageFormat.locale]", "value", "dfc-generated"] - - ["java.text", "MessageFormat", True, "clone", "()", "", "Argument[this].SyntheticField[java.text.MessageFormat.formats].ArrayElement", "ReturnValue.SyntheticField[java.text.MessageFormat.formats].ArrayElement", "value", "dfc-generated"] - - ["java.text", "MessageFormat", True, "clone", "()", "", "Argument[this].SyntheticField[java.text.MessageFormat.formats]", "ReturnValue.SyntheticField[java.text.MessageFormat.formats]", "value", "dfc-generated"] - ["java.text", "MessageFormat", True, "getFormats", "()", "", "Argument[this].SyntheticField[java.text.MessageFormat.formats]", "ReturnValue", "taint", "dfc-generated"] - ["java.text", "MessageFormat", True, "getFormatsByArgumentIndex", "()", "", "Argument[this].SyntheticField[java.text.MessageFormat.formats].ArrayElement", "ReturnValue.ArrayElement", "value", "dfc-generated"] - ["java.text", "MessageFormat", True, "getLocale", "()", "", "Argument[this].SyntheticField[java.text.MessageFormat.locale]", "ReturnValue", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/java.util.concurrent.model.yml b/java/ql/lib/ext/generated/java.util.concurrent.model.yml index 44ffce94b4a54..6d0d5e2699bb2 100644 --- a/java/ql/lib/ext/generated/java.util.concurrent.model.yml +++ b/java/ql/lib/ext/generated/java.util.concurrent.model.yml @@ -115,21 +115,17 @@ extensions: - ["java.util.concurrent", "ConcurrentSkipListMap", True, "ConcurrentSkipListMap", "(Comparator)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.concurrent.ConcurrentSkipListMap.comparator]", "value", "dfc-generated"] - ["java.util.concurrent", "ConcurrentSkipListMap", True, "ConcurrentSkipListMap", "(Map)", "", "Argument[0].MapKey", "Argument[this].MapKey", "value", "dfc-generated"] - ["java.util.concurrent", "ConcurrentSkipListMap", True, "ConcurrentSkipListMap", "(Map)", "", "Argument[0].MapValue", "Argument[this].MapValue", "value", "dfc-generated"] - - ["java.util.concurrent", "ConcurrentSkipListMap", True, "ConcurrentSkipListMap", "(SortedMap)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"] - - ["java.util.concurrent", "ConcurrentSkipListMap", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.concurrent", "ConcurrentSkipListMap", True, "comparator", "()", "", "Argument[this].SyntheticField[java.util.concurrent.ConcurrentSkipListMap.comparator]", "ReturnValue", "value", "dfc-generated"] - ["java.util.concurrent", "ConcurrentSkipListMap", True, "descendingKeySet", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.concurrent", "ConcurrentSkipListMap", True, "navigableKeySet", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.concurrent", "ConcurrentSkipListSet", True, "ConcurrentSkipListSet", "(Collection)", "", "Argument[0].Element", "Argument[this].Element", "value", "dfc-generated"] - ["java.util.concurrent", "ConcurrentSkipListSet", True, "ConcurrentSkipListSet", "(Comparator)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.concurrent.ConcurrentSkipListSet.m].SyntheticField[java.util.concurrent.ConcurrentSkipListMap.comparator]", "value", "dfc-generated"] - ["java.util.concurrent", "ConcurrentSkipListSet", True, "ConcurrentSkipListSet", "(SortedSet)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"] - - ["java.util.concurrent", "ConcurrentSkipListSet", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.concurrent", "ConcurrentSkipListSet", True, "comparator", "()", "", "Argument[this].SyntheticField[java.util.concurrent.ConcurrentSkipListSet.m].SyntheticField[java.util.concurrent.ConcurrentSkipListMap.comparator]", "ReturnValue", "value", "dfc-generated"] - ["java.util.concurrent", "CopyOnWriteArrayList", True, "CopyOnWriteArrayList", "(Collection)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"] - ["java.util.concurrent", "CopyOnWriteArrayList", True, "CopyOnWriteArrayList", "(Object[])", "", "Argument[0].ArrayElement", "Argument[this]", "taint", "df-generated"] - ["java.util.concurrent", "CopyOnWriteArrayList", True, "addAllAbsent", "(Collection)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"] - ["java.util.concurrent", "CopyOnWriteArrayList", True, "addIfAbsent", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["java.util.concurrent", "CopyOnWriteArrayList", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.concurrent", "CopyOnWriteArraySet", True, "CopyOnWriteArraySet", "(Collection)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"] - ["java.util.concurrent", "CountedCompleter", True, "firstComplete", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.concurrent", "CountedCompleter", True, "getCompleter", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] @@ -318,6 +314,7 @@ extensions: - ["java.util.concurrent", "ConcurrentLinkedQueue", "removeAll", "(Collection)", "summary", "df-generated"] - ["java.util.concurrent", "ConcurrentLinkedQueue", "retainAll", "(Collection)", "summary", "df-generated"] - ["java.util.concurrent", "ConcurrentMap", "replaceAll", "(BiFunction)", "summary", "df-generated"] + - ["java.util.concurrent", "ConcurrentSkipListMap", "ConcurrentSkipListMap", "(SortedMap)", "summary", "df-generated"] - ["java.util.concurrent", "ConcurrentSkipListMap", "ceilingKey", "(Object)", "summary", "df-generated"] - ["java.util.concurrent", "ConcurrentSkipListMap", "compute", "(Object,BiFunction)", "summary", "df-generated"] - ["java.util.concurrent", "ConcurrentSkipListMap", "computeIfPresent", "(Object,BiFunction)", "summary", "df-generated"] diff --git a/java/ql/lib/ext/generated/java.util.jar.model.yml b/java/ql/lib/ext/generated/java.util.jar.model.yml index 5f6c88c0a2be0..33d7d00ffa6b5 100644 --- a/java/ql/lib/ext/generated/java.util.jar.model.yml +++ b/java/ql/lib/ext/generated/java.util.jar.model.yml @@ -7,8 +7,6 @@ extensions: - ["java.util.jar", "Attributes$Name", True, "Name", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util.jar", "Attributes", True, "Attributes", "(Attributes)", "", "Argument[0].MapKey", "Argument[this].SyntheticField[java.util.jar.Attributes.map].MapKey", "value", "dfc-generated"] - ["java.util.jar", "Attributes", True, "Attributes", "(Attributes)", "", "Argument[0].MapValue", "Argument[this].SyntheticField[java.util.jar.Attributes.map].MapValue", "value", "dfc-generated"] - - ["java.util.jar", "Attributes", True, "clone", "()", "", "Argument[this].MapKey", "ReturnValue.SyntheticField[java.util.jar.Attributes.map].MapKey", "value", "dfc-generated"] - - ["java.util.jar", "Attributes", True, "clone", "()", "", "Argument[this].MapValue", "ReturnValue.SyntheticField[java.util.jar.Attributes.map].MapValue", "value", "dfc-generated"] - ["java.util.jar", "Attributes", True, "getValue", "(Attributes$Name)", "", "Argument[this].MapValue", "ReturnValue", "value", "dfc-generated"] - ["java.util.jar", "Attributes", True, "getValue", "(Attributes$Name)", "", "Argument[this].SyntheticField[java.util.jar.Attributes.map].MapValue", "ReturnValue", "value", "dfc-generated"] - ["java.util.jar", "Attributes", True, "getValue", "(String)", "", "Argument[this].MapValue", "ReturnValue", "value", "dfc-generated"] @@ -41,7 +39,6 @@ extensions: - ["java.util.jar", "JarOutputStream", True, "JarOutputStream", "(OutputStream)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"] - ["java.util.jar", "JarOutputStream", True, "JarOutputStream", "(OutputStream,Manifest)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"] - ["java.util.jar", "Manifest", True, "Manifest", "(Manifest)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["java.util.jar", "Manifest", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.jar", "Manifest", True, "getAttributes", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.jar", "Manifest", True, "getEntries", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util.jar", "Manifest", True, "getMainAttributes", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] diff --git a/java/ql/lib/ext/generated/java.util.model.yml b/java/ql/lib/ext/generated/java.util.model.yml index 66587cf0d540f..c9d7d9e5d99e8 100644 --- a/java/ql/lib/ext/generated/java.util.model.yml +++ b/java/ql/lib/ext/generated/java.util.model.yml @@ -4,11 +4,8 @@ extensions: pack: codeql/java-all extensible: summaryModel data: - - ["java.util", "ArrayDeque", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - - ["java.util", "ArrayList", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Base64$Encoder", True, "withoutPadding", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Base64", True, "getMimeEncoder", "(int,byte[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"] - - ["java.util", "BitSet", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Calendar$Builder", True, "build", "()", "", "Argument[this].SyntheticField[java.util.Calendar$Builder.zone]", "ReturnValue.SyntheticField[java.util.Calendar.zone]", "value", "dfc-generated"] - ["java.util", "Calendar$Builder", True, "set", "(int,int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Calendar$Builder", True, "setCalendarType", "(String)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] @@ -25,8 +22,6 @@ extensions: - ["java.util", "Calendar$Builder", True, "setTimeZone", "(TimeZone)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Calendar$Builder", True, "setWeekDate", "(int,int,int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Calendar$Builder", True, "setWeekDefinition", "(int,int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - - ["java.util", "Calendar", True, "clone", "()", "", "Argument[this].SyntheticField[java.util.Calendar.zone]", "ReturnValue.SyntheticField[java.util.Calendar.zone]", "value", "dfc-generated"] - - ["java.util", "Calendar", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Calendar", True, "getInstance", "(TimeZone)", "", "Argument[0]", "ReturnValue.SyntheticField[java.util.Calendar.zone]", "value", "dfc-generated"] - ["java.util", "Calendar", True, "getInstance", "(TimeZone,Locale)", "", "Argument[0]", "ReturnValue.SyntheticField[java.util.Calendar.zone]", "value", "dfc-generated"] - ["java.util", "Calendar", True, "getTimeZone", "()", "", "Argument[this].SyntheticField[java.util.Calendar.zone]", "ReturnValue", "value", "dfc-generated"] @@ -43,10 +38,8 @@ extensions: - ["java.util", "Currency", False, "getInstance", "(String)", "", "Argument[0]", "ReturnValue.SyntheticField[java.util.Currency.currencyCode]", "value", "dfc-generated"] - ["java.util", "Currency", False, "getSymbol", "()", "", "Argument[this].SyntheticField[java.util.Currency.currencyCode]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Currency", False, "getSymbol", "(Locale)", "", "Argument[this].SyntheticField[java.util.Currency.currencyCode]", "ReturnValue", "value", "dfc-generated"] - - ["java.util", "Date", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "DuplicateFormatFlagsException", True, "DuplicateFormatFlagsException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.DuplicateFormatFlagsException.flags]", "value", "dfc-generated"] - ["java.util", "DuplicateFormatFlagsException", True, "getFlags", "()", "", "Argument[this].SyntheticField[java.util.DuplicateFormatFlagsException.flags]", "ReturnValue", "value", "dfc-generated"] - - ["java.util", "EnumMap", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "EventListenerProxy", True, "EventListenerProxy", "(EventListener)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.EventListenerProxy.listener]", "value", "dfc-generated"] - ["java.util", "EventListenerProxy", True, "getListener", "()", "", "Argument[this].SyntheticField[java.util.EventListenerProxy.listener]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "FormatFlagsConversionMismatchException", True, "FormatFlagsConversionMismatchException", "(String,char)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.FormatFlagsConversionMismatchException.f]", "value", "dfc-generated"] @@ -76,12 +69,9 @@ extensions: - ["java.util", "GregorianCalendar", True, "from", "(ZonedDateTime)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["java.util", "GregorianCalendar", True, "getTimeZone", "()", "", "Argument[this].SyntheticField[java.util.Calendar.zone]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "GregorianCalendar", True, "setTimeZone", "(TimeZone)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.Calendar.zone]", "value", "dfc-generated"] - - ["java.util", "HashMap", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util", "HashMap", True, "compute", "(Object,BiFunction)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util", "HashMap", True, "compute", "(Object,BiFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util", "HashMap", True, "computeIfPresent", "(Object,BiFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - - ["java.util", "HashSet", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - - ["java.util", "Hashtable", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Hashtable", True, "compute", "(Object,BiFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util", "Hashtable", True, "computeIfPresent", "(Object,BiFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util", "HexFormat", False, "delimiter", "()", "", "Argument[this].SyntheticField[java.util.HexFormat.delimiter]", "ReturnValue", "value", "dfc-generated"] @@ -112,7 +102,6 @@ extensions: - ["java.util", "HexFormat", False, "withUpperCase", "()", "", "Argument[this].SyntheticField[java.util.HexFormat.delimiter]", "ReturnValue.SyntheticField[java.util.HexFormat.delimiter]", "value", "dfc-generated"] - ["java.util", "HexFormat", False, "withUpperCase", "()", "", "Argument[this].SyntheticField[java.util.HexFormat.prefix]", "ReturnValue.SyntheticField[java.util.HexFormat.prefix]", "value", "dfc-generated"] - ["java.util", "HexFormat", False, "withUpperCase", "()", "", "Argument[this].SyntheticField[java.util.HexFormat.suffix]", "ReturnValue.SyntheticField[java.util.HexFormat.suffix]", "value", "dfc-generated"] - - ["java.util", "IdentityHashMap", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "IllegalFormatFlagsException", True, "IllegalFormatFlagsException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.IllegalFormatFlagsException.flags]", "value", "dfc-generated"] - ["java.util", "IllegalFormatFlagsException", True, "getFlags", "()", "", "Argument[this].SyntheticField[java.util.IllegalFormatFlagsException.flags]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "IllformedLocaleException", True, "IllformedLocaleException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] @@ -120,9 +109,7 @@ extensions: - ["java.util", "InputMismatchException", True, "InputMismatchException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util", "InvalidPropertiesFormatException", True, "InvalidPropertiesFormatException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util", "InvalidPropertiesFormatException", True, "InvalidPropertiesFormatException", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["java.util", "LinkedList", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util", "ListResourceBundle", True, "handleGetObject", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - - ["java.util", "Locale", False, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Map", True, "compute", "(Object,BiFunction)", "", "Argument[0]", "Argument[this].MapKey", "value", "dfc-generated"] - ["java.util", "Map", True, "computeIfPresent", "(Object,BiFunction)", "", "Argument[0]", "Argument[this].MapKey", "value", "dfc-generated"] - ["java.util", "MissingFormatArgumentException", True, "MissingFormatArgumentException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.MissingFormatArgumentException.s]", "value", "dfc-generated"] @@ -142,7 +129,6 @@ extensions: - ["java.util", "PriorityQueue", True, "PriorityQueue", "(int,Comparator)", "", "Argument[1]", "Argument[this].SyntheticField[java.util.PriorityQueue.comparator]", "value", "dfc-generated"] - ["java.util", "PriorityQueue", True, "comparator", "()", "", "Argument[this].SyntheticField[java.util.PriorityQueue.comparator]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Properties", True, "Properties", "(Properties)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"] - - ["java.util", "Properties", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "Properties", True, "propertyNames", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util", "Properties", True, "store", "(Writer,String)", "", "Argument[1]", "Argument[0]", "taint", "dfc-generated"] - ["java.util", "Properties", True, "stringPropertyNames", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] @@ -185,7 +171,6 @@ extensions: - ["java.util", "Spliterators", False, "spliteratorUnknownSize", "(PrimitiveIterator$OfDouble,int)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"] - ["java.util", "Spliterators", False, "spliteratorUnknownSize", "(PrimitiveIterator$OfInt,int)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"] - ["java.util", "Spliterators", False, "spliteratorUnknownSize", "(PrimitiveIterator$OfLong,int)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"] - - ["java.util", "TimeZone", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "TimeZone", True, "getDisplayName", "()", "", "Argument[this].SyntheticField[java.util.TimeZone.ID]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "TimeZone", True, "getDisplayName", "(Locale)", "", "Argument[this].SyntheticField[java.util.TimeZone.ID]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "TimeZone", True, "getDisplayName", "(boolean,int)", "", "Argument[this].SyntheticField[java.util.TimeZone.ID]", "ReturnValue", "value", "dfc-generated"] @@ -198,7 +183,6 @@ extensions: - ["java.util", "Timer", True, "Timer", "(String,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util", "TooManyListenersException", True, "TooManyListenersException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["java.util", "TreeMap", True, "ceilingKey", "(Object)", "", "Argument[this].SyntheticField[java.util.TreeMap.root].SyntheticField[java.util.TreeMap$Entry.key]", "ReturnValue", "value", "dfc-generated"] - - ["java.util", "TreeMap", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util", "TreeMap", True, "comparator", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util", "TreeMap", True, "compute", "(Object,BiFunction)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.TreeMap.root].SyntheticField[java.util.TreeMap$Entry.key]", "value", "dfc-generated"] - ["java.util", "TreeMap", True, "computeIfPresent", "(Object,BiFunction)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] @@ -209,13 +193,11 @@ extensions: - ["java.util", "TreeMap", True, "lastKey", "()", "", "Argument[this].SyntheticField[java.util.TreeMap.root].SyntheticField[java.util.TreeMap$Entry.key]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "TreeMap", True, "lowerKey", "(Object)", "", "Argument[this].SyntheticField[java.util.TreeMap.root].SyntheticField[java.util.TreeMap$Entry.key]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "TreeMap", True, "navigableKeySet", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - - ["java.util", "TreeSet", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "TreeSet", True, "comparator", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["java.util", "UnknownFormatConversionException", True, "UnknownFormatConversionException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.UnknownFormatConversionException.s]", "value", "dfc-generated"] - ["java.util", "UnknownFormatConversionException", True, "getConversion", "()", "", "Argument[this].SyntheticField[java.util.UnknownFormatConversionException.s]", "ReturnValue", "value", "dfc-generated"] - ["java.util", "UnknownFormatFlagsException", True, "UnknownFormatFlagsException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.UnknownFormatFlagsException.flags]", "value", "dfc-generated"] - ["java.util", "UnknownFormatFlagsException", True, "getFlags", "()", "", "Argument[this].SyntheticField[java.util.UnknownFormatFlagsException.flags]", "ReturnValue", "value", "dfc-generated"] - - ["java.util", "Vector", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - addsTo: pack: codeql/java-all extensible: neutralModel diff --git a/java/ql/lib/ext/generated/java.util.zip.model.yml b/java/ql/lib/ext/generated/java.util.zip.model.yml index dc6ddb657dfd5..09be65e9dce02 100644 --- a/java/ql/lib/ext/generated/java.util.zip.model.yml +++ b/java/ql/lib/ext/generated/java.util.zip.model.yml @@ -40,8 +40,6 @@ extensions: - ["java.util.zip", "InflaterOutputStream", True, "InflaterOutputStream", "(OutputStream,Inflater)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"] - ["java.util.zip", "InflaterOutputStream", True, "InflaterOutputStream", "(OutputStream,Inflater,int)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"] - ["java.util.zip", "ZipEntry", True, "ZipEntry", "(ZipEntry)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["java.util.zip", "ZipEntry", True, "clone", "()", "", "Argument[this].SyntheticField[java.util.zip.ZipEntry.extra]", "ReturnValue.SyntheticField[java.util.zip.ZipEntry.extra]", "value", "dfc-generated"] - - ["java.util.zip", "ZipEntry", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["java.util.zip", "ZipEntry", True, "getComment", "()", "", "Argument[this].SyntheticField[java.util.zip.ZipEntry.comment]", "ReturnValue", "value", "dfc-generated"] - ["java.util.zip", "ZipEntry", True, "getCreationTime", "()", "", "Argument[this].SyntheticField[java.util.zip.ZipEntry.ctime]", "ReturnValue", "value", "dfc-generated"] - ["java.util.zip", "ZipEntry", True, "getExtra", "()", "", "Argument[this].SyntheticField[java.util.zip.ZipEntry.extra]", "ReturnValue", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.crypto.model.yml b/java/ql/lib/ext/generated/javax.crypto.model.yml index 97a5499284292..1e917f8d6abbb 100644 --- a/java/ql/lib/ext/generated/javax.crypto.model.yml +++ b/java/ql/lib/ext/generated/javax.crypto.model.yml @@ -57,14 +57,12 @@ extensions: - ["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, "clone", "()", "", "Argument[this]", "ReturnValue", "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", "MacSpi", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-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"] diff --git a/java/ql/lib/ext/generated/javax.imageio.plugins.tiff.model.yml b/java/ql/lib/ext/generated/javax.imageio.plugins.tiff.model.yml index e8a20083b2412..9ec5e1d9b4643 100644 --- a/java/ql/lib/ext/generated/javax.imageio.plugins.tiff.model.yml +++ b/java/ql/lib/ext/generated/javax.imageio.plugins.tiff.model.yml @@ -9,7 +9,6 @@ extensions: - ["javax.imageio.plugins.tiff", "TIFFDirectory", True, "addTIFFField", "(TIFFField)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.plugins.tiff.TIFFDirectory.highFields].MapValue", "value", "dfc-generated"] - ["javax.imageio.plugins.tiff", "TIFFDirectory", True, "addTIFFField", "(TIFFField)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.plugins.tiff.TIFFDirectory.lowFields].ArrayElement", "value", "dfc-generated"] - ["javax.imageio.plugins.tiff", "TIFFDirectory", True, "addTagSet", "(TIFFTagSet)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.plugins.tiff.TIFFDirectory.tagSets].Element", "value", "dfc-generated"] - - ["javax.imageio.plugins.tiff", "TIFFDirectory", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.imageio.plugins.tiff", "TIFFDirectory", True, "createFromMetadata", "(IIOMetadata)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["javax.imageio.plugins.tiff", "TIFFDirectory", True, "getAsMetadata", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.imageio.plugins.tiff", "TIFFDirectory", True, "getParentTag", "()", "", "Argument[this].SyntheticField[javax.imageio.plugins.tiff.TIFFDirectory.parentTag]", "ReturnValue", "value", "dfc-generated"] @@ -25,7 +24,6 @@ extensions: - ["javax.imageio.plugins.tiff", "TIFFField", False, "TIFFField", "(TIFFTag,int,long,TIFFDirectory)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.plugins.tiff.TIFFField.tag]", "value", "dfc-generated"] - ["javax.imageio.plugins.tiff", "TIFFField", False, "TIFFField", "(TIFFTag,int,long,TIFFDirectory)", "", "Argument[3]", "Argument[this].SyntheticField[javax.imageio.plugins.tiff.TIFFField.dir]", "value", "dfc-generated"] - ["javax.imageio.plugins.tiff", "TIFFField", False, "TIFFField", "(TIFFTag,long)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.plugins.tiff.TIFFField.tag]", "value", "dfc-generated"] - - ["javax.imageio.plugins.tiff", "TIFFField", False, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.imageio.plugins.tiff", "TIFFField", False, "createFromMetadataNode", "(TIFFTagSet,Node)", "", "Argument[0].SyntheticField[javax.imageio.plugins.tiff.TIFFTagSet.allowedTagsByNumber].MapValue", "ReturnValue.SyntheticField[javax.imageio.plugins.tiff.TIFFField.tag]", "value", "dfc-generated"] - ["javax.imageio.plugins.tiff", "TIFFField", False, "getAsBytes", "()", "", "Argument[this].SyntheticField[javax.imageio.plugins.tiff.TIFFField.data]", "ReturnValue", "value", "dfc-generated"] - ["javax.imageio.plugins.tiff", "TIFFField", False, "getAsChars", "()", "", "Argument[this].SyntheticField[javax.imageio.plugins.tiff.TIFFField.data]", "ReturnValue", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.management.model.yml b/java/ql/lib/ext/generated/javax.management.model.yml index c606086a24ad1..eab97b6f471d3 100644 --- a/java/ql/lib/ext/generated/javax.management.model.yml +++ b/java/ql/lib/ext/generated/javax.management.model.yml @@ -33,7 +33,6 @@ extensions: - ["javax.management", "BadBinaryOpValueExpException", True, "BadBinaryOpValueExpException", "(ValueExp)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.BadBinaryOpValueExpException.exp]", "value", "dfc-generated"] - ["javax.management", "BadBinaryOpValueExpException", True, "getExp", "()", "", "Argument[this].SyntheticField[javax.management.BadBinaryOpValueExpException.exp]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "BadStringOperationException", True, "BadStringOperationException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["javax.management", "Descriptor", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "DynamicMBean", True, "getAttribute", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.management", "DynamicMBean", True, "getAttributes", "(String[])", "", "Argument[0].ArrayElement", "ReturnValue", "taint", "df-generated"] - ["javax.management", "DynamicMBean", True, "getAttributes", "(String[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] @@ -64,12 +63,10 @@ extensions: - ["javax.management", "MBeanAttributeInfo", True, "MBeanAttributeInfo", "(String,String,Method,Method)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"] - ["javax.management", "MBeanAttributeInfo", True, "MBeanAttributeInfo", "(String,String,String,boolean,boolean,boolean)", "", "Argument[1]", "Argument[this].SyntheticField[javax.management.MBeanAttributeInfo.attributeType]", "value", "dfc-generated"] - ["javax.management", "MBeanAttributeInfo", True, "MBeanAttributeInfo", "(String,String,String,boolean,boolean,boolean,Descriptor)", "", "Argument[1]", "Argument[this].SyntheticField[javax.management.MBeanAttributeInfo.attributeType]", "value", "dfc-generated"] - - ["javax.management", "MBeanAttributeInfo", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanAttributeInfo", True, "getType", "()", "", "Argument[this].SyntheticField[javax.management.MBeanAttributeInfo.attributeType]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanConstructorInfo", True, "MBeanConstructorInfo", "(String,Constructor)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.management", "MBeanConstructorInfo", True, "MBeanConstructorInfo", "(String,String,MBeanParameterInfo[])", "", "Argument[2]", "Argument[this].SyntheticField[javax.management.MBeanConstructorInfo.signature]", "value", "dfc-generated"] - ["javax.management", "MBeanConstructorInfo", True, "MBeanConstructorInfo", "(String,String,MBeanParameterInfo[],Descriptor)", "", "Argument[2]", "Argument[this].SyntheticField[javax.management.MBeanConstructorInfo.signature]", "value", "dfc-generated"] - - ["javax.management", "MBeanConstructorInfo", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanConstructorInfo", True, "getSignature", "()", "", "Argument[this].SyntheticField[javax.management.MBeanConstructorInfo.signature]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanException", True, "MBeanException", "(Exception)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.MBeanException.exception]", "value", "dfc-generated"] - ["javax.management", "MBeanException", True, "MBeanException", "(Exception,String)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.MBeanException.exception]", "value", "dfc-generated"] @@ -95,7 +92,6 @@ extensions: - ["javax.management", "MBeanInfo", True, "MBeanInfo", "(String,String,MBeanAttributeInfo[],MBeanConstructorInfo[],MBeanOperationInfo[],MBeanNotificationInfo[],Descriptor)", "", "Argument[4]", "Argument[this].SyntheticField[javax.management.MBeanInfo.operations]", "value", "dfc-generated"] - ["javax.management", "MBeanInfo", True, "MBeanInfo", "(String,String,MBeanAttributeInfo[],MBeanConstructorInfo[],MBeanOperationInfo[],MBeanNotificationInfo[],Descriptor)", "", "Argument[5]", "Argument[this].SyntheticField[javax.management.MBeanInfo.notifications]", "value", "dfc-generated"] - ["javax.management", "MBeanInfo", True, "MBeanInfo", "(String,String,MBeanAttributeInfo[],MBeanConstructorInfo[],MBeanOperationInfo[],MBeanNotificationInfo[],Descriptor)", "", "Argument[6]", "Argument[this].SyntheticField[javax.management.MBeanInfo.descriptor]", "value", "dfc-generated"] - - ["javax.management", "MBeanInfo", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanInfo", True, "getAttributes", "()", "", "Argument[this].SyntheticField[javax.management.MBeanInfo.attributes]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanInfo", True, "getClassName", "()", "", "Argument[this].SyntheticField[javax.management.MBeanInfo.className]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanInfo", True, "getConstructors", "()", "", "Argument[this].SyntheticField[javax.management.MBeanInfo.constructors]", "ReturnValue", "value", "dfc-generated"] @@ -105,19 +101,16 @@ extensions: - ["javax.management", "MBeanInfo", True, "getOperations", "()", "", "Argument[this].SyntheticField[javax.management.MBeanInfo.operations]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanNotificationInfo", True, "MBeanNotificationInfo", "(String[],String,String)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.MBeanNotificationInfo.types]", "value", "dfc-generated"] - ["javax.management", "MBeanNotificationInfo", True, "MBeanNotificationInfo", "(String[],String,String,Descriptor)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.MBeanNotificationInfo.types]", "value", "dfc-generated"] - - ["javax.management", "MBeanNotificationInfo", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanNotificationInfo", True, "getNotifTypes", "()", "", "Argument[this].SyntheticField[javax.management.MBeanNotificationInfo.types]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanOperationInfo", True, "MBeanOperationInfo", "(String,Method)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.management", "MBeanOperationInfo", True, "MBeanOperationInfo", "(String,String,MBeanParameterInfo[],String,int)", "", "Argument[2]", "Argument[this].SyntheticField[javax.management.MBeanOperationInfo.signature]", "value", "dfc-generated"] - ["javax.management", "MBeanOperationInfo", True, "MBeanOperationInfo", "(String,String,MBeanParameterInfo[],String,int)", "", "Argument[3]", "Argument[this].SyntheticField[javax.management.MBeanOperationInfo.type]", "value", "dfc-generated"] - ["javax.management", "MBeanOperationInfo", True, "MBeanOperationInfo", "(String,String,MBeanParameterInfo[],String,int,Descriptor)", "", "Argument[2]", "Argument[this].SyntheticField[javax.management.MBeanOperationInfo.signature]", "value", "dfc-generated"] - ["javax.management", "MBeanOperationInfo", True, "MBeanOperationInfo", "(String,String,MBeanParameterInfo[],String,int,Descriptor)", "", "Argument[3]", "Argument[this].SyntheticField[javax.management.MBeanOperationInfo.type]", "value", "dfc-generated"] - - ["javax.management", "MBeanOperationInfo", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanOperationInfo", True, "getReturnType", "()", "", "Argument[this].SyntheticField[javax.management.MBeanOperationInfo.type]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanOperationInfo", True, "getSignature", "()", "", "Argument[this].SyntheticField[javax.management.MBeanOperationInfo.signature]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanParameterInfo", True, "MBeanParameterInfo", "(String,String,String)", "", "Argument[1]", "Argument[this].SyntheticField[javax.management.MBeanParameterInfo.type]", "value", "dfc-generated"] - ["javax.management", "MBeanParameterInfo", True, "MBeanParameterInfo", "(String,String,String,Descriptor)", "", "Argument[1]", "Argument[this].SyntheticField[javax.management.MBeanParameterInfo.type]", "value", "dfc-generated"] - - ["javax.management", "MBeanParameterInfo", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanParameterInfo", True, "getType", "()", "", "Argument[this].SyntheticField[javax.management.MBeanParameterInfo.type]", "ReturnValue", "value", "dfc-generated"] - ["javax.management", "MBeanPermission", True, "MBeanPermission", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"] - ["javax.management", "MBeanPermission", True, "MBeanPermission", "(String,String)", "", "Argument[1]", "Argument[this].SyntheticField[javax.management.MBeanPermission.actions]", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.management.modelmbean.model.yml b/java/ql/lib/ext/generated/javax.management.modelmbean.model.yml index 77fc7b7680017..97200fb526826 100644 --- a/java/ql/lib/ext/generated/javax.management.modelmbean.model.yml +++ b/java/ql/lib/ext/generated/javax.management.modelmbean.model.yml @@ -11,8 +11,6 @@ extensions: - ["javax.management.modelmbean", "DescriptorSupport", True, "DescriptorSupport", "(String[])", "", "Argument[0].ArrayElement", "Argument[this].SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapValue", "taint", "dfc-generated"] - ["javax.management.modelmbean", "DescriptorSupport", True, "DescriptorSupport", "(String[],Object[])", "", "Argument[0].ArrayElement", "Argument[this].SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapKey", "value", "dfc-generated"] - ["javax.management.modelmbean", "DescriptorSupport", True, "DescriptorSupport", "(String[],Object[])", "", "Argument[1].ArrayElement", "Argument[this].SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapValue", "value", "dfc-generated"] - - ["javax.management.modelmbean", "DescriptorSupport", True, "clone", "()", "", "Argument[this].SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapKey", "ReturnValue.SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapKey", "value", "dfc-generated"] - - ["javax.management.modelmbean", "DescriptorSupport", True, "clone", "()", "", "Argument[this].SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapValue", "ReturnValue.SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapValue", "value", "dfc-generated"] - ["javax.management.modelmbean", "DescriptorSupport", True, "getFieldNames", "()", "", "Argument[this].SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapKey", "ReturnValue.ArrayElement", "value", "dfc-generated"] - ["javax.management.modelmbean", "DescriptorSupport", True, "getFieldValue", "(String)", "", "Argument[this].SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapValue", "ReturnValue", "value", "dfc-generated"] - ["javax.management.modelmbean", "DescriptorSupport", True, "getFieldValues", "(String[])", "", "Argument[this].SyntheticField[javax.management.modelmbean.DescriptorSupport.descriptorMap].MapValue", "ReturnValue.ArrayElement", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.management.openmbean.model.yml b/java/ql/lib/ext/generated/javax.management.openmbean.model.yml index 73d9595165106..457d69764199b 100644 --- a/java/ql/lib/ext/generated/javax.management.openmbean.model.yml +++ b/java/ql/lib/ext/generated/javax.management.openmbean.model.yml @@ -99,9 +99,6 @@ extensions: - ["javax.management.openmbean", "TabularData", True, "values", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.management.openmbean", "TabularDataSupport", True, "TabularDataSupport", "(TabularType)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.openmbean.TabularDataSupport.tabularType]", "value", "dfc-generated"] - ["javax.management.openmbean", "TabularDataSupport", True, "TabularDataSupport", "(TabularType,int,float)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.openmbean.TabularDataSupport.tabularType]", "value", "dfc-generated"] - - ["javax.management.openmbean", "TabularDataSupport", True, "clone", "()", "", "Argument[this].SyntheticField[javax.management.openmbean.TabularDataSupport.dataMap].MapKey", "ReturnValue.SyntheticField[javax.management.openmbean.TabularDataSupport.dataMap].MapKey", "value", "dfc-generated"] - - ["javax.management.openmbean", "TabularDataSupport", True, "clone", "()", "", "Argument[this].SyntheticField[javax.management.openmbean.TabularDataSupport.dataMap].MapValue", "ReturnValue.SyntheticField[javax.management.openmbean.TabularDataSupport.dataMap].MapValue", "value", "dfc-generated"] - - ["javax.management.openmbean", "TabularDataSupport", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.management.openmbean", "TabularDataSupport", True, "get", "(Object[])", "", "Argument[this].SyntheticField[javax.management.openmbean.TabularDataSupport.dataMap].MapValue", "ReturnValue", "value", "dfc-generated"] - ["javax.management.openmbean", "TabularDataSupport", True, "getTabularType", "()", "", "Argument[this].SyntheticField[javax.management.openmbean.TabularDataSupport.tabularType]", "ReturnValue", "value", "dfc-generated"] - ["javax.management.openmbean", "TabularDataSupport", True, "put", "(CompositeData)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.openmbean.TabularDataSupport.dataMap].MapValue", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.management.relation.model.yml b/java/ql/lib/ext/generated/javax.management.relation.model.yml index 9af6afbdfa3d7..5505994e466fe 100644 --- a/java/ql/lib/ext/generated/javax.management.relation.model.yml +++ b/java/ql/lib/ext/generated/javax.management.relation.model.yml @@ -85,8 +85,6 @@ extensions: - ["javax.management.relation", "RelationTypeSupport", True, "getRelationTypeName", "()", "", "Argument[this].SyntheticField[javax.management.relation.RelationTypeSupport.typeName]", "ReturnValue", "value", "dfc-generated"] - ["javax.management.relation", "Role", True, "Role", "(String,List)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.relation.Role.name]", "value", "dfc-generated"] - ["javax.management.relation", "Role", True, "Role", "(String,List)", "", "Argument[1].Element", "Argument[this].SyntheticField[javax.management.relation.Role.objectNameList].Element", "value", "dfc-generated"] - - ["javax.management.relation", "Role", True, "clone", "()", "", "Argument[this].SyntheticField[javax.management.relation.Role.name]", "ReturnValue.SyntheticField[javax.management.relation.Role.name]", "value", "dfc-generated"] - - ["javax.management.relation", "Role", True, "clone", "()", "", "Argument[this].SyntheticField[javax.management.relation.Role.objectNameList].Element", "ReturnValue.SyntheticField[javax.management.relation.Role.objectNameList].Element", "value", "dfc-generated"] - ["javax.management.relation", "Role", True, "getRoleName", "()", "", "Argument[this].SyntheticField[javax.management.relation.Role.name]", "ReturnValue", "value", "dfc-generated"] - ["javax.management.relation", "Role", True, "getRoleValue", "()", "", "Argument[this].SyntheticField[javax.management.relation.Role.objectNameList]", "ReturnValue", "value", "dfc-generated"] - ["javax.management.relation", "Role", True, "roleValueToString", "(List)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"] @@ -121,8 +119,6 @@ extensions: - ["javax.management.relation", "RoleResult", True, "setRolesUnresolved", "(RoleUnresolvedList)", "", "Argument[0].Element", "Argument[this].SyntheticField[javax.management.relation.RoleResult.unresolvedRoleList].Element", "value", "dfc-generated"] - ["javax.management.relation", "RoleUnresolved", True, "RoleUnresolved", "(String,List,int)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.relation.RoleUnresolved.roleName]", "value", "dfc-generated"] - ["javax.management.relation", "RoleUnresolved", True, "RoleUnresolved", "(String,List,int)", "", "Argument[1].Element", "Argument[this].SyntheticField[javax.management.relation.RoleUnresolved.roleValue].Element", "value", "dfc-generated"] - - ["javax.management.relation", "RoleUnresolved", True, "clone", "()", "", "Argument[this].SyntheticField[javax.management.relation.RoleUnresolved.roleName]", "ReturnValue.SyntheticField[javax.management.relation.RoleUnresolved.roleName]", "value", "dfc-generated"] - - ["javax.management.relation", "RoleUnresolved", True, "clone", "()", "", "Argument[this].SyntheticField[javax.management.relation.RoleUnresolved.roleValue].Element", "ReturnValue.SyntheticField[javax.management.relation.RoleUnresolved.roleValue].Element", "value", "dfc-generated"] - ["javax.management.relation", "RoleUnresolved", True, "getRoleName", "()", "", "Argument[this].SyntheticField[javax.management.relation.RoleUnresolved.roleName]", "ReturnValue", "value", "dfc-generated"] - ["javax.management.relation", "RoleUnresolved", True, "getRoleValue", "()", "", "Argument[this].SyntheticField[javax.management.relation.RoleUnresolved.roleValue]", "ReturnValue", "value", "dfc-generated"] - ["javax.management.relation", "RoleUnresolved", True, "setRoleName", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[javax.management.relation.RoleUnresolved.roleName]", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.naming.directory.model.yml b/java/ql/lib/ext/generated/javax.naming.directory.model.yml index 1e4ab011d395f..198621607b931 100644 --- a/java/ql/lib/ext/generated/javax.naming.directory.model.yml +++ b/java/ql/lib/ext/generated/javax.naming.directory.model.yml @@ -5,14 +5,12 @@ extensions: extensible: summaryModel data: - ["javax.naming.directory", "Attribute", True, "add", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["javax.naming.directory", "Attribute", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.naming.directory", "Attribute", True, "getAttributeDefinition", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.naming.directory", "Attribute", True, "getAttributeSyntaxDefinition", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.naming.directory", "AttributeInUseException", True, "AttributeInUseException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.naming.directory", "AttributeModificationException", True, "AttributeModificationException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.naming.directory", "AttributeModificationException", True, "getUnexecutedModifications", "()", "", "Argument[this].SyntheticField[javax.naming.directory.AttributeModificationException.unexecs]", "ReturnValue", "value", "dfc-generated"] - ["javax.naming.directory", "AttributeModificationException", True, "setUnexecutedModifications", "(ModificationItem[])", "", "Argument[0]", "Argument[this].SyntheticField[javax.naming.directory.AttributeModificationException.unexecs]", "value", "dfc-generated"] - - ["javax.naming.directory", "Attributes", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.naming.directory", "Attributes", True, "get", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.naming.directory", "Attributes", True, "put", "(Attribute)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.naming.directory", "Attributes", True, "put", "(Attribute)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] @@ -25,8 +23,6 @@ extensions: - ["javax.naming.directory", "BasicAttribute", True, "BasicAttribute", "(String,boolean)", "", "Argument[0]", "Argument[this].SyntheticField[javax.naming.directory.BasicAttribute.attrID]", "value", "dfc-generated"] - ["javax.naming.directory", "BasicAttribute", True, "add", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.naming.directory.BasicAttribute.values].Element", "value", "dfc-generated"] - ["javax.naming.directory", "BasicAttribute", True, "add", "(int,Object)", "", "Argument[1]", "Argument[this].SyntheticField[javax.naming.directory.BasicAttribute.values].Element", "value", "dfc-generated"] - - ["javax.naming.directory", "BasicAttribute", True, "clone", "()", "", "Argument[this].SyntheticField[javax.naming.directory.BasicAttribute.attrID]", "ReturnValue.SyntheticField[javax.naming.directory.BasicAttribute.attrID]", "value", "dfc-generated"] - - ["javax.naming.directory", "BasicAttribute", True, "clone", "()", "", "Argument[this].SyntheticField[javax.naming.directory.BasicAttribute.values]", "ReturnValue.SyntheticField[javax.naming.directory.BasicAttribute.values]", "value", "dfc-generated"] - ["javax.naming.directory", "BasicAttribute", True, "get", "()", "", "Argument[this].SyntheticField[javax.naming.directory.BasicAttribute.values].Element", "ReturnValue", "value", "dfc-generated"] - ["javax.naming.directory", "BasicAttribute", True, "get", "(int)", "", "Argument[this].SyntheticField[javax.naming.directory.BasicAttribute.values].Element", "ReturnValue", "value", "dfc-generated"] - ["javax.naming.directory", "BasicAttribute", True, "getID", "()", "", "Argument[this].SyntheticField[javax.naming.directory.BasicAttribute.attrID]", "ReturnValue", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.naming.ldap.model.yml b/java/ql/lib/ext/generated/javax.naming.ldap.model.yml index 7ba8901599290..822135f130e4e 100644 --- a/java/ql/lib/ext/generated/javax.naming.ldap.model.yml +++ b/java/ql/lib/ext/generated/javax.naming.ldap.model.yml @@ -41,7 +41,6 @@ extensions: - ["javax.naming.ldap", "LdapName", True, "addAll", "(int,List)", "", "Argument[1].Element", "Argument[this].SyntheticField[javax.naming.ldap.LdapName.rdns].Element", "value", "dfc-generated"] - ["javax.naming.ldap", "LdapName", True, "addAll", "(int,List)", "", "Argument[1].Element", "ReturnValue.SyntheticField[javax.naming.ldap.LdapName.rdns].Element", "value", "dfc-generated"] - ["javax.naming.ldap", "LdapName", True, "addAll", "(int,List)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - - ["javax.naming.ldap", "LdapName", True, "clone", "()", "", "Argument[this].SyntheticField[javax.naming.ldap.LdapName.rdns].Element", "ReturnValue.SyntheticField[javax.naming.ldap.LdapName.rdns].Element", "value", "dfc-generated"] - ["javax.naming.ldap", "LdapName", True, "getPrefix", "(int)", "", "Argument[this].SyntheticField[javax.naming.ldap.LdapName.rdns].Element", "ReturnValue.SyntheticField[javax.naming.ldap.LdapName.rdns].Element", "value", "dfc-generated"] - ["javax.naming.ldap", "LdapName", True, "getRdn", "(int)", "", "Argument[this].SyntheticField[javax.naming.ldap.LdapName.rdns].Element", "ReturnValue", "value", "dfc-generated"] - ["javax.naming.ldap", "LdapName", True, "getRdns", "()", "", "Argument[this].SyntheticField[javax.naming.ldap.LdapName.rdns].Element", "ReturnValue.Element", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.naming.model.yml b/java/ql/lib/ext/generated/javax.naming.model.yml index 2fb9bf0aa499c..50047ca8a9526 100644 --- a/java/ql/lib/ext/generated/javax.naming.model.yml +++ b/java/ql/lib/ext/generated/javax.naming.model.yml @@ -79,7 +79,6 @@ extensions: - ["javax.naming", "Name", True, "add", "(int,String)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.naming", "Name", True, "addAll", "(Name)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.naming", "Name", True, "addAll", "(int,Name)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - - ["javax.naming", "Name", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.naming", "Name", True, "get", "(int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.naming", "Name", True, "getAll", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.naming", "Name", True, "getPrefix", "(int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] @@ -130,7 +129,6 @@ extensions: - ["javax.naming", "Reference", True, "Reference", "(String,String,String)", "", "Argument[2]", "Argument[this].SyntheticField[javax.naming.Reference.classFactoryLocation]", "value", "dfc-generated"] - ["javax.naming", "Reference", True, "add", "(RefAddr)", "", "Argument[0]", "Argument[this].SyntheticField[javax.naming.Reference.addrs].Element", "value", "dfc-generated"] - ["javax.naming", "Reference", True, "add", "(int,RefAddr)", "", "Argument[1]", "Argument[this].SyntheticField[javax.naming.Reference.addrs].Element", "value", "dfc-generated"] - - ["javax.naming", "Reference", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.naming", "Reference", True, "get", "(String)", "", "Argument[this].SyntheticField[javax.naming.Reference.addrs].Element", "ReturnValue", "value", "dfc-generated"] - ["javax.naming", "Reference", True, "get", "(int)", "", "Argument[this].SyntheticField[javax.naming.Reference.addrs].Element", "ReturnValue", "value", "dfc-generated"] - ["javax.naming", "Reference", True, "getAll", "()", "", "Argument[this].SyntheticField[javax.naming.Reference.addrs].Element", "ReturnValue.Element", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.print.attribute.model.yml b/java/ql/lib/ext/generated/javax.print.attribute.model.yml index 1201734a1f385..49a8ec9963c37 100644 --- a/java/ql/lib/ext/generated/javax.print.attribute.model.yml +++ b/java/ql/lib/ext/generated/javax.print.attribute.model.yml @@ -18,7 +18,6 @@ extensions: - ["javax.print.attribute", "AttributeSetUtilities", False, "unmodifiableView", "(PrintRequestAttributeSet)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["javax.print.attribute", "AttributeSetUtilities", False, "unmodifiableView", "(PrintServiceAttributeSet)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["javax.print.attribute", "AttributeSetUtilities", False, "verifyAttributeValue", "(Object,Class)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"] - - ["javax.print.attribute", "EnumSyntax", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.print.attribute", "HashAttributeSet", True, "HashAttributeSet", "(Attribute)", "", "Argument[0]", "Argument[this].SyntheticField[javax.print.attribute.HashAttributeSet.attrMap].MapValue", "value", "dfc-generated"] - ["javax.print.attribute", "HashAttributeSet", True, "HashAttributeSet", "(AttributeSet)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.print.attribute", "HashAttributeSet", True, "HashAttributeSet", "(Attribute[])", "", "Argument[0].ArrayElement", "Argument[this].SyntheticField[javax.print.attribute.HashAttributeSet.attrMap].MapValue", "value", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.sound.midi.model.yml b/java/ql/lib/ext/generated/javax.sound.midi.model.yml index 9e36221a8b566..104171ea031cb 100644 --- a/java/ql/lib/ext/generated/javax.sound.midi.model.yml +++ b/java/ql/lib/ext/generated/javax.sound.midi.model.yml @@ -7,7 +7,6 @@ extensions: - ["javax.sound.midi", "Instrument", True, "getPatch", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.sound.midi", "InvalidMidiDataException", True, "InvalidMidiDataException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.sound.midi", "MetaMessage", True, "MetaMessage", "(int,byte[],int)", "", "Argument[1]", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "taint", "dfc-generated"] - - ["javax.sound.midi", "MetaMessage", True, "clone", "()", "", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "ReturnValue.SyntheticField[javax.sound.midi.MidiMessage.data]", "taint", "dfc-generated"] - ["javax.sound.midi", "MetaMessage", True, "getData", "()", "", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "ReturnValue", "taint", "dfc-generated"] - ["javax.sound.midi", "MetaMessage", True, "setMessage", "(int,byte[],int)", "", "Argument[1]", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "taint", "dfc-generated"] - ["javax.sound.midi", "MidiDevice$Info", True, "getDescription", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] @@ -28,7 +27,6 @@ extensions: - ["javax.sound.midi", "MidiFileFormat", True, "getProperty", "(String)", "", "Argument[this].SyntheticField[javax.sound.midi.MidiFileFormat.properties].MapValue", "ReturnValue", "value", "dfc-generated"] - ["javax.sound.midi", "MidiFileFormat", True, "properties", "()", "", "Argument[this].SyntheticField[javax.sound.midi.MidiFileFormat.properties].MapKey", "ReturnValue.MapKey", "value", "dfc-generated"] - ["javax.sound.midi", "MidiFileFormat", True, "properties", "()", "", "Argument[this].SyntheticField[javax.sound.midi.MidiFileFormat.properties].MapValue", "ReturnValue.MapValue", "value", "dfc-generated"] - - ["javax.sound.midi", "MidiMessage", True, "clone", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"] - ["javax.sound.midi", "MidiMessage", True, "getMessage", "()", "", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "ReturnValue", "taint", "dfc-generated"] - ["javax.sound.midi", "MidiSystem", True, "getMidiDevice", "(MidiDevice$Info)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] - ["javax.sound.midi", "MidiSystem", True, "getSoundbank", "(File)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"] @@ -56,7 +54,6 @@ extensions: - ["javax.sound.midi", "Synthesizer", True, "loadInstruments", "(Soundbank,Patch[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.sound.midi", "SysexMessage", True, "SysexMessage", "(byte[],int)", "", "Argument[0]", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "taint", "dfc-generated"] - ["javax.sound.midi", "SysexMessage", True, "SysexMessage", "(int,byte[],int)", "", "Argument[1]", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "taint", "dfc-generated"] - - ["javax.sound.midi", "SysexMessage", True, "clone", "()", "", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "ReturnValue.SyntheticField[javax.sound.midi.MidiMessage.data]", "taint", "dfc-generated"] - ["javax.sound.midi", "SysexMessage", True, "getData", "()", "", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "ReturnValue", "taint", "dfc-generated"] - ["javax.sound.midi", "SysexMessage", True, "setMessage", "(byte[],int)", "", "Argument[0]", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "taint", "dfc-generated"] - ["javax.sound.midi", "SysexMessage", True, "setMessage", "(int,byte[],int)", "", "Argument[1]", "Argument[this].SyntheticField[javax.sound.midi.MidiMessage.data]", "taint", "dfc-generated"] diff --git a/java/ql/lib/ext/generated/javax.sql.rowset.serial.model.yml b/java/ql/lib/ext/generated/javax.sql.rowset.serial.model.yml index 80a8c6782f752..0e97e51b03994 100644 --- a/java/ql/lib/ext/generated/javax.sql.rowset.serial.model.yml +++ b/java/ql/lib/ext/generated/javax.sql.rowset.serial.model.yml @@ -27,26 +27,19 @@ extensions: - ["javax.sql.rowset.serial", "SQLOutputImpl", True, "SQLOutputImpl", "(Vector,Map)", "", "Argument[1].Element", "Argument[this]", "taint", "df-generated"] - ["javax.sql.rowset.serial", "SerialArray", True, "SerialArray", "(Array)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.sql.rowset.serial", "SerialArray", True, "SerialArray", "(Array,Map)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["javax.sql.rowset.serial", "SerialArray", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialBlob", True, "SerialBlob", "(Blob)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["javax.sql.rowset.serial", "SerialBlob", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialClob", True, "SerialClob", "(Clob)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["javax.sql.rowset.serial", "SerialClob", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialDatalink", True, "SerialDatalink", "(URL)", "", "Argument[0]", "Argument[this].SyntheticField[javax.sql.rowset.serial.SerialDatalink.url]", "value", "dfc-generated"] - - ["javax.sql.rowset.serial", "SerialDatalink", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialDatalink", True, "getDatalink", "()", "", "Argument[this].SyntheticField[javax.sql.rowset.serial.SerialDatalink.url]", "ReturnValue", "taint", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialException", True, "SerialException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - ["javax.sql.rowset.serial", "SerialJavaObject", True, "SerialJavaObject", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.sql.rowset.serial.SerialJavaObject.obj]", "value", "dfc-generated"] - - ["javax.sql.rowset.serial", "SerialJavaObject", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialJavaObject", True, "getObject", "()", "", "Argument[this].SyntheticField[javax.sql.rowset.serial.SerialJavaObject.obj]", "ReturnValue", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialRef", True, "SerialRef", "(Ref)", "", "Argument[0]", "Argument[this].SyntheticField[javax.sql.rowset.serial.SerialRef.object]", "value", "dfc-generated"] - - ["javax.sql.rowset.serial", "SerialRef", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialRef", True, "getObject", "()", "", "Argument[this].SyntheticField[javax.sql.rowset.serial.SerialRef.object]", "ReturnValue", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialRef", True, "getObject", "()", "", "Argument[this].SyntheticField[javax.sql.rowset.serial.SerialRef.reference].SyntheticField[javax.sql.rowset.serial.SerialRef.object]", "ReturnValue", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialRef", True, "setObject", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.sql.rowset.serial.SerialRef.object]", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialRef", True, "setObject", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.sql.rowset.serial.SerialRef.reference].SyntheticField[javax.sql.rowset.serial.SerialRef.object]", "value", "dfc-generated"] - ["javax.sql.rowset.serial", "SerialStruct", True, "SerialStruct", "(Struct,Map)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"] - - ["javax.sql.rowset.serial", "SerialStruct", True, "clone", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"] - addsTo: pack: codeql/java-all extensible: neutralModel diff --git a/java/ql/lib/ext/generated/javax.xml.datatype.model.yml b/java/ql/lib/ext/generated/javax.xml.datatype.model.yml index 5bbd0e1f68eb5..ea27a737e9d65 100644 --- a/java/ql/lib/ext/generated/javax.xml.datatype.model.yml +++ b/java/ql/lib/ext/generated/javax.xml.datatype.model.yml @@ -64,7 +64,6 @@ extensions: - ["javax.xml.datatype", "Duration", "subtract", "(Duration)", "summary", "df-generated"] - ["javax.xml.datatype", "XMLGregorianCalendar", "add", "(Duration)", "summary", "df-generated"] - ["javax.xml.datatype", "XMLGregorianCalendar", "clear", "()", "summary", "df-generated"] - - ["javax.xml.datatype", "XMLGregorianCalendar", "clone", "()", "summary", "df-generated"] - ["javax.xml.datatype", "XMLGregorianCalendar", "compare", "(XMLGregorianCalendar)", "summary", "df-generated"] - ["javax.xml.datatype", "XMLGregorianCalendar", "getDay", "()", "summary", "df-generated"] - ["javax.xml.datatype", "XMLGregorianCalendar", "getEon", "()", "summary", "df-generated"]