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: Update Java JDK 17 models. #17547

Merged
merged 18 commits into from
Oct 23, 2024
Merged

Java: Update Java JDK 17 models. #17547

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
18 commits
Select commit Hold shift + click to select a range
f50734f
Java: Delete all generated Java JDK models.
michaelnebel Sep 30, 2024
3b6f399
Java: Re-add generated (mixed) summaries and neutrals for the Java SD…
michaelnebel Sep 30, 2024
cbd9cc6
Java: Update request forgery expected output.
michaelnebel Oct 1, 2024
ea14547
Java: Update TopJdkApisTest expected output.
michaelnebel Oct 2, 2024
24d1e99
Java: Update expected test output for the model editor tests.
michaelnebel Oct 2, 2024
e94cacd
Java: Update test expected output where the query results are not aff…
michaelnebel Oct 2, 2024
f7b38a8
Java: Add some less precise models for BasicAttributes to get the mod…
michaelnebel Oct 3, 2024
f537e04
Java: Update LdapInjection expected test output.
michaelnebel Oct 3, 2024
b356c3c
Java: Manually model ZipFile (due to CWE-522 compression bombs test f…
michaelnebel Oct 3, 2024
9a44eec
Java: Add manual models for FileReader (they would also have disappea…
michaelnebel Oct 3, 2024
0a931aa
Java: Add change note.
michaelnebel Oct 4, 2024
97f0037
Java: Manually model InetSocketAddress as the model generator doesn't…
michaelnebel Oct 3, 2024
e2ada25
Java: Update java.net expected output.
michaelnebel Oct 3, 2024
7919dcf
Java: Add modelgenerator clone example.
michaelnebel Oct 11, 2024
786d04e
Java: Add the clone method to the model generation exclusions.
michaelnebel Oct 11, 2024
23d285c
Java: Update model generator expected output.
michaelnebel Oct 11, 2024
d59df1f
Java: Re-generate JDK 17 models.
michaelnebel Oct 11, 2024
dec2c61
Java: Update LdapInjection expected test output.
michaelnebel Oct 11, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions java/ql/lib/change-notes/2024-10-04-jdk-models.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
---
category: majorAnalysis
---
* Java: The generated JDK 17 models have been updated.
7 changes: 0 additions & 7 deletions java/ql/lib/ext/generated/com.sun.jmx.remote.internal.model.yml
View file
Open in desktop

This file was deleted.

21 changes: 6 additions & 15 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,24 +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"]
- ["java.applet", "AppletContext", "getApplet", "(String)", "summary", "df-generated"]
- ["java.applet", "AppletContext", "getAudioClip", "(URL)", "summary", "df-generated"]
- ["java.applet", "AppletContext", "getStream", "(String)", "summary", "df-generated"]
- ["java.applet", "AppletContext", "getStreamKeys", "()", "summary", "df-generated"]
- ["java.applet", "AppletContext", "setStream", "(String,InputStream)", "summary", "df-generated"]
- ["java.applet", "AppletContext", "showDocument", "(URL)", "summary", "df-generated"]
- ["java.applet", "AppletContext", "showDocument", "(URL,String)", "summary", "df-generated"]
- ["java.applet", "AppletContext", "showStatus", "(String)", "summary", "df-generated"]
- ["java.applet", "AppletStub", "appletResize", "(int,int)", "summary", "df-generated"]
- ["java.applet", "AppletStub", "getParameter", "(String)", "summary", "df-generated"]
- ["java.applet", "AppletStub", "isActive", "()", "summary", "df-generated"]
15 changes: 0 additions & 15 deletions java/ql/lib/ext/generated/java.awt.model.yml
View file
Open in desktop

This file was deleted.

Loading
Loading