Messages

Last Msg First Msg

method

com.dmdirc.actions.ActionManager$2__static_init

method

com.dmdirc.actions.ActionManager$1__static_init

method	bool access$002(bool)
post	killSwitch == x0
post	init'ed(killSwitch)
post	return_value == killSwitch

method	com.dmdirc.actions.ActionManager__static_init
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@84 != null
post	actionComparisons == &new ArrayList(ActionManag er__static_init#3)
post	actionComponents == &new ArrayList(ActionManage r__static_init#2)
post	actionTypeGroups == &new MapList(ActionManager_ _static_init#6)
post	actionTypes == &new ArrayList(ActionManager__ static_init#1)
post	actions == &new MapList(ActionManager__static_ init#4)
post	groups == &new HashMap(ActionManager__static_ init#5)
post	init'ed(killSwitch)
post	listeners == &new MapList(ActionManager__ static_init#7)
post	new ArrayList(ActionManager__static_init#1) num objects == 1
post	new ArrayList(ActionManager__static_init#2) num objects == 1
post	new ArrayList(ActionManager__static_init#3) num objects == 1
post	new HashMap(ActionManager__static_init#5) num objects == 1
post	new MapList(ActionManager__static_init#4) num objects == 1
post	new MapList(ActionManager__static_init#6) num objects == 1
post	new MapList(ActionManager__static_init#7) num objects == 1

method not available - call not analyzed Info call on void com.dmdirc.util.MapList()

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

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

method

void com.dmdirc.actions.ActionManager()

method	void init()
pre	com/dmdirc/actions/wrappers/PerformWrapper.me != null
pre	init'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
pre	(soft) init'ed(com.dmdirc.actions.CoreActionCompari son__static_init.new CoreActionComparison[](CoreAct ionComparison__static_init#13)[...])
pre	(soft) init'ed(com.dmdirc.actions.CoreActionCompone nt__static_init.new CoreActionComponent[](CoreActio nComponent__static_init#28)[...])
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType[](CoreActionType__static_in it#74)[...] != null
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType[](CoreActionType__static_in it#74)[...].type != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@114 != null
post	com/dmdirc/actions/wrappers/AliasWrapper.me == One-of{old com/dmdirc/actions/wrappers/AliasWrappe r.me, &new AliasWrapper(getAliasWrapper#1)}
post	com/dmdirc/actions/wrappers/AliasWrapper.me != null
post	new AliasWrapper(getAliasWrapper#1) num objects <= 1
post	new ArrayList(ActionGroup#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new ArrayList(AliasWrapper#1) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new HashMap(ActionGroup#2) num objects == new AliasWrapper(getAliasWrapper#1) num objects
post	new AliasWrapper(getAliasWrapper#1).actions == &new ArrayList(ActionGroup#1)
post	new AliasWrapper(getAliasWrapper#1).aliases == &new ArrayList(AliasWrapper#1)
post	new AliasWrapper(getAliasWrapper#1).author == null
post	new AliasWrapper(getAliasWrapper#1).description == null
post	new AliasWrapper(getAliasWrapper#1).component == -1
post	new AliasWrapper(getAliasWrapper#1).version == -1
post	new AliasWrapper(getAliasWrapper#1).name == &"aliases"
post	new AliasWrapper(getAliasWrapper#1).settings == &new HashMap(ActionGroup#2)
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on getType
unanalyzed	call on getGroup
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap

method

void com.dmdirc.actions.ActionManager$1()

method	void processEvent(ActionType, StringBuffer, Object[])
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.util.List:iterator
unanalyzed	call on save
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
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 com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.util.Arrays:toString
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:write
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.io.IOException:getMessage

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

method not available - call not analyzed Info call on void com.dmdirc.config.ConfigManager:addCha ngeListener(String, String, ConfigChangeListener)

method

void com.dmdirc.actions.ActionManager$2()

method	void configChanged(String, String)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@119 != null
post	init'ed(com/dmdirc/actions/ActionManager. killSwitch)

method	void saveActions()
presumption	group.actions@129 != null
presumption	java.util.Iterator:next(...)@129 != null
presumption	java.util.Iterator:next(...)@130 != null
presumption	java.util.Map:values(...)@129 != null
unanalyzed	call on java.util.List:iterator
test_vector	java.util.Iterator:hasNext(...)@129: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@130: {0}, {1}

call too complex - analysis skipped Info call on void save()

method	void registerDefault(String, String)
presumption	com.dmdirc.config.IdentityManager:getAddonIdentity( ...)@143 != 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 void com.dmdirc.config.Identity:setOption(S tring, String, String)

method	void registerGroup(ActionGroup)
pre	group != null

method	void registerActionTypes(ActionType[])
pre	types != null
pre	types.length <= 2³²-1
pre	(soft) types[...] != null
pre	(soft) types[...].type != null
presumption	getType(...)@167 != getType(...)
test_vector	java.util.List:contains(...)@165: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

call too complex - analysis skipped Info call on String getGroup()

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object, Object)

method	void registerActionComponents(ActionComponent[])
pre	comps != null
pre	comps.length <= 2³²-1
pre	(soft) init'ed(comps[...])

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method	void registerActionComparisons(ActionComparison[])
pre	comps != null
pre	comps.length <= 2³²-1
pre	(soft) init'ed(comps[...])

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method	Map getGroups()
post	return_value == &new HashMap(ActionManager__ static_init#5)

method	MapList getTypeGroups()
post	return_value == &new MapList(ActionManager__ static_init#6)

method	void loadActions()
pre	init'ed(com/dmdirc/Main.configdir)
presumption	arr$.length@243 <= 2³²-1
presumption	arr$[i$]@243 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	group.actions@224 != null
presumption	group.settings@224 != null
presumption	java.io.File:listFiles(...)@243 != null
presumption	java.util.Iterator:next(...)@224 != null
presumption	java.util.Map:values(...)@224 != null
post	possibly_updated(com/dmdirc/Main.configdir)
post	possibly_updated(com/dmdirc/ServerManager.me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getConfigDir
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on com.dmdirc.actions.Action
unanalyzed	call on com.dmdirc.updater.components. ActionGroupComponent
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on remove
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on getCommandName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.util.Map:clear
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on loadActionFromConfig
unanalyzed	call on com.dmdirc.util.InvalidConfigFileException: getMessage
test_vector	java.io.File:exists(...)@230: {1}, {0}
test_vector	java.io.File:isDirectory(...)@244: {0}, {1}
test_vector	java.io.File:listFiles(...)@240: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@224: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:clear()

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

method	void registerComponents()
presumption	java.util.Map:values(...)@257 != null
test_vector	java.util.Iterator:hasNext(...)@257: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.updater.components. ActionGroupComponent(ActionGroup)

method	void loadActions(File)
pre	dir != null
pre	(soft) init'ed(com/dmdirc/Main.configdir)
presumption	arr$.length@276 <= 2³²-1
presumption	arr$[i$]@276 != null
presumption	java.io.File:listFiles(...)@276 != null
post	init'ed(com/dmdirc/Main.configdir)
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on getConfigDir
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on loadActionFromConfig
unanalyzed	call on com.dmdirc.util.InvalidConfigFileException: getMessage
test_vector	java.util.Map:containsKey(...)@272: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method	void registerAction(Action)
pre	action != null
pre	init'ed(action.group)
pre	action.triggers != null
pre	action.triggers.length <= 2³²-1
pre	(soft) init'ed(action.triggers[0])
pre	(soft) init'ed(action.triggers[...])
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	getGroup(...).actions != null
presumption	java.util.Map:get(...)@309 != null
post	init'ed(com/dmdirc/ServerManager.me)
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects <= 1
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTabCompleter
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:size
unanalyzed	call on add
unanalyzed	call on getName
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.util.List:add
unanalyzed	call on getGlobalWindow
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(arr$.length)

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object, Object)

method	ActionGroup getGroup(String)
post	init'ed(return_value)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
test_vector	java.util.Map:containsKey(...)@305: {1}, {0}

method	void unregisterAction(Action)
pre	action != null
pre	init'ed(action.group)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	getGroup(...).actions != null
presumption	java.util.Map:get(...)@309 != null
post	init'ed(com/dmdirc/ServerManager.me)
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects <= 1
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:remove
unanalyzed	call on remove
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on getCommandName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.util.Map:get

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:removeFromAll( Object)

method	void reregisterAction(Action)
pre	action != null
pre	init'ed(action.group)
pre	action.triggers != null
pre	action.triggers.length <= 2³²-1
pre	(soft) init'ed(action.triggers[0])
pre	(soft) init'ed(action.triggers[...])
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
post	init'ed(com/dmdirc/ServerManager.me)
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects <= 1
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:remove
unanalyzed	call on remove
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on getCommandName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.util.Map:get
unanalyzed	call on getGroup
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:size
unanalyzed	call on add
unanalyzed	call on getName
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.util.List:add
unanalyzed	call on getGlobalWindow
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll

method	void deleteAction(Action)
pre	action != null
pre	init'ed(action.group)
pre	init'ed(action.location)
pre	init'ed(action.name)
pre	init'ed(killSwitch)
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #73).type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
post	init'ed(com/dmdirc/ServerManager.me)
post	new ArrayList(ServerManager#1) num objects <= 1
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) num objects <= 1
post	init'ed(new ServerManager(getServerManager#1). servers)
post	new ServerManager(getServerManager#1).servers == undefined
post	new ServerManager(getServerManager#1).servers == null
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:remove
unanalyzed	call on remove
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on getCommandName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.util.Map:get
unanalyzed	call on getGroup
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
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.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:delete
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:length
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.Throwable:__curr_excep_obj
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 java.lang.String:split
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on getServer
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 getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on getFrame
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.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method	void processEvent(ActionType, StringBuffer, Object[])
pre	arguments != null
pre	init'ed(killSwitch)
pre	type != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) type.type != null
presumption	java.util.ArrayList:iterator(...)@371 != null
presumption	java.util.Iterator:next(...)@371 != null
post	com/dmdirc/ServerManager.me == old com/dmdirc/Serve rManager.me
post	format._tainted == old format._tainted
post	init'ed(format._tainted)
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
test_vector	killSwitch: {1}, {0}
test_vector	com.dmdirc.util.MapList:containsKey(...)@369: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@371: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

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

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

method not available - call not analyzed Info call on List com.dmdirc.util.MapList:get(Object)

method not available - call not analyzed Info call on void com.dmdirc.interfaces.ActionListener:p rocessEvent(ActionType, StringBuffer, Object[])

call too complex - analysis skipped Info call on void triggerActions(ActionType, StringBuffer, Object[])

method	void triggerActions(ActionType, StringBuffer, Object[])
pre	(soft) arguments != null
pre	(soft) init'ed(arguments[0])
pre	(soft) init'ed(arguments[1])
pre	(soft) arguments[1].length in {1..2³²-1}
pre	(soft) init'ed(arguments[2])
pre	(soft) arguments[2].length in {1..2³²-1}
pre	(soft) init'ed(arguments[...])
pre	(soft) init'ed(com.dmdirc.actions.ConditionTree$1__ static_init.new int[](ConditionTree$1__static_init# 1)[...])
pre	(soft) com/dmdirc/Main.controller != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	action.conditions@395 != null
presumption	action.response.length@395 <= 2³²-1
presumption	action.response@395 != null
presumption	action.triggers.length@395 >= 1
presumption	action.triggers@395 != null
presumption	action.triggers[0].type@395 != null
presumption	action.triggers[0]@395 != null
presumption	java.util.ArrayList:iterator(...)@395 != null
presumption	java.util.Iterator:next(...)@395 != null
post	init'ed(com/dmdirc/ServerManager.me)
post	init'ed(format._tainted)
post	new ArrayList(ServerManager#1) num objects == 0
post	new ServerManager(getServerManager#1) num objects == 0
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:add
unanalyzed	call on getType
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on appliesTo
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:length
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.Throwable:__curr_excep_obj
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 java.lang.String:split
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on getServer
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 getUI
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on getFrame
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.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
test_vector	com.dmdirc.util.MapList:containsKey(...)@394: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@395: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method not available - call not analyzed Info call on bool com.dmdirc.util.MapList:containsKey(Ob ject)

method not available - call not analyzed Info call on List com.dmdirc.util.MapList:get(Object)

method	String getDirectory()
pre	init'ed(com/dmdirc/Main.configdir)
post	com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
post	com/dmdirc/Main.configdir != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv

method	ActionGroup makeGroup(String)
pre	group != null
pre	init'ed(com/dmdirc/Main.configdir)
presumption	java.io.File:mkdir(...)@427 == 1
post	com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
post	com/dmdirc/Main.configdir != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &new ActionGroup(makeGroup#3)
post	new ActionGroup(makeGroup#3) num objects == 1
post	new ActionGroup(makeGroup#3).actions == &new ArrayList(ActionGroup#1)
post	init'ed(new ActionGroup(makeGroup#3).author)
post	init'ed(new ActionGroup(makeGroup#3).component)
post	init'ed(new ActionGroup(makeGroup#3).description)
post	new ActionGroup(makeGroup#3).name == group
post	new ActionGroup(makeGroup#3).name != null
post	new ActionGroup(makeGroup#3).settings == &new HashMap(ActionGroup#2)
post	init'ed(new ActionGroup(makeGroup#3).version)
post	new ArrayList(ActionGroup#1) num objects == 1
post	new HashMap(ActionGroup#2) num objects == 1
unanalyzed	call on getConfigDir
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv
test_vector	java.io.File:isDirectory(...)@427: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method	void removeGroup(String)
pre	group != null
pre	init'ed(com/dmdirc/Main.configdir)
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	arr$.length@458 <= 2³²-1
presumption	arr$[i$]@458 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.io.File:listFiles(...)@458 != null
presumption	java.util.Iterator:next(...)@451 != null
presumption	java.util.Map:get(...)@451 != null
post	com/dmdirc/Main.configdir == One-of{old com/dmdirc/Main.configdir, &java.lang. StringBuilder:toString(...)}
post	com/dmdirc/Main.configdir != null
post	init'ed(com/dmdirc/ServerManager.me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.Map:put
unanalyzed	call on getConfigDir
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:remove
unanalyzed	call on remove
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on getCommandName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.util.Map:get
unanalyzed	call on getGroup
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv
test_vector	java.io.File:delete(...)@459: {1}, {0}
test_vector	java.io.File:delete(...)@467: {1}, {0}
test_vector	java.io.File:isDirectory(...)@457: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@451: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

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

method	void renameGroup(String, String)
pre	newName != null
pre	init'ed(com/dmdirc/Main.configdir)
pre	oldName != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
presumption	getGroup(...).actions != null
presumption	java.util.Iterator:next(...)@500 != null
presumption	java.util.Map:get(...)@309 != null
presumption	java.util.Map:get(...)@500 != null
post	com/dmdirc/Main.configdir != null
post	init'ed(com/dmdirc/ServerManager.me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getType
unanalyzed	call on java.util.Map:put
unanalyzed	call on save
unanalyzed	call on getConfigDir
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.util.List:remove
unanalyzed	call on remove
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on getCommandName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.io.File
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.util.Map:get
unanalyzed	call on getGroup
unanalyzed	call on java.util.List:get
unanalyzed	call on java.util.List:size
unanalyzed	call on add
unanalyzed	call on getName
unanalyzed	call on java.util.List:add
unanalyzed	call on getGlobalWindow
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.util.MapList:removeFromAll
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 java.lang.String:isEmpty
unanalyzed	call on java.io.File:mkdir
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.io.File:delete
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.util.Arrays:toString
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on com.dmdirc.actions.ConditionTree$OPERATION: ordinal
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:write
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on java.io.File:mkdirs
test_vector	java.util.Iterator:hasNext(...)@500: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method	ActionType getActionType(String)
presumption	java.lang.Enum:name(...)@522 != null
presumption	java.util.Iterator:next(...)@521 != null
post	init'ed(return_value)
test_vector	type: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@522: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@517: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@521: {0}, {1}

method	List getCompatibleTypes(ActionType)
pre	(soft) type != null
presumption	java.util.Iterator:next(...)@542 != null
presumption	target.type@542 != null
post	return_value == &new ArrayList(getCompatibleTyp es#1)
post	new ArrayList(getCompatibleTypes#1) num objects == 1
test_vector	java.lang.Object:equals(...)@543: {1}, {0}
test_vector	java.lang.Object:equals(...)@543: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@542: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method	List getCompatibleComponents(Class)
presumption	appliesTo(...)@564 != null
presumption	java.util.Iterator:next(...)@563 != null
post	return_value == &new ArrayList(getCompatibleCom ponents#1)
post	new ArrayList(getCompatibleComponents#1) num objects == 1
test_vector	java.lang.Object:equals(...)@564: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@563: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

call too complex - analysis skipped Info call on Class appliesTo()

method	List getCompatibleComparisons(Class)
presumption	appliesTo(...)@585 != null
presumption	java.util.Iterator:next(...)@584 != null
post	return_value == &new ArrayList(getCompatibleCom parisons#1)
post	new ArrayList(getCompatibleComparisons#1) num objects == 1
test_vector	java.lang.Object:equals(...)@585: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@584: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

call too complex - analysis skipped Info call on Class appliesTo()

method	List getTypes()
post	return_value == &new ArrayList(ActionManager__ static_init#1)

method	List getComparisons()
post	return_value == &new ArrayList(ActionManager__ static_init#3)

method	ActionComponent getActionComponent(String)
pre	type != null
presumption	java.lang.Enum:name(...)@624 != null
presumption	java.util.Iterator:next(...)@623 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@624: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@623: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method	ActionComparison getActionComparison(String)
pre	type != null
presumption	java.lang.Enum:name(...)@645 != null
presumption	java.util.Iterator:next(...)@644 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@645: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@644: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:assertTrue(bo ol)

method	void installActionPack(String)
pre	init'ed(com/dmdirc/Main.configdir)
presumption	com.dmdirc.util.resourcemanager.ZipResourceManager: getInstance(...)@660 != null
post	init'ed(com/dmdirc/Main.configdir)
post	possibly_updated(com/dmdirc/ServerManager.me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(new ArrayList(ServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1) num objects)
post	init'ed(new ServerManager(getServerManager#1). servers)
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getConfigDir
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on com.dmdirc.actions.Action
unanalyzed	call on com.dmdirc.updater.components. ActionGroupComponent
unanalyzed	call on com.dmdirc.util.MapList:clear
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on remove
unanalyzed	call on getTriggers
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on getCommandName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTabCompleter
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on getConditions
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandChar
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on loadActionFromConfig
unanalyzed	call on com.dmdirc.util.InvalidConfigFileException: getMessage

method not available - call not analyzed Info call on ZipResourceManager com.dmdirc.util. resourcemanager.ZipResourceManager:getInstance(Stri ng)

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 getDirectory

method not available - call not analyzed Info call on void com.dmdirc.util.resourcemanager. ZipResourceManager:extractResources(String, String)

Prev Msg Next Msg

method	void addListener(ActionListener, ActionType[])
pre	types != null
pre	types.length <= 2³²-1
pre	(soft) init'ed(types[...])

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:add(Object, Object)

method	void removeListener(ActionListener, ActionType[])
pre	types != null
pre	types.length <= 2³²-1
pre	(soft) init'ed(types[...])

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:remove(Object, Object)

method

void removeListener(ActionListener)

method not available - call not analyzed Info call on void com.dmdirc.util.MapList:removeFromAll( Object)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	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 Identity com.dmdirc.config.IdentityManager: getAddonIdentity()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

	call too complex - analysis skipped	Info	call on String getGroup()
	method not available - call not analyzed	Info	call on void com.dmdirc.util.MapList:add(Object, Object)

	call too complex - analysis skipped	Info	call on int getArity()
	method not available - call not analyzed	Info	call on void com.dmdirc.logger.Logger:assertTrue(bo ol)