Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Java: Re-generate the Jave JDK 17 models. #16443

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Java: Re-generate the Jave JDK 17 models. #16443

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
13 changes: 9 additions & 4 deletions java/ql/lib/ext/generated/java.applet.model.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,13 +7,10 @@ extensions:
- ["java.applet", "Applet", True, "getAppletContext", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "Applet", True, "getCodeBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "Applet", True, "getDocumentBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "Applet", True, "getImage", "(URL)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "Applet", True, "getImage", "(URL,String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "Applet", True, "getImage", "(URL,String)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "Applet", True, "getLocale", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "Applet", True, "setStub", "(AppletStub)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.applet", "AppletContext", True, "getApplets", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "AppletContext", True, "getImage", "(URL)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.applet", "AppletContext", True, "getImage", "(URL)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "AppletContext", True, "getImage", "(URL)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "AppletStub", True, "getAppletContext", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.applet", "AppletStub", True, "getCodeBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
Expand All @@ -26,13 +23,18 @@ extensions:
- ["java.applet", "Applet", "getAppletInfo", "()", "summary", "df-generated"]
- ["java.applet", "Applet", "getAudioClip", "(URL)", "summary", "df-generated"]
- ["java.applet", "Applet", "getAudioClip", "(URL,String)", "summary", "df-generated"]
- ["java.applet", "Applet", "getImage", "(URL)", "summary", "df-generated"]
- ["java.applet", "Applet", "getImage", "(URL,String)", "summary", "df-generated"]
- ["java.applet", "Applet", "getParameter", "(String)", "summary", "df-generated"]
- ["java.applet", "Applet", "getParameterInfo", "()", "summary", "df-generated"]
- ["java.applet", "Applet", "init", "()", "summary", "df-generated"]
- ["java.applet", "Applet", "isActive", "()", "summary", "df-generated"]
- ["java.applet", "Applet", "isValidateRoot", "()", "summary", "df-generated"]
- ["java.applet", "Applet", "newAudioClip", "(URL)", "summary", "df-generated"]
- ["java.applet", "Applet", "play", "(URL)", "summary", "df-generated"]
- ["java.applet", "Applet", "play", "(URL,String)", "summary", "df-generated"]
- ["java.applet", "Applet", "resize", "(Dimension)", "summary", "df-generated"]
- ["java.applet", "Applet", "resize", "(int,int)", "summary", "df-generated"]
- ["java.applet", "Applet", "showStatus", "(String)", "summary", "df-generated"]
- ["java.applet", "Applet", "start", "()", "summary", "df-generated"]
- ["java.applet", "Applet", "stop", "()", "summary", "df-generated"]
Expand All @@ -47,3 +49,6 @@ extensions:
- ["java.applet", "AppletStub", "appletResize", "(int,int)", "summary", "df-generated"]
- ["java.applet", "AppletStub", "getParameter", "(String)", "summary", "df-generated"]
- ["java.applet", "AppletStub", "isActive", "()", "summary", "df-generated"]
- ["java.applet", "AudioClip", "loop", "()", "summary", "df-generated"]
- ["java.applet", "AudioClip", "play", "()", "summary", "df-generated"]
- ["java.applet", "AudioClip", "stop", "()", "summary", "df-generated"]
10 changes: 9 additions & 1 deletion java/ql/lib/ext/generated/java.beans.beancontext.model.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -80,6 +80,14 @@ extensions:
- ["java.beans.beancontext", "BeanContextServices", "removeBeanContextServicesListener", "(BeanContextServicesListener)", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextServices", "revokeService", "(Class,BeanContextServiceProvider,boolean)", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextServicesListener", "serviceAvailable", "(BeanContextServiceAvailableEvent)", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextServicesSupport", "initialize", "()", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "clear", "()", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "contains", "(Object)", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "containsAll", "(Collection)", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "containsKey", "(Object)", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "initialize", "()", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "isEmpty", "()", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "isSerializing", "()", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "remove", "(Object)", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "removeAll", "(Collection)", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "retainAll", "(Collection)", "summary", "df-generated"]
- ["java.beans.beancontext", "BeanContextSupport", "size", "()", "summary", "df-generated"]
14 changes: 8 additions & 6 deletions java/ql/lib/ext/generated/java.beans.model.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,6 @@ extensions:
- ["java.beans", "Encoder", True, "remove", "(Object)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.beans", "Encoder", True, "setExceptionListener", "(ExceptionListener)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "Encoder", True, "writeExpression", "(Expression)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "Encoder", True, "writeObject", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "Encoder", True, "writeStatement", "(Statement)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "EventHandler", True, "EventHandler", "(Object,String,String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "EventHandler", True, "EventHandler", "(Object,String,String,String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
Expand Down Expand Up @@ -122,13 +121,18 @@ extensions:
- ["java.beans", "PropertyDescriptor", True, "setReadMethod", "(Method)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "PropertyDescriptor", True, "setWriteMethod", "(Method)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "PropertyEditor", True, "addPropertyChangeListener", "(PropertyChangeListener)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "PropertyEditor", True, "getCustomEditor", "()", "", "Argument[this]", "ReturnValue", "value", "df-generated"]
- ["java.beans", "PropertyEditor", True, "getJavaInitializationString", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.beans", "PropertyEditor", True, "getTags", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.beans", "PropertyEditor", True, "paintValue", "(Graphics,Rectangle)", "", "Argument[this]", "Argument[0]", "taint", "df-generated"]
- ["java.beans", "PropertyEditor", True, "setAsText", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "PropertyEditor", True, "setValue", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "PropertyEditorSupport", True, "PropertyEditorSupport", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "PropertyEditorSupport", True, "getSource", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.beans", "PropertyEditorSupport", True, "setSource", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "PropertyVetoException", True, "PropertyVetoException", "(String,PropertyChangeEvent)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "PropertyVetoException", True, "PropertyVetoException", "(String,PropertyChangeEvent)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "PropertyVetoException", True, "getPropertyChangeEvent", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.beans", "SimpleBeanInfo", True, "loadImage", "(String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.beans", "Statement", True, "Statement", "(Object,String,Object[])", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "Statement", True, "Statement", "(Object,String,Object[])", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "Statement", True, "Statement", "(Object,String,Object[])", "", "Argument[2].ArrayElement", "Argument[this]", "taint", "df-generated"]
Expand All @@ -154,6 +158,7 @@ extensions:
- ["java.beans", "XMLEncoder", True, "XMLEncoder", "(OutputStream,String,boolean,int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "XMLEncoder", True, "getOwner", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.beans", "XMLEncoder", True, "setOwner", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.beans", "XMLEncoder", True, "writeObject", "(Object)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
Expand Down Expand Up @@ -227,18 +232,15 @@ extensions:
- ["java.beans", "PropertyDescriptor", "setBound", "(boolean)", "summary", "df-generated"]
- ["java.beans", "PropertyDescriptor", "setConstrained", "(boolean)", "summary", "df-generated"]
- ["java.beans", "PropertyDescriptor", "setPropertyEditorClass", "(Class)", "summary", "df-generated"]
- ["java.beans", "PropertyEditor", "getCustomEditor", "()", "summary", "df-generated"]
- ["java.beans", "PropertyEditor", "getJavaInitializationString", "()", "summary", "df-generated"]
- ["java.beans", "PropertyEditor", "getTags", "()", "summary", "df-generated"]
- ["java.beans", "PropertyEditor", "isPaintable", "()", "summary", "df-generated"]
- ["java.beans", "PropertyEditor", "paintValue", "(Graphics,Rectangle)", "summary", "df-generated"]
- ["java.beans", "PropertyEditor", "removePropertyChangeListener", "(PropertyChangeListener)", "summary", "df-generated"]
- ["java.beans", "PropertyEditor", "supportsCustomEditor", "()", "summary", "df-generated"]
- ["java.beans", "PropertyEditorManager", "findEditor", "(Class)", "summary", "df-generated"]
- ["java.beans", "PropertyEditorManager", "getEditorSearchPath", "()", "summary", "df-generated"]
- ["java.beans", "PropertyEditorManager", "registerEditor", "(Class,Class)", "summary", "df-generated"]
- ["java.beans", "PropertyEditorManager", "setEditorSearchPath", "(String[])", "summary", "df-generated"]
- ["java.beans", "PropertyEditorSupport", "firePropertyChange", "()", "summary", "df-generated"]
- ["java.beans", "SimpleBeanInfo", "loadImage", "(String)", "summary", "df-generated"]
- ["java.beans", "Statement", "execute", "()", "summary", "df-generated"]
- ["java.beans", "VetoableChangeListener", "vetoableChange", "(PropertyChangeEvent)", "summary", "df-generated"]
- ["java.beans", "VetoableChangeSupport", "addVetoableChangeListener", "(String,VetoableChangeListener)", "summary", "df-generated"]
Expand Down