Messages

method

com.dmdirc.Main$2__static_init

method

com.dmdirc.Main$1__static_init

method

com.dmdirc.Main__static_init

method

void com.dmdirc.Main()

method	void main(String[])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.FATAL)

call too complex - analysis skipped Info call on void init(String[])

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

method	void init(String[])
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
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_init #1).type != null
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
pre	(soft) controller != null
pre	(soft) init'ed(com/dmdirc/ServerManager.me)
pre	(soft) init'ed(configdir)
presumption	arr$.length@95 <= 2³²-1
presumption	arr$[i$]@95 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@120 != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@108 != null
presumption	java.lang.Runtime:getRuntime(...)@140 != null
presumption	init'ed(java.util.logging.Level.OFF)
presumption	java.util.logging.Logger:getHandlers(...)@95 != null
presumption	java.util.logging.Logger:getLogger(...)@95 != null
post	com/dmdirc/GlobalWindow.globalWindow == One-of{old com/dmdirc/GlobalWindow.globalWindow, &new GlobalWindow(init#1*)}
post	possibly_updated(com/dmdirc/ServerManager.me)
post	init'ed(com/dmdirc/actions/wrappers/AliasWrapper. me)
post	init'ed(configdir)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new AliasWrapper(getAliasWrapper#1) num objects == 0
post	new ArrayList(ActionGroup#1) num objects == 0
post	new ArrayList(AliasWrapper#1) num objects == 0
post	new HashMap(ActionGroup#2) num objects == 0
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	init'ed(new AliasWrapper(getAliasWrapper#1). actions)
post	new AliasWrapper(getAliasWrapper#1).aliases == &new ArrayList(AliasWrapper#1)
post	init'ed(new AliasWrapper(getAliasWrapper#1). aliases)
post	new AliasWrapper(getAliasWrapper#1).author == null
post	new AliasWrapper(getAliasWrapper#1).description == null
post	init'ed(new AliasWrapper(getAliasWrapper#1). author)
post	new AliasWrapper(getAliasWrapper#1).component == -1
post	new AliasWrapper(getAliasWrapper#1).version == -1
post	init'ed(new AliasWrapper(getAliasWrapper#1). component)
post	init'ed(new AliasWrapper(getAliasWrapper#1). description)
post	new AliasWrapper(getAliasWrapper#1).name == &"aliases"
post	init'ed(new AliasWrapper(getAliasWrapper#1).name)
post	new AliasWrapper(getAliasWrapper#1).settings == &new HashMap(ActionGroup#2)
post	init'ed(new AliasWrapper(getAliasWrapper#1). settings)
post	init'ed(new AliasWrapper(getAliasWrapper#1). version)
post	init'ed(new ArrayList(ServerManager#1) num objects)
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 FrameContainer$IconChanger(FrameContainer#2) num objects <= 1
post	new GlobalWindow(init#1*) num objects == new FrameContainer$IconChanger(FrameContainer#2) num objects
post	new ListenerList(FrameContainer#1) num objects == new FrameContainer$IconChanger(FrameContainer#2) num objects
post	new TabCompleter(GlobalWindow#1) num objects == new FrameContainer$IconChanger(FrameContainer#2) num objects
post	init'ed(new GlobalWindow(init#1*).changer)
post	init'ed(new GlobalWindow(init#1*).config)
post	init'ed(new GlobalWindow(init#1*).icon)
post	init'ed(new GlobalWindow(init#1*).listeners)
post	init'ed(new GlobalWindow(init#1*).notification)
post	init'ed(new GlobalWindow(init#1*).tabCompleter)
post	init'ed(new GlobalWindow(init#1*).window)
post	init'ed(new ServerManager(getServerManager#1) num objects)
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 java.lang.System:getProperty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getConfigDir
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.plugins.PluginManager:getService sByType
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPossibl ePluginInfos
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.plugins.Service:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.plugins.Service:activate
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on com.dmdirc.ui.NoUIDialog:displayBlocking
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.config.IdentityManager:getConfig Identity
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:showF irstRunWizard
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
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 values
unanalyzed	call on com.dmdirc.actions.ActionGroup
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.config.ConfigManager:addChangeLi stener
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.util.Map:containsKey
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 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:createNewFile
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
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.WritableFrameContainer
unanalyzed	call on com.dmdirc.ui.input.TabCompleter
unanalyzed	call on com.dmdirc.commandparser.CommandManager:get CommandNames
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntries
unanalyzed	call on getUI
unanalyzed	call on com.dmdirc.commandparser.parsers. GlobalCommandParser:getGlobalCommandParser
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getIn putWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:setTit le
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getInp utHandler
unanalyzed	call on com.dmdirc.ui.input.InputHandler:setTabComp leter
unanalyzed	call on com.dmdirc.ui.WindowManager:addWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:open
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on loadActionFromConfig
unanalyzed	call on com.dmdirc.util.InvalidConfigFileException: getMessage
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.ConfigManager:getOptions
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 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.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on com.dmdirc.commandparser.parsers. CommandParser:parseCommand
unanalyzed	call on com.dmdirc.FrameContainer
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
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.util.ListenerList

method not available - call not analyzed Info call on void com.dmdirc.logger.DMDircExceptionHandl er()

method not available - call not analyzed Info call on void com.dmdirc.config.IdentityManager:load Version()

method not available - call not analyzed Info call on void com.dmdirc.commandline. CommandLineParser(String[])

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

method not available - call not analyzed Info call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()

method not available - call not analyzed Info call on void com.dmdirc.ui.themes.ThemeManager:load Themes()

method not available - call not analyzed Info call on void com.dmdirc.commandline. CommandLineParser:applySettings()

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

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.plugins.PluginManager:doAut oLoad()

method not available - call not analyzed Info call on MainWindow com.dmdirc.ui.interfaces. UIController:getMainWindow()

method not available - call not analyzed Info call on void com.dmdirc.updater.UpdateChecker:init( )

method not available - call not analyzed Info call on void com.dmdirc.commandline. CommandLineParser:processArguments()

method

void com.dmdirc.Main$1()

method	void run()
pre	init'ed(com/dmdirc/actions/ActionManager. killSwitch)
pre	init'ed(com/dmdirc/ServerManager.me)
pre	(soft) init'ed(com.dmdirc.Server$4__static_init. new int[](Server$4__static_init#1)[...])
pre	(soft) com.dmdirc.actions.CoreActionType__static_ init.new CoreActionType(CoreActionType__static_init #2).type != null
presumption	getServerManager(...).servers != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	com/dmdirc/ServerManager.me != null
post	new ArrayList(ServerManager#1) num objects <= 1
post	new ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
post	new ArrayList(ServerManager#1) num objects == undefined
post	new ArrayList(ServerManager#1) num objects == 0, if init'ed
post	new ServerManager(getServerManager#1).servers == &new ArrayList(ServerManager#1)
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 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 triggerActions
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on disconnect
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.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
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on setIcon
unanalyzed	call on getConfigManager
unanalyzed	call on updateIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on removeInvites
unanalyzed	call on clearChannels
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on close
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
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.ui.interfaces.Window:close

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

method	void ensureExists(PluginManager, String)
pre	pm != null
pre	(soft) init'ed(configdir)
presumption	com.dmdirc.plugins.PluginManager:getServicesByType( ...)@161 != null
post	init'ed(configdir)
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes
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.lang.String:substring
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:userError
test_vector	java.util.List:isEmpty(...)@161: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.plugins.PluginManager:getSe rvicesByType(String)

method not available - call not analyzed Info call on List com.dmdirc.plugins.PluginManager:getPo ssiblePluginInfos(bool)

method	void loadUI(PluginManager, ConfigManager)
pre	cm != null
pre	pm != null
presumption	com.dmdirc.plugins.PluginManager:getServicesByType( ...)@175 != null
presumption	com.dmdirc.plugins.Service:getName(...)@180 != null
presumption	java.awt.GraphicsEnvironment:isHeadless(...)@192 == 0
presumption	java.util.Iterator:next(...)@179 != null
presumption	java.util.Iterator:next(...)@186 != null
test_vector	com.dmdirc.plugins.Service:activate(...)@180: {0}, {1}
test_vector	com.dmdirc.plugins.Service:activate(...)@187: {0}, {1}
test_vector	java.lang.String:equals(...)@180: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@179: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@186: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.plugins.PluginManager:getSe rvicesByType(String)

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

method not available - call not analyzed Info call on String com.dmdirc.plugins.Service:getName()

method not available - call not analyzed Info call on bool com.dmdirc.plugins.Service:activate()

method not available - call not analyzed Info call on bool com.dmdirc.plugins.Service:activate()

method not available - call not analyzed Info call on void com.dmdirc.ui.NoUIDialog:displayBlocki ng()

method	void doFirstRun()
pre	(soft) controller != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@207 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@206 != null
unanalyzed	call on java.util.TimerTask
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@206: {0}, {1}

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

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

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

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

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. UIController:showFirstRunWizard()

method

void com.dmdirc.Main$2()

method	void run()
pre	com/dmdirc/Main.controller != null

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. UIController:showFeedbackNag()

method	void quit()
pre	init'ed(com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...])
pre	init'ed(com/dmdirc/ServerManager.me)
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	com/dmdirc/ServerManager.me != null
post	new ArrayList(ServerManager#1) num objects <= 1
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.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on disconnect
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on updateIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on removeInvites
unanalyzed	call on clearChannels
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on close
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on getFrame
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.ui.interfaces.Window:close

method	void quit(int)
pre	init'ed(com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...])
pre	init'ed(com/dmdirc/ServerManager.me)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@234 != null
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	com/dmdirc/ServerManager.me != null
post	new ArrayList(ServerManager#1) num objects <= 1
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 java.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on disconnect
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on updateIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on removeInvites
unanalyzed	call on clearChannels
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on close
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on getFrame
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.ui.interfaces.Window:close

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

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

method	void quit(String)
pre	init'ed(com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...])
pre	init'ed(com/dmdirc/ServerManager.me)
post	com/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
post	com/dmdirc/ServerManager.me != null
post	new ArrayList(ServerManager#1) num objects <= 1
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 java.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on disconnect
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on updateIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on removeInvites
unanalyzed	call on clearChannels
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on close
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on getFrame
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.ui.interfaces.Window:close

method	void quit(String, int)
pre	init'ed(com.dmdirc.Server$4__static_init.new int[](Server$4__static_init#1)[...])
pre	init'ed(com/dmdirc/ServerManager.me)
presumption	getServerManager(...).servers != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:iterator
unanalyzed	call on disconnect
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.interfaces.InviteListener:invite Expired
unanalyzed	call on setIcon
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on getConfigManager
unanalyzed	call on updateIcon
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on com.dmdirc.parser.irc.ServerInfo:getSSL
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on com.dmdirc.ServerState:ordinal
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on com.dmdirc.util.RollingList:getList
unanalyzed	call on com.dmdirc.ServerState:name
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getStackTrace
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on removeInvites
unanalyzed	call on clearChannels
unanalyzed	call on java.lang.Thread:interrupt
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:disconnect
unanalyzed	call on closeChannels
unanalyzed	call on closeQueries
unanalyzed	call on close
unanalyzed	call on com.dmdirc.ui.interfaces.ChannelWindow:upda teNames
unanalyzed	call on com.dmdirc.ui.IconManager:getIconManager
unanalyzed	call on com.dmdirc.ui.IconManager:getIcon
unanalyzed	call on getFrame
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.ui.interfaces.Window:close

method	UIController getUI()
pre	init'ed(controller)
post	return_value == controller
post	init'ed(return_value)

method	void setUI(UIController)
pre	controller == null
post	controller == newController
post	init'ed(controller)

method	String getConfigDir()
pre	init'ed(configdir)
presumption	java.lang.System:getProperty(...)@290 != null
post	configdir == One-of{old configdir, &java.lang. StringBuilder:toString(...)}
post	configdir != null
post	return_value == configdir
post	java.lang.StringBuilder:toString(...)._tainted == 0
test_vector	configdir: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:startsWith(...)@291: {0}, {1}
test_vector	java.lang.String:startsWith(...)@294: {0}, {1}
test_vector	java.lang.System:getenv(...)@295: Inverse{null}, Addr_Set{null}

method	void setConfigDir(String)
post	configdir == newdir
post	init'ed(configdir)

method	void extractCorePlugins(String)
pre	(soft) init'ed(configdir)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@325 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@348 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWithAsBytes(...)@325 != null
presumption	java.lang.String:lastIndexOf(...)@343 <= 2³²-2
presumption	java.util.Iterator:next(...)@327 != null
presumption	java.util.Map:entrySet(...)@327 != null
presumption	java.util.Map_Entry:getKey(...)@329 != null
presumption	java.util.Map_Entry:getKey(...)@332 != null
post	init'ed(configdir)
post	java.lang.StringBuilder:toString(...)._tainted == 0
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.System:getenv
test_vector	prefix: Addr_Set{null}, Inverse{null}
test_vector	java.io.File:exists(...)@339: {1}, {0}
test_vector	java.io.File:isDirectory(...)@347: {1}, {0}
test_vector	java.lang.String:startsWith(...)@332: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@327: {0}, {1}

method not available - call not analyzed Info call on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )

method not available - call not analyzed Info call on Map com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes(Str ing)

method not available - call not analyzed Info call on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )

method not available - call not analyzed Info call on void com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile(byte[], File)

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

	method not available - call not analyzed	Info	call on String com.dmdirc.plugins.Service:getName()
	method not available - call not analyzed	Info	call on bool com.dmdirc.plugins.Service:activate()

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

	method not available - call not analyzed	Info	call on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )
	method not available - call not analyzed	Info	call on Map com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWithAsBytes(Str ing)