Skip to content

Commit

Permalink
Java: Re-add generated (mixed) summaries and neutrals for the Java SD…
Browse files Browse the repository at this point in the history
…K 17.
  • Loading branch information
michaelnebel committed Sep 30, 2024
1 parent e47b1e4 commit 1ead0a1
Show file tree
Hide file tree
Showing 132 changed files with 18,750 additions and 0 deletions.
40 changes: 40 additions & 0 deletions java/ql/lib/ext/generated/java.applet.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,40 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["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, "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[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"]
- ["java.applet", "AppletStub", True, "getDocumentBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
data:
- ["java.applet", "Applet", "destroy", "()", "summary", "df-generated"]
- ["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"]
128 changes: 128 additions & 0 deletions java/ql/lib/ext/generated/java.beans.beancontext.model.yml

Large diffs are not rendered by default.

309 changes: 309 additions & 0 deletions java/ql/lib/ext/generated/java.beans.model.yml

Large diffs are not rendered by default.

518 changes: 518 additions & 0 deletions java/ql/lib/ext/generated/java.io.model.yml

Large diffs are not rendered by default.

27 changes: 27 additions & 0 deletions java/ql/lib/ext/generated/java.lang.annotation.model.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["java.lang.annotation", "AnnotationFormatError", True, "AnnotationFormatError", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.lang.annotation", "AnnotationFormatError", True, "AnnotationFormatError", "(String,Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.lang.annotation", "AnnotationFormatError", True, "AnnotationFormatError", "(String,Throwable)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.lang.annotation", "AnnotationFormatError", True, "AnnotationFormatError", "(Throwable)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.lang.annotation", "AnnotationTypeMismatchException", True, "AnnotationTypeMismatchException", "(Method,String)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.annotation.AnnotationTypeMismatchException.element]", "value", "dfc-generated"]
- ["java.lang.annotation", "AnnotationTypeMismatchException", True, "AnnotationTypeMismatchException", "(Method,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.lang.annotation", "AnnotationTypeMismatchException", True, "AnnotationTypeMismatchException", "(Method,String)", "", "Argument[1]", "Argument[this].SyntheticField[java.lang.annotation.AnnotationTypeMismatchException.foundType]", "value", "dfc-generated"]
- ["java.lang.annotation", "AnnotationTypeMismatchException", True, "AnnotationTypeMismatchException", "(Method,String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.lang.annotation", "AnnotationTypeMismatchException", True, "element", "()", "", "Argument[this].SyntheticField[java.lang.annotation.AnnotationTypeMismatchException.element]", "ReturnValue", "value", "dfc-generated"]
- ["java.lang.annotation", "AnnotationTypeMismatchException", True, "element", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.lang.annotation", "AnnotationTypeMismatchException", True, "foundType", "()", "", "Argument[this].SyntheticField[java.lang.annotation.AnnotationTypeMismatchException.foundType]", "ReturnValue", "value", "dfc-generated"]
- ["java.lang.annotation", "AnnotationTypeMismatchException", True, "foundType", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.lang.annotation", "IncompleteAnnotationException", True, "IncompleteAnnotationException", "(Class,String)", "", "Argument[1]", "Argument[this].SyntheticField[java.lang.annotation.IncompleteAnnotationException.elementName]", "value", "dfc-generated"]
- ["java.lang.annotation", "IncompleteAnnotationException", True, "IncompleteAnnotationException", "(Class,String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.lang.annotation", "IncompleteAnnotationException", True, "elementName", "()", "", "Argument[this].SyntheticField[java.lang.annotation.IncompleteAnnotationException.elementName]", "ReturnValue", "value", "dfc-generated"]
- ["java.lang.annotation", "IncompleteAnnotationException", True, "elementName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
data:
- ["java.lang.annotation", "IncompleteAnnotationException", "annotationType", "()", "summary", "df-generated"]
Loading

0 comments on commit 1ead0a1

Please sign in to comment.