LoggingPlugin.java

LoggingPlugin.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addNetworkDir(StringBuffer, StringBuffer, String)

Kind	Annotation Text
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}

bool appendLine(String, String)

Kind	Annotation Text
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}

bool appendLine(String, String, Object[])

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

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

Kind	Annotation Text

com.dmdirc.addons.logging.LoggingPlugin$1__static_init

Kind	Annotation Text

com.dmdirc.addons.logging.LoggingPlugin$2__static_init

Kind	Annotation Text
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 < com.dmdirc.actions.CoreActionType:values(...). length@268
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@268 >= 0
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

void com.dmdirc.addons.logging.LoggingPlugin$OpenFile(LoggingPlugin, BufferedWriter)

Kind	Annotation Text
post	init'ed(this.lastUsedTime)
post	init'ed(this.writer)
post	this.writer == writer

com.dmdirc.addons.logging.LoggingPlugin$OpenFile__static_init

Kind	Annotation Text

void com.dmdirc.addons.logging.LoggingPlugin()

Kind	Annotation Text
post	new Hashtable(LoggingPlugin#1) num objects == 1
post	new SimpleDateFormat(LoggingPlugin#2) num objects == 1
post	this.openFiles == &new Hashtable(LoggingPlugin# 1)
post	this.openedAtFormat == &new SimpleDateFormat(Lo ggingPlugin#2)

com.dmdirc.addons.logging.LoggingPlugin__static_init

Kind	Annotation Text

void domainUpdated()

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getAddonIdentity( ...)@105 != null

String getColouredString(String, String)

Kind	Annotation Text
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}

String getDisplayName(ChannelClientInfo)

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

String getDisplayName(ChannelClientInfo, String)

Kind	Annotation Text
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}

String getDisplayName(ClientInfo)

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

String getDisplayName(ClientInfo, String)

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

String getLogFile(Object)

Kind	Annotation Text
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	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(com.dmdirc.logger.ErrorLevel.LOW)
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 com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.security.MessageDigest:update
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}
test_vector	obj: Inverse{null}, Addr_Set{null}

void handleChannelEvent(CoreActionType, StringBuffer, Object[])

Kind	Annotation Text
pre	(soft) arguments.length >= 4
pre	(soft) arguments[3] != null
pre	(soft) init'ed(arguments[1])
pre	(soft) init'ed(arguments[2])
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	arguments != null
pre	arguments[0] != null
pre	type != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@315 != null
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@323 < com.dmdirc.actions.CoreActionType:values(...). length
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@323 >= 0
presumption	com.dmdirc.actions.CoreActionType:values(...). length >= 1
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@325 != null
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	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ MESSAGE)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ SELF_MESSAGE)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.util.Map:get(...).writer@335 != null
presumption	java.util.Map:get(...)@335 != null
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:toS tring
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:instanceo f
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.io.BufferedWriter:flush
unanalyzed	call on java.io.BufferedWriter:newLine
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.FileNotFoundException:getMessage
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on java.io.RandomAccessFile:close
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.text.DateFormat:format
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Stack
unanalyzed	call on java.util.Stack:empty
unanalyzed	call on java.util.Stack:pop
unanalyzed	call on java.util.Stack:push
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}

void handleQueryEvent(CoreActionType, StringBuffer, Object[])

Kind	Annotation Text
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
pre	arguments != null
pre	arguments[0] != null
presumption	com.dmdirc.Query:getServer(...)@249 != null
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@268 < com.dmdirc.actions.CoreActionType:values(...). length
presumption	com.dmdirc.actions.CoreActionType:ordinal(...)@268 >= 0
presumption	com.dmdirc.actions.CoreActionType:values(...). length >= 1
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@254 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@270 != 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	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 com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:instanceo f
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on com.dmdirc.ui.messages.Styliser:stipControl Codes
unanalyzed	call on java.awt.Color:decode
unanalyzed	call on java.io.BufferedWriter
unanalyzed	call on java.io.BufferedWriter:flush
unanalyzed	call on java.io.BufferedWriter:newLine
unanalyzed	call on java.io.BufferedWriter:write
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.FileNotFoundException:getMessage
unanalyzed	call on java.io.FileWriter
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on java.io.RandomAccessFile:close
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.text.DateFormat:format
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Stack
unanalyzed	call on java.util.Stack:empty
unanalyzed	call on java.util.Stack:pop
unanalyzed	call on java.util.Stack:push
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.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.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}

String md5(String)

Kind	Annotation Text
pre	(soft) string != null
presumption	java.security.MessageDigest:getInstance(...)@709 != null
post	return_value != null

void onLoad()

Kind	Annotation Text
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@115 != null
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	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
post	new LoggingCommand(onLoad#2) num objects == 1
post	new Timer(onLoad#4) num objects == 1
post	this.command == &new LoggingCommand(onLoad#2)
post	this.idleFileTimer == &new Timer(onLoad#4)
unanalyzed	call on com.dmdirc.commandparser.CommandManager:reg isterCommand
unanalyzed	call on com.dmdirc.commandparser.commands. ServerCommand
unanalyzed	call on java.util.TimerTask
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}

void onUnload()

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

void processEvent(ActionType, StringBuffer, Object[])

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

void run()

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

String sanitise(String)

Kind	Annotation Text
pre	name != null
post	return_value != null

void showBackBuffer(Window, String)

Kind	Annotation Text
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.awt.Color:decode
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on java.io.RandomAccessFile:close
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.Stack
unanalyzed	call on java.util.Stack:push
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}

void showConfig(PreferencesManager)

Kind	Annotation Text
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)

bool showHistory(InputWindow)

Kind	Annotation Text
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 com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on com.dmdirc.addons.logging.LoggingPlugin:get Domain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:instanceo f
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.RandomAccessFile
unanalyzed	call on java.io.RandomAccessFile:getFilePointer
unanalyzed	call on java.io.RandomAccessFile:length
unanalyzed	call on java.io.RandomAccessFile:read
unanalyzed	call on java.io.RandomAccessFile:seek
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.lang.Byte:valueOf
unanalyzed	call on java.lang.Math:min
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.math.BigInteger
unanalyzed	call on java.math.BigInteger:toString
unanalyzed	call on java.nio.charset.Charset:forName
unanalyzed	call on java.security.MessageDigest:digest
unanalyzed	call on java.security.MessageDigest:getInstance
unanalyzed	call on java.security.MessageDigest:update
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.text.SimpleDateFormat:format
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.Date
test_vector	com.dmdirc.parser.irc.IRCParser:getClientInfo(... )@784: Inverse{null}, Addr_Set{null}
test_vector	java.io.File:exists(...)@797: {1}, {0}

void timerTask()

Kind	Annotation Text
pre	(soft) this.openFiles != null
presumption	file.writer@169 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
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}