Run generation script · github/codeql@f03a56f · GitHub
Skip to content

Commit f03a56f

Browse files
owen-mcowen-mc
committed
Run generation script
The command line was: python3 /Users/owen-mc/workspace/codeql-home/codeql/java/ql/src/utils/modelgenerator/GenerateFlowModel.py /Users/owen-mc/db/java/openjdk17 --with-summaries --with-neutrals
1 parent 7bb2b57 commit f03a56f

146 files changed

Lines changed: 15154 additions & 0 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎java/ql/lib/ext/generated/com.sun.jmx.remote.internal.model.yml‎

Lines changed: 7 additions & 0 deletions

‎java/ql/lib/ext/generated/java.applet.model.yml‎

Lines changed: 49 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,49 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/java-all
5+
extensible: summaryModel
6+
data:
7+
- ["java.applet", "Applet", True, "getAppletContext", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
8+
- ["java.applet", "Applet", True, "getCodeBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
9+
- ["java.applet", "Applet", True, "getDocumentBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
10+
- ["java.applet", "Applet", True, "getImage", "(URL)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
11+
- ["java.applet", "Applet", True, "getImage", "(URL,String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
12+
- ["java.applet", "Applet", True, "getImage", "(URL,String)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
13+
- ["java.applet", "Applet", True, "setStub", "(AppletStub)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
14+
- ["java.applet", "AppletContext", True, "getApplets", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
15+
- ["java.applet", "AppletContext", True, "getImage", "(URL)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
16+
- ["java.applet", "AppletContext", True, "getImage", "(URL)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
17+
- ["java.applet", "AppletContext", True, "getImage", "(URL)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
18+
- ["java.applet", "AppletStub", True, "getAppletContext", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
19+
- ["java.applet", "AppletStub", True, "getCodeBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
20+
- ["java.applet", "AppletStub", True, "getDocumentBase", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
21+
- addsTo:
22+
pack: codeql/java-all
23+
extensible: neutralModel
24+
data:
25+
- ["java.applet", "Applet", "destroy", "()", "summary", "df-generated"]
26+
- ["java.applet", "Applet", "getAppletInfo", "()", "summary", "df-generated"]
27+
- ["java.applet", "Applet", "getAudioClip", "(URL)", "summary", "df-generated"]
28+
- ["java.applet", "Applet", "getAudioClip", "(URL,String)", "summary", "df-generated"]
29+
- ["java.applet", "Applet", "getParameter", "(String)", "summary", "df-generated"]
30+
- ["java.applet", "Applet", "getParameterInfo", "()", "summary", "df-generated"]
31+
- ["java.applet", "Applet", "init", "()", "summary", "df-generated"]
32+
- ["java.applet", "Applet", "isActive", "()", "summary", "df-generated"]
33+
- ["java.applet", "Applet", "newAudioClip", "(URL)", "summary", "df-generated"]
34+
- ["java.applet", "Applet", "play", "(URL)", "summary", "df-generated"]
35+
- ["java.applet", "Applet", "play", "(URL,String)", "summary", "df-generated"]
36+
- ["java.applet", "Applet", "showStatus", "(String)", "summary", "df-generated"]
37+
- ["java.applet", "Applet", "start", "()", "summary", "df-generated"]
38+
- ["java.applet", "Applet", "stop", "()", "summary", "df-generated"]
39+
- ["java.applet", "AppletContext", "getApplet", "(String)", "summary", "df-generated"]
40+
- ["java.applet", "AppletContext", "getAudioClip", "(URL)", "summary", "df-generated"]
41+
- ["java.applet", "AppletContext", "getStream", "(String)", "summary", "df-generated"]
42+
- ["java.applet", "AppletContext", "getStreamKeys", "()", "summary", "df-generated"]
43+
- ["java.applet", "AppletContext", "setStream", "(String,InputStream)", "summary", "df-generated"]
44+
- ["java.applet", "AppletContext", "showDocument", "(URL)", "summary", "df-generated"]
45+
- ["java.applet", "AppletContext", "showDocument", "(URL,String)", "summary", "df-generated"]
46+
- ["java.applet", "AppletContext", "showStatus", "(String)", "summary", "df-generated"]
47+
- ["java.applet", "AppletStub", "appletResize", "(int,int)", "summary", "df-generated"]
48+
- ["java.applet", "AppletStub", "getParameter", "(String)", "summary", "df-generated"]
49+
- ["java.applet", "AppletStub", "isActive", "()", "summary", "df-generated"]

‎java/ql/lib/ext/generated/java.awt.model.yml‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
2+
extensions:
3+
- addsTo:
4+
pack: codeql/java-all
5+
extensible: summaryModel
6+
data:
7+
- ["java.awt", "Component", True, "getAccessibleContext", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
8+
- ["java.awt", "Component", True, "getLocale", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
9+
- addsTo:
10+
pack: codeql/java-all
11+
extensible: neutralModel
12+
data:
13+
- ["java.awt", "Component", "resize", "(Dimension)", "summary", "df-generated"]
14+
- ["java.awt", "Component", "resize", "(int,int)", "summary", "df-generated"]
15+
- ["java.awt", "Container", "isValidateRoot", "()", "summary", "df-generated"]

‎java/ql/lib/ext/generated/java.beans.beancontext.model.yml‎

Lines changed: 85 additions & 0 deletions

0 commit comments

Comments
 (0)