Code

Java: Update Java JDK 17 models.#17547

Code

Merged

michaelnebel merged 18 commits intogithub:maingithub/codeql:mainfrom michaelnebel:java/jdk17updatemichaelnebel/codeql:java/jdk17updateCopy head branch name to clipboardOct 23, 2024

+6,611-5,222

Commits

Commits on Oct 21, 2024

• Java: Delete all generated Java JDK models.

  michaelnebel

  committed
  f50734f

• Java: Re-add generated (mixed) summaries and neutrals for the Java SDK 17.

  michaelnebel

  committed
  3b6f399

• Java: Update request forgery expected output.

  michaelnebel

  committed
  cbd9cc6

• Java: Update TopJdkApisTest expected output.

  michaelnebel

  committed
  ea14547

• Java: Update expected test output for the model editor tests.

  michaelnebel

  committed
  24d1e99

• Java: Update test expected output where the query results are not affected.

  michaelnebel

  committed
  e94cacd

• Java: Add some less precise models for BasicAttributes to get the models to work with search sink and re-generate SDK models.

  michaelnebel

  committed
  f7b38a8

• Java: Update LdapInjection expected test output.

  michaelnebel

  committed
  f537e04

• Java: Manually model ZipFile (due to CWE-522 compression bombs test failure).

  michaelnebel

  committed
  b356c3c

• Java: Add manual models for FileReader (they would also have disappeared if models were re-generated without using mixed mode).

  michaelnebel

  committed
  9a44eec

• Java: Add change note.

  michaelnebel

  committed
  0a931aa

• Java: Manually model InetSocketAddress as the model generator doesn't correctly taint the hostname.

  michaelnebel

  committed
  97f0037

• Java: Update java.net expected output.

  michaelnebel

  committed
  e2ada25

• Java: Add modelgenerator clone example.

  michaelnebel

  committed
  7919dcf

• Java: Add the clone method to the model generation exclusions.

  michaelnebel

  committed
  786d04e

• Java: Update model generator expected output.

  michaelnebel

  committed
  23d285c

• Java: Re-generate JDK 17 models.

  michaelnebel

  committed
  d59df1f

• Java: Update LdapInjection expected test output.

  michaelnebel

  committed
  dec2c61