Skip to content

Commit

Permalink
Java: Update Java SDK models.
Browse files Browse the repository at this point in the history
  • Loading branch information
michaelnebel committed Sep 23, 2024
1 parent 2f763f7 commit 4d2a0ca
Show file tree
Hide file tree
Showing 199 changed files with 7,514 additions and 4,954 deletions.
8 changes: 8 additions & 0 deletions java/ql/lib/ext/generated/com.sun.beans.editors.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.beans.editors", "FontEditor", True, "getJavaInitializationString", "()", "", "Argument[this].SyntheticField[com.sun.beans.editors.FontEditor.font].SyntheticField[java.awt.Font.name]", "ReturnValue", "taint", "dfc-generated"]
- ["com.sun.beans.editors", "FontEditor", True, "setAsText", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[com.sun.beans.editors.FontEditor.font].SyntheticField[java.awt.Font.name]", "taint", "dfc-generated"]
12 changes: 12 additions & 0 deletions java/ql/lib/ext/generated/com.sun.crypto.provider.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.crypto.provider", "JceKeyStore", False, "engineAliases", "()", "", "Argument[this].SyntheticField[com.sun.crypto.provider.JceKeyStore.entries].MapKey", "ReturnValue.Element", "value", "dfc-generated"]
- ["com.sun.crypto.provider", "JceKeyStore", False, "engineGetCertificateAlias", "(Certificate)", "", "Argument[this].SyntheticField[com.sun.crypto.provider.JceKeyStore.entries].MapKey", "ReturnValue", "value", "dfc-generated"]
- ["com.sun.crypto.provider", "JceKeyStore", False, "engineLoad", "(InputStream,char[])", "", "Argument[0]", "Argument[this].SyntheticField[com.sun.crypto.provider.JceKeyStore.entries].MapKey", "taint", "dfc-generated"]
- ["com.sun.crypto.provider", "JceKeyStore", False, "engineSetCertificateEntry", "(String,Certificate)", "", "Argument[0]", "Argument[this].SyntheticField[com.sun.crypto.provider.JceKeyStore.entries].MapKey", "taint", "dfc-generated"]
- ["com.sun.crypto.provider", "JceKeyStore", False, "engineSetKeyEntry", "(String,Key,char[],Certificate[])", "", "Argument[0]", "Argument[this].SyntheticField[com.sun.crypto.provider.JceKeyStore.entries].MapKey", "taint", "dfc-generated"]
- ["com.sun.crypto.provider", "JceKeyStore", False, "engineSetKeyEntry", "(String,byte[],Certificate[])", "", "Argument[0]", "Argument[this].SyntheticField[com.sun.crypto.provider.JceKeyStore.entries].MapKey", "taint", "dfc-generated"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.imageio.plugins.bmp", "BMPImageReader", True, "read", "(int,ImageReadParam)", "", "Argument[1].SyntheticField[javax.imageio.ImageReadParam.destination]", "ReturnValue", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.bmp", "BMPImageReader", True, "setInput", "(Object,boolean,boolean)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageReader.input]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.bmp", "BMPImageWriter", True, "setOutput", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageWriter.output]", "value", "dfc-generated"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.imageio.plugins.gif", "GIFImageReader", True, "setInput", "(Object,boolean,boolean)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageReader.input]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.gif", "GIFImageWriter", True, "setOutput", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageWriter.output]", "value", "dfc-generated"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.imageio.plugins.jpeg", "JPEGImageReader", True, "setInput", "(Object,boolean,boolean)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageReader.input]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.jpeg", "JPEGImageWriter", True, "setOutput", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageWriter.output]", "value", "dfc-generated"]
11 changes: 11 additions & 0 deletions java/ql/lib/ext/generated/com.sun.imageio.plugins.png.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.imageio.plugins.png", "PNGImageReader", True, "setInput", "(Object,boolean,boolean)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageReader.input]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.png", "PNGImageWriter", False, "convertImageMetadata", "(IIOMetadata,ImageTypeSpecifier,ImageWriteParam)", "", "Argument[0].Field[com.sun.imageio.plugins.png.PNGMetadata.unknownChunkData].Element", "ReturnValue.Field[com.sun.imageio.plugins.png.PNGMetadata.unknownChunkData].Element", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.png", "PNGImageWriter", False, "setOutput", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageWriter.output]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.png", "PNGMetadata", True, "getAsTree", "(String)", "", "Argument[this].Field[com.sun.imageio.plugins.png.PNGMetadata.iCCP_compressedProfile]", "ReturnValue.SyntheticField[javax.imageio.metadata.IIOMetadataNode.firstChild].SyntheticField[javax.imageio.metadata.IIOMetadataNode.userObject]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.png", "PNGMetadata", True, "mergeTree", "(String,Node)", "", "Argument[1].SyntheticField[javax.imageio.metadata.IIOMetadataNode.firstChild].SyntheticField[javax.imageio.metadata.IIOMetadataNode.userObject]", "Argument[this].Field[com.sun.imageio.plugins.png.PNGMetadata.iCCP_compressedProfile]", "value", "dfc-generated"]
11 changes: 11 additions & 0 deletions java/ql/lib/ext/generated/com.sun.imageio.plugins.tiff.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.imageio.plugins.tiff", "TIFFFieldNode", True, "replaceChild", "(Node,Node)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.metadata.IIOMetadataNode.firstChild]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.tiff", "TIFFFieldNode", True, "replaceChild", "(Node,Node)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.metadata.IIOMetadataNode.lastChild]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.tiff", "TIFFImageReader", True, "setInput", "(Object,boolean,boolean)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageReader.input]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.tiff", "TIFFImageWriter", True, "convertStreamMetadata", "(IIOMetadata,ImageWriteParam)", "", "Argument[0].Field[com.sun.imageio.plugins.tiff.TIFFStreamMetadata.byteOrder]", "ReturnValue.Field[com.sun.imageio.plugins.tiff.TIFFStreamMetadata.byteOrder]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.tiff", "TIFFImageWriter", True, "setOutput", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageWriter.output]", "value", "dfc-generated"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.imageio.plugins.wbmp", "WBMPImageReader", True, "read", "(int,ImageReadParam)", "", "Argument[1].SyntheticField[javax.imageio.ImageReadParam.destination]", "ReturnValue", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.wbmp", "WBMPImageReader", True, "setInput", "(Object,boolean,boolean)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageReader.input]", "value", "dfc-generated"]
- ["com.sun.imageio.plugins.wbmp", "WBMPImageWriter", True, "setOutput", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[javax.imageio.ImageWriter.output]", "value", "dfc-generated"]
7 changes: 7 additions & 0 deletions java/ql/lib/ext/generated/com.sun.imageio.spi.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.imageio.spi", "InputStreamImageInputStreamSpi", True, "createInputStreamInstance", "(Object,boolean,File)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.imageio.stream.MemoryCacheImageInputStream.stream]", "value", "dfc-generated"]
15 changes: 15 additions & 0 deletions java/ql/lib/ext/generated/com.sun.jmx.interceptor.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.jmx.interceptor", "DefaultMBeanServerInterceptor", True, "createMBean", "(String,ObjectName)", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.interceptor", "DefaultMBeanServerInterceptor", True, "createMBean", "(String,ObjectName)", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.interceptor", "DefaultMBeanServerInterceptor", True, "createMBean", "(String,ObjectName,ObjectName)", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.interceptor", "DefaultMBeanServerInterceptor", True, "createMBean", "(String,ObjectName,ObjectName)", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.interceptor", "DefaultMBeanServerInterceptor", True, "createMBean", "(String,ObjectName,ObjectName,Object[],String[])", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.interceptor", "DefaultMBeanServerInterceptor", True, "createMBean", "(String,ObjectName,ObjectName,Object[],String[])", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.interceptor", "DefaultMBeanServerInterceptor", True, "createMBean", "(String,ObjectName,Object[],String[])", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.interceptor", "DefaultMBeanServerInterceptor", True, "createMBean", "(String,ObjectName,Object[],String[])", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.interceptor", "DefaultMBeanServerInterceptor", True, "getObjectInstance", "(ObjectName)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
18 changes: 18 additions & 0 deletions java/ql/lib/ext/generated/com.sun.jmx.mbeanserver.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "createMBean", "(String,ObjectName)", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "createMBean", "(String,ObjectName)", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "createMBean", "(String,ObjectName,ObjectName)", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "createMBean", "(String,ObjectName,ObjectName)", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "createMBean", "(String,ObjectName,ObjectName,Object[],String[])", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "createMBean", "(String,ObjectName,ObjectName,Object[],String[])", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "createMBean", "(String,ObjectName,Object[],String[])", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "createMBean", "(String,ObjectName,Object[],String[])", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "getObjectInstance", "(ObjectName)", "", "Argument[0].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServer", False, "getObjectInstance", "(ObjectName)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "JmxMBeanServerBuilder", True, "newMBeanServer", "(String,MBeanServer,MBeanServerDelegate)", "", "Argument[0]", "ReturnValue.SyntheticField[com.sun.jmx.mbeanserver.JmxMBeanServer.mbsInterceptor].SyntheticField[com.sun.jmx.interceptor.DefaultMBeanServerInterceptor.domain]", "taint", "dfc-generated"]
- ["com.sun.jmx.mbeanserver", "MBeanSupport", True, "preRegister", "(MBeanServer,ObjectName)", "", "Argument[0].SyntheticField[com.sun.jmx.mbeanserver.JmxMBeanServer.mbsInterceptor].SyntheticField[com.sun.jmx.interceptor.DefaultMBeanServerInterceptor.domain]", "ReturnValue", "taint", "dfc-generated"]

This file was deleted.

Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.jmx.remote.protocol.rmi", "ClientProvider", True, "newJMXConnector", "(JMXServiceURL,Map)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.management.remote.rmi.RMIConnector.jmxServiceURL]", "value", "dfc-generated"]
- ["com.sun.jmx.remote.protocol.rmi", "ServerProvider", True, "newJMXConnectorServer", "(JMXServiceURL,Map,MBeanServer)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.management.remote.rmi.RMIConnectorServer.address]", "value", "dfc-generated"]
- ["com.sun.jmx.remote.protocol.rmi", "ServerProvider", True, "newJMXConnectorServer", "(JMXServiceURL,Map,MBeanServer)", "", "Argument[1].MapKey", "ReturnValue.SyntheticField[javax.management.remote.rmi.RMIConnectorServer.attributes].MapKey", "value", "dfc-generated"]
- ["com.sun.jmx.remote.protocol.rmi", "ServerProvider", True, "newJMXConnectorServer", "(JMXServiceURL,Map,MBeanServer)", "", "Argument[1].MapValue", "ReturnValue.SyntheticField[javax.management.remote.rmi.RMIConnectorServer.attributes].MapValue", "value", "dfc-generated"]
18 changes: 18 additions & 0 deletions java/ql/lib/ext/generated/com.sun.jmx.remote.security.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "createMBean", "(String,ObjectName)", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "createMBean", "(String,ObjectName)", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "createMBean", "(String,ObjectName,ObjectName)", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "createMBean", "(String,ObjectName,ObjectName)", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "createMBean", "(String,ObjectName,ObjectName,Object[],String[])", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "createMBean", "(String,ObjectName,ObjectName,Object[],String[])", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "createMBean", "(String,ObjectName,Object[],String[])", "", "Argument[1].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "createMBean", "(String,ObjectName,Object[],String[])", "", "Argument[1]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "getMBeanServer", "()", "", "Argument[this].SyntheticField[com.sun.jmx.remote.security.MBeanServerAccessController.mbs]", "ReturnValue", "value", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "getObjectInstance", "(ObjectName)", "", "Argument[0].SyntheticField[javax.management.ObjectName._canonicalName]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "taint", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "getObjectInstance", "(ObjectName)", "", "Argument[0]", "ReturnValue.SyntheticField[javax.management.ObjectInstance.name]", "value", "dfc-generated"]
- ["com.sun.jmx.remote.security", "MBeanServerAccessController", True, "setMBeanServer", "(MBeanServer)", "", "Argument[0]", "Argument[this].SyntheticField[com.sun.jmx.remote.security.MBeanServerAccessController.mbs]", "value", "dfc-generated"]
Loading

0 comments on commit 4d2a0ca

Please sign in to comment.