Merge pull request #15947 from owen-mc/java/fix-model-provenance-to-d…

…f-manual Fix model provenance to df-manual
github · Mar 18, 2024 · e10ce88 · e10ce88
2 parents 9c2b216 + 7fb05f4
commit e10ce88
Show file tree

Hide file tree

Showing 2 changed files with 21 additions and 21 deletions.
diff --git a/java/ql/lib/ext/java.lang.model.yml b/java/ql/lib/ext/java.lang.model.yml
@@ -82,8 +82,8 @@ extensions:
       - ["java.lang", "Exception", False, "Exception", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "manual"]
       - ["java.lang", "Exception", False, "Exception", "(String,Throwable)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "manual"]
       - ["java.lang", "Exception", False, "Exception", "(String,Throwable)", "", "Argument[1]", "Argument[this].SyntheticField[java.lang.Throwable.cause]", "value", "manual"]
-      - ["java.lang", "Exception", False, "Exception", "(Throwable)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.cause]", "value", "manual"]
-      - ["java.lang", "Exception", False, "Exception", "(Throwable)", "", "Argument[0].SyntheticField[java.lang.Throwable.message]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "taint", "manual"]
+      - ["java.lang", "Exception", False, "Exception", "(Throwable)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.cause]", "value", "df-manual"]
+      - ["java.lang", "Exception", False, "Exception", "(Throwable)", "", "Argument[0].SyntheticField[java.lang.Throwable.message]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "taint", "df-manual"]
       - ["java.lang", "IllegalArgumentException", False, "IllegalArgumentException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "manual"]
       - ["java.lang", "IllegalStateException", False, "IllegalStateException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "manual"]
       - ["java.lang", "IndexOutOfBoundsException", False, "IndexOutOfBoundsException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "manual"]
@@ -148,16 +148,16 @@ extensions:
       - ["java.lang", "ThreadLocal", True, "set", "(Object)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.ThreadLocal.value]", "value", "manual"]
       - ["java.lang", "ThreadLocal", False, "withInitial", "(Supplier)", "", "Argument[0].ReturnValue", "ReturnValue.SyntheticField[java.lang.ThreadLocal.value]", "value", "manual"]
       - ["java.lang", "Throwable", False, "Throwable", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "manual"]
-      - ["java.lang", "Throwable", False, "Throwable", "(String,Throwable)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "manual"]
-      - ["java.lang", "Throwable", False, "Throwable", "(String,Throwable)", "", "Argument[1]", "Argument[this].SyntheticField[java.lang.Throwable.cause]", "value", "manual"]
+      - ["java.lang", "Throwable", False, "Throwable", "(String,Throwable)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "df-manual"]
+      - ["java.lang", "Throwable", False, "Throwable", "(String,Throwable)", "", "Argument[1]", "Argument[this].SyntheticField[java.lang.Throwable.cause]", "value", "df-manual"]
       - ["java.lang", "Throwable", False, "Throwable", "(Throwable)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.cause]", "value", "manual"]
-      - ["java.lang", "Throwable", False, "Throwable", "(Throwable)", "", "Argument[0].SyntheticField[java.lang.Throwable.message]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "taint", "manual"]
+      - ["java.lang", "Throwable", False, "Throwable", "(Throwable)", "", "Argument[0].SyntheticField[java.lang.Throwable.message]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "taint", "df-manual"]
       - ["java.lang", "Throwable", True, "getCause", "()", "", "Argument[this].SyntheticField[java.lang.Throwable.cause]", "ReturnValue", "value", "manual"]
       - ["java.lang", "Throwable", True, "getMessage", "()", "", "Argument[this].SyntheticField[java.lang.Throwable.message]", "ReturnValue", "value", "manual"]
       - ["java.lang", "Throwable", True, "getLocalizedMessage", "()", "", "Argument[this].SyntheticField[java.lang.Throwable.message]", "ReturnValue", "value", "manual"]
-      - ["java.lang", "Throwable", True, "initCause", "(Throwable)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.cause]", "value", "manual"]
-      - ["java.lang", "Throwable", True, "initCause", "(Throwable)", "", "Argument[0]", "ReturnValue.SyntheticField[java.lang.Throwable.cause]", "value", "manual"]
-      - ["java.lang", "Throwable", True, "initCause", "(Throwable)", "", "Argument[this]", "ReturnValue", "value", "manual"]
+      - ["java.lang", "Throwable", True, "initCause", "(Throwable)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.cause]", "value", "df-manual"]
+      - ["java.lang", "Throwable", True, "initCause", "(Throwable)", "", "Argument[0]", "ReturnValue.SyntheticField[java.lang.Throwable.cause]", "value", "df-manual"]
+      - ["java.lang", "Throwable", True, "initCause", "(Throwable)", "", "Argument[this]", "ReturnValue", "value", "df-manual"]
       - ["java.lang", "Throwable", True, "toString", "()", "", "Argument[this].SyntheticField[java.lang.Throwable.message]", "ReturnValue", "taint", "manual"]
       - ["java.lang", "UnsupportedOperationException", False, "UnsupportedOperationException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "manual"]
   - addsTo:

diff --git a/java/ql/lib/ext/javax.crypto.model.yml b/java/ql/lib/ext/javax.crypto.model.yml
@@ -11,18 +11,18 @@ extensions:
       pack: codeql/java-all
       extensible: neutralModel
     data:
-      - ["javax.crypto", "Cipher", "doFinal", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "getAlgorithm", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "getExemptionMechanism", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "getInstance", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "getIV", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "getParameters", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "getProvider", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "init", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "toString", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "unwrap", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "update", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "updateAAD", "", "summary", "manual"]
-      - ["javax.crypto", "Cipher", "wrap", "", "summary", "manual"]
+      - ["javax.crypto", "Cipher", "doFinal", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "getAlgorithm", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "getExemptionMechanism", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "getInstance", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "getIV", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "getParameters", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "getProvider", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "init", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "toString", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "unwrap", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "update", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "updateAAD", "", "summary", "df-manual"]
+      - ["javax.crypto", "Cipher", "wrap", "", "summary", "df-manual"]
       - ["javax.crypto", "Mac", "init", "(Key)", "summary", "df-manual"]
       - ["javax.crypto", "Mac", "doFinal", "()", "summary", "df-manual"]