Messages

Last Msg First Msg

method	Window getFrame()
post	init'ed(return_value)

call too complex - analysis skipped Info call on InputWindow getFrame()

method	com.dmdirc.WritableFrameContainer__static_init
post	NOTIFICATION_CHANNEL != null
post	NOTIFICATION_SERVER != null

method	void com.dmdirc.WritableFrameContainer(String, ConfigManager)
pre	config != null
presumption	init'ed(com/dmdirc/FrameContainer.java.awt.Color. BLACK)
post	this.changer == &new FrameContainer$IconChanger (FrameContainer#2)
post	this.config == config
post	this.config != null
post	this.icon == icon
post	init'ed(this.icon)
post	this.listeners == &new ListenerList(FrameContai ner#1)
post	this.notification == com/dmdirc/FrameContainer. java.awt.Color.BLACK
post	init'ed(this.notification)
post	new FrameContainer$IconChanger(FrameContainer#2) num objects == 1
post	new ListenerList(FrameContainer#1) num objects == 1
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getFrame
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList

method	List splitLine(String)
pre	line != null
presumption	java.lang.Math:min(...)@103 >= -2³¹+1
post	return_value == &new ArrayList(splitLine#1)
post	new ArrayList(splitLine#1) num objects == 1
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getMaxLineLength
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on splitLine
unanalyzed	call on java.lang.Math:min
test_vector	java.lang.String:indexOf(...)@95: {-2³¹.. -1}, {0..2³²-1}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(arr$.length)

use of default init

Low Prob.

check if init'ed(len$)

test always goes same way

Low Prob.

Test predetermined because i$ == len$

dead code

click for all messages in this file Low Prob.

Dead code here because i$ == len$

Prev Msg Next Msg

call too complex - analysis skipped Info call on int getMaxLineLength()

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that number in {-2³¹+1.. 2³²}

Prev Msg Next Msg

method	int getNumLines(String)
pre	line != null
post	return_value == 0

dead code continues Info Dead code continues

method	void doNotification(String, ActionType, Object[])
pre	actionType != null
pre	args != null
pre	args.length <= 2³²-1
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	this.config != null
pre	(soft) actionType.type != null
pre	(soft) init'ed(args[...])
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	java.util.List:toArray(...).length@168 <= 2³²-1
presumption	java.util.List:toArray(...)@166 != null
presumption	java.util.List:toArray(...)@168 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on getFrame
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on despatchNotification
unanalyzed	call on java.lang.String:equals
unanalyzed	call on addLine
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on addLineToAll
unanalyzed	call on addLineToActive
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on getChildren
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on hasChannel
unanalyzed	call on getChannel
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get ImportantModePrefix
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getIdent
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getHost
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Map
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:getHex
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:instanceof
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getNicknam e
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:ins tanceof
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:parseHostF ull
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on processNotificationArg
unanalyzed	call on com.dmdirc.parser.irc.ChannelInfo:getName
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on trigger
unanalyzed	call on getArity
unanalyzed	call on com.dmdirc.interfaces.ActionListener:proces sEvent
unanalyzed	call on triggerActions
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.Deque:pollFirst
unanalyzed	call on java.lang.Character:instanceof
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.util.Deque:isEmpty
unanalyzed	call on readTerm
unanalyzed	call on java.util.ArrayDeque
unanalyzed	call on java.util.Deque:pollLast
unanalyzed	call on java.util.Deque:addFirst
unanalyzed	call on parseStack
unanalyzed	call on java.util.Deque:poll
unanalyzed	call on java.util.Deque:add
unanalyzed	call on java.util.Deque:size
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on getState
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on getArgTypes
unanalyzed	call on test
unanalyzed	call on evaluate
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:instan ceof
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand

method

void modifyNotificationArgs(List, List)

method	bool processNotificationArg(Object, List)
post	return_value == 0

method	void handleNotification(String, Object[])
pre	this.config != null
pre	(soft) args != null
pre	(soft) args.length <= 2³²-1
pre	(soft) init'ed(args[...])
pre	(soft) com/dmdirc/Main.controller != null
presumption	com.dmdirc.config.ConfigManager:getOption(...)@202 != null
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on getFrame
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on despatchNotification
unanalyzed	call on java.lang.String:equals
unanalyzed	call on addLine
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on addLineToAll
unanalyzed	call on addLineToActive
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on getChildren
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on hasChannel
unanalyzed	call on getChannel
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

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

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

method	void despatchNotification(String, String, Object[])
pre	messageTarget != null
pre	(soft) args != null
pre	(soft) args.length <= 2³²-1
pre	(soft) init'ed(args[...])
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) this.config != null
presumption	com.dmdirc.config.ConfigManager:getOption(...)@227 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@279 != null
presumption	getFrame(...)@279 != null
presumption	getServer(...).channels@245 != null
presumption	getServer(...).channels@276 != null
presumption	getServer(...).channels@291 != null
presumption	getServer(...).channels@292 != null
presumption	getServer(...).converter@291 != null
presumption	getServer(...).converter@292 != null
presumption	getServer(...).queries@245 != null
presumption	getServer(...).window@255 != null
presumption	getServer(...)@243 != null
presumption	getServer(...)@245 != null
presumption	getServer(...)@247 != null
presumption	getServer(...)@251 != null
presumption	getServer(...)@255 != null
presumption	getServer(...)@276 != null
presumption	getServer(...)@291 != null
presumption	getServer(...)@292 != null
presumption	java.lang.String:length(...)@223 <= 4_294_967_287
presumption	java.util.Iterator:next(...)@278 != null
presumption	java.util.Map:get(...)@455 != null
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on getFrame
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on getConfigManager
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on despatchNotification
unanalyzed	call on java.lang.String:equals
unanalyzed	call on addLine
unanalyzed	call on getServer
unanalyzed	call on com.dmdirc.Server:addLine
unanalyzed	call on addLineToAll
unanalyzed	call on addLineToActive
unanalyzed	call on com.dmdirc.ui.WindowManager:findCustomWindo w
unanalyzed	call on com.dmdirc.ui.interfaces.Window:getConfigMa nager
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getWi ndow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:setTitle
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.Window:open
unanalyzed	call on com.dmdirc.ui.interfaces.Window:addLine
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on getChildren
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:getCommandTime
unanalyzed	call on hasChannel
unanalyzed	call on getChannel
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on com.dmdirc.interfaces.IconChangeListener:ic onChanged
unanalyzed	call on com.dmdirc.config.ConfigManager:removeListe ner
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.ui.interfaces.Window:isVisible
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	com.dmdirc.ui.WindowManager:findCustomWindow(... )@251: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@240: {0}, {1}
test_vector	java.lang.String:equals(...)@242: {0}, {1}
test_vector	java.lang.String:equals(...)@244: {0}, {1}
test_vector	java.lang.String:equals(...)@246: {0}, {1}
test_vector	java.lang.String:equals(...)@299: {1}, {0}
test_vector	java.lang.String:startsWith(...)@220: {0}, {1}
test_vector	java.lang.String:startsWith(...)@226: {0}, {1}
test_vector	java.lang.String:startsWith(...)@232: {0}, {1}
test_vector	java.lang.String:startsWith(...)@248: {0}, {1}
test_vector	java.lang.String:startsWith(...)@260: {0}, {1}
test_vector	java.lang.String:startsWith(...)@288: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@278: {0}, {1}
test_vector	java.util.Map:containsKey(...)@445: {0}, {1}

call too complex - analysis skipped Info call on Server getServer()

method not available - call not analyzed Info call on void com.dmdirc.Server:addLine(String, Object[])

call too complex - analysis skipped Info call on Server getServer()

call too complex - analysis skipped Info call on Server getServer()

method not available - call not analyzed Info call on Window com.dmdirc.ui.WindowManager:findCust omWindow(Window, String)

call too complex - analysis skipped Info call on Server getServer()

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

call too complex - analysis skipped Info call on Server getServer()

call too complex - analysis skipped Info call on InputWindow getFrame()

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

method not available - call not analyzed Info call on long com.dmdirc.commandparser.parsers. CommandParser:getCommandTime(String)

call too complex - analysis skipped Info call on Server getServer()

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 bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)
	method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

	call too complex - analysis skipped	Info	call on Server getServer()
	method not available - call not analyzed	Info	call on void com.dmdirc.Server:addLine(String, Object[])

call too complex - analysis skipped	Info	call on InputWindow getFrame()
method not available - call not analyzed	Info	call on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()
method not available - call not analyzed	Info	call on long com.dmdirc.commandparser.parsers. CommandParser:getCommandTime(String)