hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 17:23:36 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
mbg/go/git-source-changenote
codeql/java/ql/lib/ext/generated/java.util.logging.model.yml

155 lines
19 KiB
YAML
Raw Permalink Blame History

# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["java.util.logging", "ErrorManager", True, "error", "(String,Exception,int)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "FileHandler", True, "FileHandler", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "FileHandler", True, "FileHandler", "(String,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "FileHandler", True, "FileHandler", "(String,int,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "FileHandler", True, "FileHandler", "(String,int,int,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "FileHandler", True, "FileHandler", "(String,long,int,boolean)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "Formatter", True, "format", "(LogRecord)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.util.logging", "Formatter", True, "format", "(LogRecord)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.logging", "Formatter", True, "formatMessage", "(LogRecord)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["java.util.logging", "Handler", True, "getErrorManager", "()", "", "Argument[this].SyntheticField[java.util.logging.Handler.errorManager]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "Handler", True, "getFilter", "()", "", "Argument[this].SyntheticField[java.util.logging.Handler.filter]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "Handler", True, "getFormatter", "()", "", "Argument[this].SyntheticField[java.util.logging.Handler.formatter]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "Handler", True, "getLevel", "()", "", "Argument[this].SyntheticField[java.util.logging.Handler.logLevel]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "Handler", True, "publish", "(LogRecord)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "Handler", True, "setEncoding", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "Handler", True, "setErrorManager", "(ErrorManager)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.Handler.errorManager]", "value", "dfc-generated"]
- ["java.util.logging", "Handler", True, "setFilter", "(Filter)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.Handler.filter]", "value", "dfc-generated"]
- ["java.util.logging", "Handler", True, "setFormatter", "(Formatter)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.Handler.formatter]", "value", "dfc-generated"]
- ["java.util.logging", "Handler", True, "setLevel", "(Level)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.Handler.logLevel]", "value", "dfc-generated"]
- ["java.util.logging", "Level", True, "getLocalizedName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.logging", "Level", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.logging", "Level", True, "getResourceBundleName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.logging", "LogManager", True, "addConfigurationListener", "(Runnable)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "LogManager", True, "getLoggerNames", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.logging", "LogManager", True, "getProperty", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.logging", "LogRecord", True, "getInstant", "()", "", "Argument[this].SyntheticField[java.util.logging.LogRecord.instant]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "getLevel", "()", "", "Argument[this].SyntheticField[java.util.logging.LogRecord.level]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "getLoggerName", "()", "", "Argument[this].SyntheticField[java.util.logging.LogRecord.loggerName]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "getResourceBundleName", "()", "", "Argument[this].SyntheticField[java.util.logging.LogRecord.resourceBundleName]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "getSourceClassName", "()", "", "Argument[this].SyntheticField[java.util.logging.LogRecord.sourceClassName]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "getSourceMethodName", "()", "", "Argument[this].SyntheticField[java.util.logging.LogRecord.sourceMethodName]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "getThrown", "()", "", "Argument[this].SyntheticField[java.util.logging.LogRecord.thrown]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "setInstant", "(Instant)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.LogRecord.instant]", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "setLevel", "(Level)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.LogRecord.level]", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "setLoggerName", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.LogRecord.loggerName]", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "setLongThreadID", "(long)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "setMessage", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "LogRecord", True, "setResourceBundle", "(ResourceBundle)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "LogRecord", True, "setResourceBundleName", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.LogRecord.resourceBundleName]", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "setSourceClassName", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.LogRecord.sourceClassName]", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "setSourceMethodName", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.LogRecord.sourceMethodName]", "value", "dfc-generated"]
- ["java.util.logging", "LogRecord", True, "setThrown", "(Throwable)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.LogRecord.thrown]", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "getAnonymousLogger", "(String)", "", "Argument[0]", "ReturnValue.SyntheticField[java.util.logging.Logger.loggerBundle].SyntheticField[java.util.logging.Logger$LoggerBundle.resourceBundleName]", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "getFilter", "()", "", "Argument[this].SyntheticField[java.util.logging.Logger.config].SyntheticField[java.util.logging.Logger$ConfigurationData.filter]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "getHandlers", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.logging", "Logger", True, "getLevel", "()", "", "Argument[this].SyntheticField[java.util.logging.Logger.config].SyntheticField[java.util.logging.Logger$ConfigurationData.levelObject]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "getLogger", "(String,String)", "", "Argument[1]", "ReturnValue.SyntheticField[java.util.logging.Logger.loggerBundle].SyntheticField[java.util.logging.Logger$LoggerBundle.resourceBundleName]", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "getParent", "()", "", "Argument[this].SyntheticField[java.util.logging.Logger.parent]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "getResourceBundle", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.util.logging", "Logger", True, "getResourceBundleName", "()", "", "Argument[this].SyntheticField[java.util.logging.Logger.loggerBundle].SyntheticField[java.util.logging.Logger$LoggerBundle.resourceBundleName]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "logrb", "(Level,String,String,String,String)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "Logger", True, "logrb", "(Level,String,String,String,String,Object)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "Logger", True, "logrb", "(Level,String,String,String,String,Object[])", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "Logger", True, "logrb", "(Level,String,String,String,String,Throwable)", "", "Argument[3]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "Logger", True, "setFilter", "(Filter)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.Logger.config].SyntheticField[java.util.logging.Logger$ConfigurationData.filter]", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "setLevel", "(Level)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.Logger.config].SyntheticField[java.util.logging.Logger$ConfigurationData.levelObject]", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "setParent", "(Logger)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.Logger.parent]", "value", "dfc-generated"]
- ["java.util.logging", "Logger", True, "setResourceBundle", "(ResourceBundle)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.util.logging", "LoggingPermission", False, "LoggingPermission", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
- ["java.util.logging", "MemoryHandler", True, "MemoryHandler", "(Handler,int,Level)", "", "Argument[2]", "Argument[this].SyntheticField[java.util.logging.MemoryHandler.pushLevel]", "value", "dfc-generated"]
- ["java.util.logging", "MemoryHandler", True, "getPushLevel", "()", "", "Argument[this].SyntheticField[java.util.logging.MemoryHandler.pushLevel]", "ReturnValue", "value", "dfc-generated"]
- ["java.util.logging", "MemoryHandler", True, "setPushLevel", "(Level)", "", "Argument[0]", "Argument[this].SyntheticField[java.util.logging.MemoryHandler.pushLevel]", "value", "dfc-generated"]
- ["java.util.logging", "SocketHandler", True, "SocketHandler", "(String,int)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
data:
- ["java.util.logging", "ConsoleHandler", "close", "()", "summary", "df-generated"]
- ["java.util.logging", "FileHandler", "close", "()", "summary", "df-generated"]
- ["java.util.logging", "Formatter", "getHead", "(Handler)", "summary", "df-generated"]
- ["java.util.logging", "Formatter", "getTail", "(Handler)", "summary", "df-generated"]
- ["java.util.logging", "Handler", "close", "()", "summary", "df-generated"]
- ["java.util.logging", "Handler", "flush", "()", "summary", "df-generated"]
- ["java.util.logging", "Handler", "isLoggable", "(LogRecord)", "summary", "df-generated"]
- ["java.util.logging", "Level", "intValue", "()", "summary", "df-generated"]
- ["java.util.logging", "Level", "parse", "(String)", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "addLogger", "(Logger)", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "checkAccess", "()", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "getLogManager", "()", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "getLogger", "(String)", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "getLoggingMXBean", "()", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "readConfiguration", "()", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "readConfiguration", "(InputStream)", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "removeConfigurationListener", "(Runnable)", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "reset", "()", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "updateConfiguration", "(Function)", "summary", "df-generated"]
- ["java.util.logging", "LogManager", "updateConfiguration", "(InputStream,Function)", "summary", "df-generated"]
- ["java.util.logging", "LogRecord", "getLongThreadID", "()", "summary", "df-generated"]
- ["java.util.logging", "LogRecord", "getMillis", "()", "summary", "df-generated"]
- ["java.util.logging", "LogRecord", "getSequenceNumber", "()", "summary", "df-generated"]
- ["java.util.logging", "LogRecord", "getThreadID", "()", "summary", "df-generated"]
- ["java.util.logging", "LogRecord", "setMillis", "(long)", "summary", "df-generated"]
- ["java.util.logging", "LogRecord", "setSequenceNumber", "(long)", "summary", "df-generated"]
- ["java.util.logging", "LogRecord", "setThreadID", "(int)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "addHandler", "(Handler)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "config", "(String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "config", "(Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "entering", "(String,String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "entering", "(String,String,Object)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "entering", "(String,String,Object[])", "summary", "df-generated"]
- ["java.util.logging", "Logger", "exiting", "(String,String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "exiting", "(String,String,Object)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "fine", "(String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "fine", "(Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "finer", "(String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "finer", "(Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "finest", "(String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "finest", "(Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "getAnonymousLogger", "()", "summary", "df-generated"]
- ["java.util.logging", "Logger", "getGlobal", "()", "summary", "df-generated"]
- ["java.util.logging", "Logger", "getUseParentHandlers", "()", "summary", "df-generated"]
- ["java.util.logging", "Logger", "info", "(String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "info", "(Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "log", "(Level,String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "log", "(Level,String,Object)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "log", "(Level,String,Object[])", "summary", "df-generated"]
- ["java.util.logging", "Logger", "log", "(Level,String,Throwable)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "log", "(Level,Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "log", "(Level,Throwable,Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "log", "(LogRecord)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logp", "(Level,String,String,String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logp", "(Level,String,String,String,Object)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logp", "(Level,String,String,String,Object[])", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logp", "(Level,String,String,String,Throwable)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logp", "(Level,String,String,Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logp", "(Level,String,String,Throwable,Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logrb", "(Level,ResourceBundle,String,Object[])", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logrb", "(Level,ResourceBundle,String,Throwable)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logrb", "(Level,String,String,ResourceBundle,String,Object[])", "summary", "df-generated"]
- ["java.util.logging", "Logger", "logrb", "(Level,String,String,ResourceBundle,String,Throwable)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "removeHandler", "(Handler)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "setUseParentHandlers", "(boolean)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "severe", "(String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "severe", "(Supplier)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "throwing", "(String,String,Throwable)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "warning", "(String)", "summary", "df-generated"]
- ["java.util.logging", "Logger", "warning", "(Supplier)", "summary", "df-generated"]
- ["java.util.logging", "MemoryHandler", "close", "()", "summary", "df-generated"]
- ["java.util.logging", "MemoryHandler", "flush", "()", "summary", "df-generated"]
- ["java.util.logging", "MemoryHandler", "isLoggable", "(LogRecord)", "summary", "df-generated"]
- ["java.util.logging", "MemoryHandler", "push", "()", "summary", "df-generated"]
- ["java.util.logging", "SocketHandler", "close", "()", "summary", "df-generated"]
- ["java.util.logging", "StreamHandler", "StreamHandler", "(OutputStream,Formatter)", "summary", "df-generated"]
- ["java.util.logging", "StreamHandler", "close", "()", "summary", "df-generated"]
- ["java.util.logging", "StreamHandler", "flush", "()", "summary", "df-generated"]
- ["java.util.logging", "StreamHandler", "isLoggable", "(LogRecord)", "summary", "df-generated"]
- ["java.util.logging", "XMLFormatter", "getHead", "(Handler)", "summary", "df-generated"]
- ["java.util.logging", "XMLFormatter", "getTail", "(Handler)", "summary", "df-generated"]
Reference in New Issue View Git Blame Copy Permalink