Messages

Last Msg First Msg

method	com.dmdirc.commandline.CommandLineParser__static_ init
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	init'ed(java.lang.Boolean.TRUE)
post	ARGUMENTS == &new Object[][](CommandLineParser_ _static_init#1)
post	new Object[](CommandLineParser__static_init#10) num objects == 1
post	new Object[](CommandLineParser__static_init#2) num objects == 1
post	new Object[](CommandLineParser__static_init#3) num objects == 1
post	new Object[](CommandLineParser__static_init#4) num objects == 1
post	new Object[](CommandLineParser__static_init#5) num objects == 1
post	new Object[](CommandLineParser__static_init#6) num objects == 1
post	new Object[](CommandLineParser__static_init#7) num objects == 1
post	new Object[](CommandLineParser__static_init#8) num objects == 1
post	new Object[](CommandLineParser__static_init#9) num objects == 1
post	new Object[][](CommandLineParser__static_init#1) num objects == 1
post	ARGUMENTS[8].length == 4
post	ARGUMENTS[0].length == 4
post	ARGUMENTS[1].length == 4
post	ARGUMENTS[2].length == 4
post	ARGUMENTS[3].length == 4
post	ARGUMENTS[4].length == 4
post	ARGUMENTS[5].length == 4
post	ARGUMENTS[6].length == 4
post	ARGUMENTS[7].length == 4
post	init'ed(ARGUMENTS[8][0])
post	ARGUMENTS[8][1] == &"check"
post	ARGUMENTS[8][2] == &"Check if an existing instance of DMDirc exists."
post	ARGUMENTS[8][3] == java.lang.Boolean.FALSE
post	init'ed(ARGUMENTS[8][3])
post	ARGUMENTS[2][3] == ARGUMENTS[8][3]
post	ARGUMENTS[3][3] == ARGUMENTS[8][3]
post	ARGUMENTS[5][3] == ARGUMENTS[8][3]
post	ARGUMENTS[6][3] == ARGUMENTS[8][3]
post	ARGUMENTS[7][3] == ARGUMENTS[8][3]
post	init'ed(ARGUMENTS[0][0])
post	ARGUMENTS[0][1] == &"connect"
post	ARGUMENTS[0][2] == &"Connect to the specified server"
post	ARGUMENTS[0][3] == java.lang.Boolean.TRUE
post	init'ed(ARGUMENTS[0][3])
post	ARGUMENTS[1][3] == ARGUMENTS[0][3]
post	ARGUMENTS[4][3] == ARGUMENTS[0][3]
post	init'ed(ARGUMENTS[1][0])
post	ARGUMENTS[1][1] == &"directory"
post	ARGUMENTS[1][2] == &"Use the specified configuration directory"
post	init'ed(ARGUMENTS[2][0])
post	ARGUMENTS[2][1] == &"existing"
post	ARGUMENTS[2][2] == &"Try to use an existing instance of DMDirc (use with -c)"
post	init'ed(ARGUMENTS[3][0])
post	ARGUMENTS[3][1] == &"help"
post	ARGUMENTS[3][2] == &"Show command line options and exit"
post	init'ed(ARGUMENTS[4][0])
post	ARGUMENTS[4][1] == &"launcher"
post	ARGUMENTS[4][2] == &"Specifies the version of DMDirc's launcher"
post	init'ed(ARGUMENTS[5][0])
post	ARGUMENTS[5][1] == &"portable"
post	ARGUMENTS[5][2] == &"Enable portable mode"
post	init'ed(ARGUMENTS[6][0])
post	ARGUMENTS[6][1] == &"disable-reporting"
post	ARGUMENTS[6][2] == &"Disable automatic error reporting"
post	init'ed(ARGUMENTS[7][0])
post	ARGUMENTS[7][1] == &"version"
post	ARGUMENTS[7][2] == &"Display client version and exit"
post	ARGUMENTS.length == 9
post	ARGUMENTS[0] == &new Object[](CommandLineParser __static_init#2)
post	ARGUMENTS[1] == &new Object[](CommandLineParser __static_init#3)
post	ARGUMENTS[2] == &new Object[](CommandLineParser __static_init#4)
post	ARGUMENTS[3] == &new Object[](CommandLineParser __static_init#5)
post	ARGUMENTS[4] == &new Object[](CommandLineParser __static_init#6)
post	ARGUMENTS[5] == &new Object[](CommandLineParser __static_init#7)
post	ARGUMENTS[6] == &new Object[](CommandLineParser __static_init#8)
post	ARGUMENTS[7] == &new Object[](CommandLineParser __static_init#9)
post	ARGUMENTS[8] == &new Object[](CommandLineParser __static_init#10)

method	void com.dmdirc.commandline.CommandLineParser(Stri ng[])
pre	arguments != null
pre	arguments.length <= 2³²-1
pre	(soft) arguments[...] != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][0] != null
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.addresses == &new ArrayList(CommandLinePar ser#1)
post	possibly_updated(this.disablereporting)
post	init'ed(this.launcherVersion)
post	init'ed(this.server)
post	new ArrayList(CommandLineParser#1) num objects == 1
post	init'ed(new ArrayList(getSources#1) num objects)
post	init'ed(new ConfigManager(getGlobalConfig#1) num objects)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	init'ed(new MapList(ConfigManager#1) num objects)
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on com.dmdirc.util.IrcAddress
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.InvalidAddressException:get Message
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on com.dmdirc.Main:setConfigDir
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on processArgument
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.util.resourcemanager. DMDircResourceManager:getCurrentWorkingDirectory
unanalyzed	call on com.dmdirc.util.IrcAddress:connect
unanalyzed	call on java.rmi.server.UnicastRemoteObject:exportO bject
unanalyzed	call on java.rmi.registry.LocateRegistry:createRegi stry
unanalyzed	call on java.rmi.registry.Registry:rebind
unanalyzed	call on com.dmdirc.logger.Logger:appError
test_vector	java.lang.String:charAt(...)@92: {0..44, 46..2¹⁶-1}, {45}
test_vector	java.lang.String:startsWith(...)@89: {0}, {1}

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

method	bool checkArgument(char)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) this.addresses != null
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	possibly_updated(this.disablereporting)
post	possibly_updated(this.launcherVersion)
post	possibly_updated(this.server)
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	new MapList(ConfigManager#1) num objects == 0
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on com.dmdirc.util.IrcAddress
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.InvalidAddressException:get Message
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on com.dmdirc.Main:setConfigDir
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.util.resourcemanager. DMDircResourceManager:getCurrentWorkingDirectory

method	char processLongArg(String)
pre	(soft) arg != null
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][0] != null
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
pre	(soft) ARGUMENTS[...][3] != null
post	init'ed(return_value)
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.PrintStream:print
test_vector	java.lang.String:equalsIgnoreCase(...)@153: {0}, {1}

method	char processShortArg(String)
pre	(soft) arg != null
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) ARGUMENTS[...][0] != null
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
pre	(soft) ARGUMENTS[...][3] != null
post	init'ed(return_value)
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.PrintStream:print
test_vector	java.lang.String:equals(...)@172: {0}, {1}

method	void processArgument(char, String)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) param != null
pre	(soft) this.addresses != null
presumption	com.dmdirc.util.resourcemanager.DMDircResourceManag er:getCurrentWorkingDirectory(...)@210 != null
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	possibly_updated(this.disablereporting)
post	possibly_updated(this.launcherVersion)
post	possibly_updated(this.server)
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	new MapList(ConfigManager#1) num objects == 0
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on com.dmdirc.util.IrcAddress
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.InvalidAddressException:get Message
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on com.dmdirc.Main:setConfigDir
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
test_vector	arg: {99}, {100}, {101}, {104}, {107}, {108}, {112}, {114}, {118}, {0..98, 102,103, 105,106, 109..111, 113, 115..117, 119..2¹⁶-1}

method not available - call not analyzed Info call on String com.dmdirc.util.resourcemanager. DMDircResourceManager:getCurrentWorkingDirectory()

method	void doUnknownArg(String)
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
pre	(soft) ARGUMENTS[...][3] != null
presumption	java.lang.System.out != null
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.PrintStream:print

method

void exit()

method	void doConnect(String)
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
pre	(soft) ARGUMENTS[...][3] != null
pre	(soft) this.addresses != null
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.PrintStream:print

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

method not available - call not analyzed Info call on String com.dmdirc.util.InvalidAddressExcept ion:getMessage()

method	void doExisting()
presumption	java.lang.System.err != null
post	init'ed(this.server)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup

method	void doExistingCheck()
presumption	java.lang.System.out != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.rmi.registry.LocateRegistry:getRegistr y
unanalyzed	call on java.rmi.registry.Registry:lookup

method	void doDirectory(String)
pre	dir != null
presumption	init'ed(java.io.File.separator)
test_vector	java.lang.String:endsWith(...)@292: {0}, {1}

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

method	void doVersion()
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	getGlobalConfig(...).sources != null
presumption	java.lang.System.out != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort

method	void doHelp()
pre	(soft) ARGUMENTS[...] != null
pre	(soft) ARGUMENTS[...].length >= 4
pre	(soft) init'ed(ARGUMENTS[...][0])
pre	(soft) init'ed(ARGUMENTS[...][1])
pre	(soft) init'ed(ARGUMENTS[...][2])
pre	(soft) ARGUMENTS[...][3] != null
presumption	java.lang.System.out != null

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

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

Prev Msg Next Msg

method	void applySettings()
pre	init'ed(this.disablereporting)
pre	this.launcherVersion != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) com/dmdirc/config/IdentityManager.config != null
pre	(soft) com/dmdirc/config/IdentityManager.config. file != null
pre	(soft) com/dmdirc/config/IdentityManager.config. listeners != null
pre	(soft) com/dmdirc/config/IdentityManager.config. myTarget != null
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.myTarget.type)
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. config.globalConfig)
post	com/dmdirc/config/IdentityManager.config. globalConfig == One-of{old com/dmdirc/config/Identi tyManager.config.globalConfig, &new ConfigManager(setOption#2*)}
post	init'ed(com/dmdirc/config/IdentityManager.config. globalConfig)
post	possibly_updated(com/dmdirc/config/IdentityManager. config.needSave)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2*) num objects <= 1
post	init'ed(new ConfigManager(setOption#2*).channel)
post	init'ed(new ConfigManager(setOption#2*).ircd)
post	init'ed(new ConfigManager(setOption#2*).listeners)
post	init'ed(new ConfigManager(setOption#2*).network)
post	init'ed(new ConfigManager(setOption#2*).server)
post	init'ed(new ConfigManager(setOption#2*).sources)
post	new MapList(ConfigManager#1) num objects <= 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.HashSet
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on setOption
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
test_vector	this.disablereporting: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@357: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.updater.components. LauncherComponent:setLauncherInfo(String)

method	void processArguments()
pre	this.addresses != null
presumption	java.util.Iterator:next(...)@367 != null
test_vector	java.util.Iterator:hasNext(...)@367: {0}, {1}

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