hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 17:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix model provenance to df-manual

Browse Source
This commit is contained in:
Owen Mansel-Chan
2024-03-17 14:36:47 +00:00
parent 9aefdca7a7
commit 754d4cd959
2 changed files with 23 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
java/ql/lib/ext/java.lang.model.yml
View File

@@ -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:

30
java/ql/lib/ext/javax.crypto.model.yml
View File

@@ -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", "Mac", "init", "(Key)", "summary", "df-manual"]
- ["javax.crypto", "Mac", "doFinal", "()", "summary", "df-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-df-manual"]
- ["javax.crypto", "Mac", "doFinal", "()", "summary", "df-df-manual"]