Messages

Last Msg First Msg

method

com.dmdirc.addons.logging.LoggingPlugin$OpenFile__ static_init

method

com.dmdirc.addons.logging.LoggingPlugin$1__static_ init

method

com.dmdirc.addons.logging.LoggingPlugin__static_ init

method	void com.dmdirc.addons.logging.LoggingPlugin$OpenF ile(LoggingPlugin, BufferedWriter)
post	init'ed(this.lastUsedTime)
post	this.writer == writer
post	init'ed(this.writer)

method	void com.dmdirc.addons.logging.LoggingPlugin()
post	this.openFiles == &new Hashtable(LoggingPlugin# 1)
post	this.openedAtFormat == &new SimpleDateFormat(Lo ggingPlugin#2)
post	new Hashtable(LoggingPlugin#1) num objects == 1
post	new SimpleDateFormat(LoggingPlugin#2) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.plugins.Plugin()

method	void domainUpdated()
presumption	com.dmdirc.config.IdentityManager:getAddonIdentity( ...)@105 != null

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getAddonIdentity()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on String com.dmdirc.Main:getConfigDir()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method	void onLoad()
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ ACTION)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ CLOSED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ GOTTOPIC)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ JOIN)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ KICK)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ MESSAGE)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ MODECHANGE)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ NICKCHANGE)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ OPENED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ PART)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ QUIT)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ SELF_ACTION)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ SELF_MESSAGE)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ TOPICCHANGE)
presumption	init'ed(com.dmdirc.actions.CoreActionType.QUERY_ ACTION)
presumption	init'ed(com.dmdirc.actions.CoreActionType.QUERY_ CLOSED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.QUERY_ MESSAGE)
presumption	init'ed(com.dmdirc.actions.CoreActionType.QUERY_ OPENED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.QUERY_ SELF_ACTION)
presumption	init'ed(com.dmdirc.actions.CoreActionType.QUERY_ SELF_MESSAGE)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@115 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
post	this.command == &new LoggingCommand(onLoad#2)
post	this.idleFileTimer == &new Timer(onLoad#4)
post	new LoggingCommand(onLoad#2) num objects == 1
post	new Timer(onLoad#4) num objects == 1
unanalyzed	call on java.util.TimerTask
unanalyzed	call on com.dmdirc.commandparser.commands. ServerCommand
unanalyzed	call on com.dmdirc.commandparser.CommandManager:reg isterCommand
test_vector	java.io.File:exists(...)@116: {0}, {1}
test_vector	java.io.File:isDirectory(...)@117: {1}, {0}
test_vector	java.io.File:mkdirs(...)@121: {1}, {0}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

method

void com.dmdirc.addons.logging.LoggingPlugin$1(Log gingPlugin)

method	void run()
pre	(soft) this.openFiles != null
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Hashtable:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.io.BufferedWriter:close
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	void timerTask()
pre	(soft) this.openFiles != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	file.writer@169 != null
presumption	java.lang.System:currentTimeMillis(...)@165 >= -9_223_372_036_851_295_808
presumption	java.util.Map:get(...)@169 != null
test_vector	java.util.Iterator:hasNext(...)@168: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	void onUnload()
pre	init'ed(this.command)
pre	this.idleFileTimer != null
pre	this.openFiles != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	file.writer@195 != null
presumption	java.util.Map:get(...)@195 != null
presumption	java.util.Map:keySet(...)@194 != null
test_vector	java.util.Iterator:hasNext(...)@194: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.commandparser. CommandManager:unregisterCommand(CommandInfo)

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:remov eListener(ActionListener)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	void showConfig(PreferencesManager)
pre	manager != null
presumption	com.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@232 != null
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. BOOLEAN)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. COLOUR)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. INTEGER)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. TEXT)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory(String, String)

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

method not available - call not analyzed Info call on PreferencesCategory com.dmdirc.config. prefs.PreferencesCategory:setInline()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method not available - call not analyzed Info call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)

method not available - call not analyzed Info call on PreferencesCategory com.dmdirc.config. prefs.PreferencesCategory:setInlineAfter()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method	void handleQueryEvent(CoreActionType, StringBuffer, Object[])
pre	arguments != null
pre	arguments[0] != null
pre	(soft) arguments.length >= 2
pre	(soft) init'ed(arguments[1])
pre	(soft) init'ed(com.dmdirc.addons.logging. LoggingPlugin$2__static_init.new int[](LoggingPlugi n$2__static_init#1)[...])
pre	(soft) this.openFiles != null
pre	(soft) this.openedAtFormat != null
pre	(soft) type != null
presumption	com.dmdirc.Query:getServer(...)@249 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.QUERY_ MESSAGE)
presumption	init'ed(com.dmdirc.actions.CoreActionType.QUERY_ SELF_ACTION)
presumption	init'ed(com.dmdirc.actions.CoreActionType.QUERY_ SELF_MESSAGE)
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@268 >= 0
presumption	com.dmdirc.actions.CoreActionType:values(...). length >= 1
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@268 < com.dmdirc.actions.CoreActionType:values(...). length
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@254 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@270 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.util.Map:get(...).writer@281 != null
presumption	java.util.Map:get(...)@281 != null
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.util.Date
unanalyzed	call on java.text.DateFormat:format
unanalyzed	call on java.lang.String:trim
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.BufferedWriter:newLine
unanalyzed	call on java.io.BufferedWriter:flush
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.lang.String
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on java.util.Stack
unanalyzed	call on java.util.Stack:push
unanalyzed	call on java.util.Stack:empty
unanalyzed	call on java.util.Stack:pop
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.io.RandomAccessFile:close
unanalyzed	call on java.io.FileNotFoundException:getMessage
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:instanceo f
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getParser
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.text.SimpleDateFormat:format
test_vector	com.dmdirc.addons.logging.LoggingPlugin$2__static_ init.new int[](LoggingPlugin$2__static_init#1)[...]: {1}, {2}, {3..6}, {-2³¹.. 0, 7..2³²-1}
test_vector	com.dmdirc.Query:getServer(...)@244: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.Server:getParser(...)@249: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@254: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@270: {0}, {1}
test_vector	com.dmdirc.parser.irc.IRCParser:getClientInfo(... )@260: Inverse{null}, Addr_Set{null}
test_vector	java.util.Map:containsKey(...)@280: {0}, {1}

method not available - call not analyzed Info call on Server com.dmdirc.Query:getServer()

method not available - call not analyzed Info call on String com.dmdirc.actions.CoreActionType:to String()

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method not available - call not analyzed Info call on Server com.dmdirc.Query:getServer()

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on String com.dmdirc.Query:getHost()

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. IRCParser:getClientInfo(String)

method not available - call not analyzed Info call on String com.dmdirc.Query:getHost()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ClientInfo(IRCPa rser, String)

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. ClientInfo:setFake(bool)

method	com.dmdirc.addons.logging.LoggingPlugin$2__static_ init
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_ACTION != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_CLOSED != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_GOTTOPIC != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_JOIN != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_KICK != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_MESSAGE != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_ MODECHANGE != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_ NICKCHANGE != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_OPENED != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_PART != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_QUIT != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_SELF_ ACTION != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_SELF_ MESSAGE != null
presumption	com.dmdirc.actions.CoreActionType.CHANNEL_ TOPICCHANGE != null
presumption	com.dmdirc.actions.CoreActionType.QUERY_ACTION != null
presumption	com.dmdirc.actions.CoreActionType.QUERY_CLOSED != null
presumption	com.dmdirc.actions.CoreActionType.QUERY_MESSAGE != null
presumption	com.dmdirc.actions.CoreActionType.QUERY_OPENED != null
presumption	com.dmdirc.actions.CoreActionType.QUERY_SELF_ ACTION != null
presumption	com.dmdirc.actions.CoreActionType.QUERY_SELF_ MESSAGE != null
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@268 >= 0
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@268 < com.dmdirc.actions.CoreActionType:values(...). length@268
presumption	com.dmdirc.actions.CoreActionType:values(...). length@268 >= 1
presumption	com.dmdirc.actions.CoreActionType:values(...)@268 != null
post	new int[](LoggingPlugin$2__static_init#1) num objects == 1

method not available - call not analyzed Info call on CoreActionType[] com.dmdirc.actions. CoreActionType:values()

method not available - call not analyzed Info call on int com.dmdirc.actions.CoreActionType:ordin al()

method not available - call not analyzed Info call on int com.dmdirc.actions.CoreActionType:ordin al()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on InputWindow com.dmdirc.Query:getFrame()

method not available - call not analyzed Info call on String com.dmdirc.Query:getHost()

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/addons/logging/LoggingPlugin. getDisplayName: overrideNick != null

Prev Msg Next Msg

method	void handleChannelEvent(CoreActionType, StringBuffer, Object[])
pre	arguments != null
pre	arguments[0] != null
pre	type != null
pre	(soft) arguments.length >= 4
pre	(soft) init'ed(arguments[1])
pre	(soft) init'ed(arguments[2])
pre	(soft) arguments[3] != null
pre	(soft) init'ed(com.dmdirc.addons.logging. LoggingPlugin$2__static_init.new int[](LoggingPlugi n$2__static_init#1)[...])
pre	(soft) this.openFiles != null
pre	(soft) this.openedAtFormat != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@315 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ MESSAGE)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ SELF_MESSAGE)
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@323 >= 0
presumption	com.dmdirc.actions.CoreActionType:values(...). length >= 1
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@323 < com.dmdirc.actions.CoreActionType:values(...). length
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@325 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@319 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getNickname (...)@396 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getTopicTime(... )@360 in {-9_223_372_036_854_775..18_446_744_073_70 9_551}
presumption	java.util.Map:get(...).writer@335 != null
presumption	java.util.Map:get(...)@335 != null
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:toS tring
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
unanalyzed	call on java.util.Date
unanalyzed	call on java.text.DateFormat:format
unanalyzed	call on java.lang.String:trim
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.BufferedWriter:newLine
unanalyzed	call on java.io.BufferedWriter:flush
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.lang.String
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on java.util.Stack
unanalyzed	call on java.util.Stack:push
unanalyzed	call on java.util.Stack:empty
unanalyzed	call on java.util.Stack:pop
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.io.RandomAccessFile:close
unanalyzed	call on java.io.FileNotFoundException:getMessage
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:instanceo f
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getParser
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.text.SimpleDateFormat:format
test_vector	com.dmdirc.addons.logging.LoggingPlugin$2__static_ init.new int[](LoggingPlugin$2__static_init#1)[...]: {7}, {8}, {9..12}, {13}, {14}, {15}, {16}, {17}, {18}, {19}, {20}, {-2³¹..6, 21..2³²-1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@325: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@369: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@376: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@386: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@396: {0}, {1}
test_vector	java.util.Map:containsKey(...)@334: {0}, {1}

method not available - call not analyzed Info call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. ChannelClientInfo:getClient()

method not available - call not analyzed Info call on int com.dmdirc.actions.CoreActionType:ordin al()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on InputWindow com.dmdirc.Channel:getFrame()

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getTopic()

method not available - call not analyzed Info call on long com.dmdirc.parser.irc.ChannelInfo:getT opicTime()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getTopicUser()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:toString()

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that message != null

Prev Msg Next Msg

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:toString()

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that message != null

Prev Msg Next Msg

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:toString()

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/addons/logging/LoggingPlugin. getDisplayName: overrideNick != null

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that channelClient != null

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelClientInfo:getNickname()

Prev Msg Next Msg

method	void processEvent(ActionType, StringBuffer, Object[])
pre	(soft) arguments != null
pre	(soft) arguments.length >= 4
pre	(soft) arguments[0] != null
pre	(soft) init'ed(arguments[1])
pre	(soft) init'ed(arguments[2])
pre	(soft) arguments[3] != null
pre	(soft) init'ed(com.dmdirc.addons.logging. LoggingPlugin$2__static_init.new int[](LoggingPlugi n$2__static_init#1)[...])
pre	(soft) this.openFiles != null
pre	(soft) this.openedAtFormat != null
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@417 >= 0
presumption	com.dmdirc.actions.CoreActionType:values(...). length >= 1
presumption	com.dmdirc.actions.CoreActionType:values(...). length - com.dmdirc.actions.CoreActionType:ordinal( ...)@417 in range
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@417 < com.dmdirc.actions.CoreActionType:values(...). length
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.io.BufferedWriter:close
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:toS tring
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
unanalyzed	call on java.util.Date
unanalyzed	call on java.text.DateFormat:format
unanalyzed	call on java.lang.String:trim
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.BufferedWriter:newLine
unanalyzed	call on java.io.BufferedWriter:flush
unanalyzed	call on com.dmdirc.actions.CoreActionType:ordinal
unanalyzed	call on com.dmdirc.Channel:getChannelInfo
unanalyzed	call on getLogFile
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:ins tanceof
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on com.dmdirc.Channel:getFrame
unanalyzed	call on showBackBuffer
unanalyzed	call on getDisplayName
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopic
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopicT ime
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getTopicU ser
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:toString
unanalyzed	call on com.dmdirc.Query:getServer
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.Query:getHost
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getClientIn fo
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:setFake
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.lang.String
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on java.util.Stack
unanalyzed	call on java.util.Stack:push
unanalyzed	call on java.util.Stack:empty
unanalyzed	call on java.util.Stack:pop
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.io.RandomAccessFile:close
unanalyzed	call on java.io.FileNotFoundException:getMessage
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:instanceo f
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getParser
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on com.dmdirc.actions.CoreActionType:toString
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.Query:getFrame
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
test_vector	com.dmdirc.addons.logging.LoggingPlugin$2__static_ init.new int[](LoggingPlugin$2__static_init#1)[...]: {1..6}, {7..20}, {-2³¹.. 0, 21..2³²-1}

method not available - call not analyzed Info call on int com.dmdirc.actions.CoreActionType:ordin al()

method	void showBackBuffer(Window, String)
presumption	com.dmdirc.config.ConfigManager:getOption(...)@456 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@455 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@456 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@457 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.lang.String
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on java.util.Stack
unanalyzed	call on java.util.Stack:push
unanalyzed	call on java.io.RandomAccessFile:close
test_vector	frame: Inverse{null}, Addr_Set{null}
test_vector	java.io.File:exists(...)@464: {0}, {1}
test_vector	java.util.Stack:empty(...)@472: {1}, {0}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:addLine(String, bool)

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (file.file) in close

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. Window:addLine(String, bool)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	String getColouredString(String, String)
pre	colour != null
post	init'ed(return_value)
test_vector	java.lang.Integer:parseInt(...)@501: {16..2³²-1}, {0..15}
test_vector	java.lang.String:length(...)@497: {3.. 2³²-1}, {0..2}
test_vector	java.lang.String:length(...)@509: {0..5, 7..2³²-1}, {6}

method	bool appendLine(String, String, Object[])
pre	(soft) this.openFiles != null
post	init'ed(return_value)
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.util.Date
unanalyzed	call on java.text.DateFormat:format
unanalyzed	call on java.lang.String:trim
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.BufferedWriter:newLine
unanalyzed	call on java.io.BufferedWriter:flush

method	bool appendLine(String, String)
pre	(soft) this.openFiles != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@544 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@546 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@561 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.text.DateFormat:format(...)@549 != null
presumption	java.text.DateFormat:format(...)@553 != null
presumption	java.util.Map:get(...)@570 != null
presumption	of.writer@570 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.System:currentTimeMillis
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@544: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@561: {0}, {1}
test_vector	java.util.Map:containsKey(...)@569: {0}, {1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on String com.dmdirc.ui.messages. Styliser:stipControlCodes(String)

method	String getLogFile(Object)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@604 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@630 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@631 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@643 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	com.dmdirc.parser.irc.ChannelInfo:getName(...)@616 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getName(...)@617 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getParser(... )@614 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getNickname(... )@623 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getNickname(... )@624 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getParser(... )@621 != null
presumption	com.dmdirc.parser.irc.IRCParser:getNetworkName(... )@614 != null
presumption	com.dmdirc.parser.irc.IRCParser:getNetworkName(... )@621 != null
presumption	init'ed(java.io.File.separatorChar)
presumption	java.lang.StringBuffer:length(...)@605 >= -2³¹+1
presumption	java.lang.StringBuffer:length(...)@634 >= -2³¹+1
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
test_vector	obj: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@630: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@643: {0}, {1}
test_vector	com.dmdirc.parser.irc.ChannelInfo:getParser(... )@613: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.parser.irc.ChannelInfo:instanceof(... )@611: {0}, {1}
test_vector	com.dmdirc.parser.irc.ClientInfo:getParser(... )@620: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.parser.irc.ClientInfo:instanceof(... )@618: {0}, {1}
test_vector	java.io.File:exists(...)@638: {1}, {0}
test_vector	java.io.File:mkdirs(...)@638: {1}, {0}

method not available - call not analyzed Info call on IRCParser com.dmdirc.parser.irc. ChannelInfo:getParser()

method not available - call not analyzed Info call on IRCParser com.dmdirc.parser.irc. ChannelInfo:getParser()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getNetworkName()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelInfo:getName()

method not available - call not analyzed Info call on IRCParser com.dmdirc.parser.irc. ClientInfo:getParser()

method not available - call not analyzed Info call on IRCParser com.dmdirc.parser.irc. ClientInfo:getParser()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getNetworkName()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getNickname()

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method	void addNetworkDir(StringBuffer, StringBuffer, String)
pre	(soft) directory != null
pre	(soft) file != null
pre	(soft) networkName != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@662 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
post	init'ed(directory._tainted)
unanalyzed	call on java.lang.String:replaceAll
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@662: {1}, {0}
test_vector	java.io.File:exists(...)@672: {0}, {1}
test_vector	java.io.File:exists(...)@676: {1}, {0}
test_vector	java.io.File:isDirectory(...)@672: {1}, {0}
test_vector	java.io.File:mkdirs(...)@676: {1}, {0}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	String sanitise(String)
pre	name != null
post	return_value != null

method	String md5(String)
pre	(soft) string != null
presumption	java.security.MessageDigest:getInstance(...)@709 != null
post	return_value != null

method	String getDisplayName(ClientInfo)
post	init'ed(return_value)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e

method	String getDisplayName(ClientInfo, String)
pre	overrideNick != null
post	init'ed(return_value)
test_vector	java.lang.String:isEmpty(...)@735: {0}, {1}

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ClientInfo:getNickname()

method	String getDisplayName(ChannelClientInfo)
post	init'ed(com.dmdirc.parser.irc.ChannelClientInfo:toS tring(...)._tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:toS tring
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix

method	String getDisplayName(ChannelClientInfo, String)
pre	overrideNick != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@760 != null
post	init'ed(com.dmdirc.parser.irc.ChannelClientInfo:toS tring(...)._tainted)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
test_vector	channelClient: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@760: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@764: {0}, {1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelClientInfo:getNickname()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelClientInfo:toString()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelClientInfo:getImportantModePrefix()

method	bool showHistory(InputWindow)
pre	target != null
presumption	com.dmdirc.Query:getServer(...)@783 != null
presumption	com.dmdirc.Server:getParser(...)@783 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@789 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@814 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@781 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@783 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@784 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@786 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@789 != null
post	init'ed(return_value)
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
unanalyzed	call on java.util.Date
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on java.lang.Math:min
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.lang.String
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:instanceo f
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getParser
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.text.SimpleDateFormat:format
test_vector	com.dmdirc.parser.irc.IRCParser:getClientInfo(... )@784: Inverse{null}, Addr_Set{null}
test_vector	java.io.File:exists(...)@797: {1}, {0}

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on Server com.dmdirc.Query:getServer()

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on String com.dmdirc.Query:getHost()

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. IRCParser:getClientInfo(String)

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on String com.dmdirc.Query:getHost()

method not available - call not analyzed Info call on void com.dmdirc.parser.irc.ClientInfo(IRCPa rser, String)

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. ClientInfo:setFake(bool)

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on Server com.dmdirc.WritableFrameContainer:ge tServer()

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.StringBuilder:toStr ing(...)._tainted) in getLogFile

Prev Msg Next Msg

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getAddonIdentity()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()
method not available - call not analyzed	Info	call on String com.dmdirc.Main:getConfigDir()
method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.logging. LoggingPlugin:getDomain()
method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

	method not available - call not analyzed	Info	call on PreferencesCategory com.dmdirc.config. prefs.PreferencesCategory:setInline()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

	method not available - call not analyzed	Info	call on String com.dmdirc.actions.CoreActionType:to String()
	method not available - call not analyzed	Info	call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

	method not available - call not analyzed	Info	call on Server com.dmdirc.Query:getServer()
	method not available - call not analyzed	Info	call on IRCParser com.dmdirc.Server:getParser()

	method not available - call not analyzed	Info	call on String com.dmdirc.Query:getHost()
	method not available - call not analyzed	Info	call on ClientInfo com.dmdirc.parser.irc. IRCParser:getClientInfo(String)

method not available - call not analyzed	Info	call on CoreActionType[] com.dmdirc.actions. CoreActionType:values()
method not available - call not analyzed	Info	call on int com.dmdirc.actions.CoreActionType:ordin al()
method not available - call not analyzed	Info	call on int com.dmdirc.actions.CoreActionType:ordin al()

	method not available - call not analyzed	Info	call on long com.dmdirc.parser.irc.ChannelInfo:getT opicTime()
	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. ChannelInfo:getTopicUser()

	method not available - call not analyzed	Info	call on IRCParser com.dmdirc.parser.irc. ChannelInfo:getParser()
	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. IRCParser:getNetworkName()

	method not available - call not analyzed	Info	call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()
	method not available - call not analyzed	Info	call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()