Messages

Last Msg First Msg

method	com.dmdirc.config.IdentityManager__static_init
post	identities == &new ArrayList(IdentityManager__ static_init#1)
post	managers == &new WeakList(IdentityManager__ static_init#2)
post	new ArrayList(IdentityManager__static_init#1) num objects == 1
post	new WeakList(IdentityManager__static_init#2) num objects == 1

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

method

void com.dmdirc.config.IdentityManager()

method	void load()
pre	init'ed(globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.FATAL)
post	addonConfig == &new Identity(load#4)
post	globalconfig == One-of{old globalconfig, &new ConfigManager(getGlobalConfig#1)}
post	globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(setOption#2) 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 ConfigFile(load#2) num objects == 1
post	new ConfigTarget(load#1) num objects == 1
post	new Identity(load#4) num objects == 1
post	new WeakList(Identity#1) num objects == 1
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#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	addonConfig.myTarget.data == &""
post	addonConfig.myTarget.order == 500_000
post	addonConfig.myTarget.type == &com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#1 )
post	addonConfig.file == &new ConfigFile(load#2)
post	init'ed(addonConfig.globalConfig)
post	addonConfig.listeners == &new WeakList(Identity #1)
post	addonConfig.myTarget == &new ConfigTarget(load# 1)
post	init'ed(addonConfig.needSave)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on addIdentity
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.util.ConfigFile:write
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on java.util.HashMap
unanalyzed	call on createIdentity
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.util.HashSet
test_vector	globalconfig: Addr_Set{null}, Inverse{null}
test_vector	java.util.List:size(...)@85: {-2³¹..-1, 1..2³²-1}, {0}

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

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

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

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 void com.dmdirc.util.ConfigFile(File)

method not available - call not analyzed Info call on void com.dmdirc.util.ConfigFile:addDomain(S tring, Map)

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

method	void loadDefaults()
pre	init'ed(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.io.File:listFiles(...)@119 != null
post	globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 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 ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
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	possibly_updated(new ConfigManager(getGlobalConfig# 1).ircd)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	possibly_updated(new ConfigManager(getGlobalConfig# 1).sources)
post	new MapList(ConfigManager#1) num objects == 0
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:extractResources
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile:getFile
unanalyzed	call on java.io.File:equals
unanalyzed	call on java.util.LinkedList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on com.dmdirc.config.InvalidIdentityFileExcept ion:getMessage
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on loadUser
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.HashMap
test_vector	com.dmdirc.updater.Version:compareTo(...)@136: {-2³¹..0}, {1..2³²-1}
test_vector	java.io.File:exists(...)@119: {0}, {1}
test_vector	java.io.File:listFiles(...).length@119: {1..+Inf}, {0}
test_vector	java.io.File:listFiles(...)@119: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on void com.dmdirc.updater.Version(String)

method not available - call not analyzed Info call on int com.dmdirc.updater.Version:compareTo(Ve rsion)

method	void extractIdentities(String)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@151 != null
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.lang.System:getProperty

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:extractResources(String, String, bool)

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

method	String getDirectory()
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

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

method	void loadUser()
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile:getFile
unanalyzed	call on java.io.File:equals
unanalyzed	call on java.util.LinkedList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on com.dmdirc.config.InvalidIdentityFileExcept ion:getMessage
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on loadUser
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.HashMap
test_vector	java.io.File:exists(...)@173: {1}, {0}

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

Prev Msg Next Msg

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

method	void loadUser(File)
pre	dir != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	arr$.length@203 <= 2³²-1
presumption	arr$[i$]@203 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.io.File:listFiles(...)@203 != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.util.ConfigFile:getFile
unanalyzed	call on java.io.File:equals
unanalyzed	call on java.util.LinkedList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.io.File:getAbsolutePath
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on com.dmdirc.config.InvalidIdentityFileExcept ion:getMessage
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on loadUser
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.HashMap
test_vector	java.io.File:isDirectory(...)@204: {0}, {1}
test_vector	java.io.File:listFiles(...)@198: Inverse{null}, Addr_Set{null}

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 loadIdentity(File)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) file != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	identity.file@222 != null
presumption	java.util.Iterator:next(...)@222 != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on java.util.LinkedList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.HashMap
test_vector	java.io.File:equals(...)@223: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@222: {1}, {0}

method not available - call not analyzed Info call on File com.dmdirc.util.ConfigFile:getFile()

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

method not available - call not analyzed Info call on String com.dmdirc.config.InvalidIdentityFil eException:getMessage()

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

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

method	void loadVersion()
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.FATAL)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.HashMap

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

method	void loadConfig()
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
post	config == One-of{&new Identity(loadConfig#3), old config}
post	init'ed(config.globalConfig)
post	init'ed(config.needSave)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigFile(Identity#2) num objects <= 1
post	new ConfigManager(setOption#2) num objects == 0
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 ConfigTarget(getTarget#1) num objects <= 1
post	init'ed(new ConfigTarget(getTarget#1).data)
post	init'ed(new ConfigTarget(getTarget#1).order)
post	init'ed(new ConfigTarget(getTarget#1).type)
post	new Identity(loadConfig#3) num objects <= 1
post	init'ed(new Identity(loadConfig#3).file)
post	init'ed(new Identity(loadConfig#3).globalConfig)
post	init'ed(new Identity(loadConfig#3).listeners)
post	init'ed(new Identity(loadConfig#3).myTarget)
post	init'ed(new Identity(loadConfig#3).needSave)
post	init'ed(new Identity(loadConfig#3).sources)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects <= 1
post	new WeakList(Identity#1) num objects <= 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.HashMap
test_vector	java.io.File:exists(...)@268: {1}, {0}

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

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

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

method	Identity getConfigIdentity()
pre	init'ed(config)
post	return_value == config
post	init'ed(return_value)

method	Identity getAddonIdentity()
pre	init'ed(addonConfig)
post	return_value == addonConfig
post	init'ed(return_value)

method	void save()
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	identity.file@307 != null
presumption	identity.listeners@307 != null
presumption	java.util.Iterator:next(...)@307 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(new ArrayList(getSources#1) num objects)
post	init'ed(new ConfigManager(save#3*) num objects)
post	init'ed(new ConfigManager(save#3*).channel)
post	init'ed(new ConfigManager(save#3*).ircd)
post	init'ed(new ConfigManager(save#3*).listeners)
post	init'ed(new ConfigManager(save#3*).network)
post	init'ed(new ConfigManager(save#3*).server)
post	init'ed(new ConfigManager(save#3*).sources)
post	init'ed(new MapList(ConfigManager#1) num objects)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on java.util.List:remove
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.util.ConfigFile:write
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.logging.Logger:fine
unanalyzed	call on com.dmdirc.util.ConfigFile:isWritable
unanalyzed	call on java.util.logging.Logger:isLoggable
unanalyzed	call on java.util.logging.Logger:finest
unanalyzed	call on java.util.HashSet:iterator
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.HashMap
test_vector	java.util.Iterator:hasNext(...)@307: {1}, {0}

method	void addIdentity(Identity)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) identity != null
pre	(soft) identity.file != null
pre	(soft) identity.listeners != null
pre	(soft) identity.myTarget != null
pre	(soft) init'ed(identity.myTarget.data)
pre	(soft) identity.myTarget.type != null
presumption	java.util.Iterator:next(...)@330 != null
presumption	manager.listeners@330 != null
presumption	manager.sources@330 != null
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
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 com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.HashMap
test_vector	java.util.Iterator:hasNext(...)@330: {1}, {0}
test_vector	java.util.List:contains(...)@321: {0}, {1}

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

method	void removeIdentity(Identity)
pre	(soft) identity != null
pre	(soft) identity.file != null
pre	(soft) identity.listeners != null
presumption	java.util.Iterator:next(...)@353 != null
presumption	manager.listeners@353 != null
presumption	manager.sources@353 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
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 java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.HashMap
test_vector	java.util.Iterator:hasNext(...)@353: {1}, {0}

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

method

void addConfigManager(ConfigManager)

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

method	List getProfiles()
presumption	identity.file@380 != null
presumption	java.util.Iterator:next(...)@380 != null
post	return_value == &new ArrayList(getProfiles#1)
post	new ArrayList(getProfiles#1) num objects == 1
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
test_vector	java.util.Iterator:hasNext(...)@380: {1}, {0}

method	List getSources(ConfigManager)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) manager != null
pre	(soft) init'ed(manager.channel)
pre	(soft) init'ed(manager.ircd)
pre	(soft) init'ed(manager.network)
pre	(soft) init'ed(manager.server)
presumption	identity.myTarget.type@402 != null
presumption	identity.myTarget@402 != null
presumption	java.util.Iterator:next(...)@402 != null
post	return_value == &new ArrayList(getSources#1)
post	new ArrayList(getSources#1) num objects == 1
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
test_vector	java.util.Iterator:hasNext(...)@402: {1}, {0}

method	ConfigManager getGlobalConfig()
pre	init'ed(globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	globalconfig == One-of{old globalconfig, &new ConfigManager(getGlobalConfig#1)}
post	globalconfig != null
post	return_value == globalconfig
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	new MapList(ConfigManager#1) num objects <= 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
test_vector	globalconfig: Inverse{null}, Addr_Set{null}

method	Identity getChannelConfig(String, String)
pre	channel != null
pre	network != null
pre	(soft) init'ed(com.dmdirc.config.ConfigTarget$1__ static_init.new int[](ConfigTarget$1__static_init#1 )[...])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	getTarget(...).data@453 != null
presumption	identity.myTarget@453 != null
presumption	java.lang.String:isEmpty(...)@440 == 0
presumption	java.lang.String:isEmpty(...)@445 == 0
presumption	java.util.Iterator:next(...)@453 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	new ConfigFile(Identity#2) num objects == 0, if init'ed
post	new ConfigManager(setOption#2) num objects == 0, if init'ed
post	new ConfigManager(setOption#2).channel == null
post	new ConfigManager(setOption#2).ircd == null
post	new ConfigManager(setOption#2).listeners == null
post	new ConfigManager(setOption#2).network == null
post	new ConfigManager(setOption#2).server == null
post	new ConfigManager(setOption#2).sources == null
post	new ConfigTarget(getTarget#1) num objects == 0, if init'ed
post	new ConfigTarget(getTarget#1).data == null
post	new ConfigTarget(getTarget#1).order == 0, if init'ed
post	new ConfigTarget(getTarget#1).type == null
post	new Identity(createIdentity#7) num objects == 0, if init'ed
post	new Identity(createIdentity#7).file == null
post	new Identity(createIdentity#7).globalConfig == null
post	new Identity(createIdentity#7).listeners == null
post	new Identity(createIdentity#7).myTarget == null
post	new Identity(createIdentity#7).needSave == 0, if init'ed
post	new Identity(createIdentity#7).sources == null
post	new MapList(ConfigManager#1) num objects == 0, if init'ed
post	new WeakList(Identity#1) num objects == 0, if init'ed
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
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 java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on java.util.List:remove
unanalyzed	call on addListener
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on addIdentity
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on com.dmdirc.util.ConfigFile:write
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on java.util.HashMap
unanalyzed	call on createIdentity
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
test_vector	getTarget(...).type@453: Inverse{&com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#8)}, Addr_Set{&com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE...
test_vector	java.lang.String:equalsIgnoreCase(...)@454: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@453: {1}, {0}

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

method	Identity getNetworkConfig(String)
pre	network != null
pre	(soft) init'ed(com.dmdirc.config.ConfigTarget$1__ static_init.new int[](ConfigTarget$1__static_init#1 )[...])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	getTarget(...).data@490 != null
presumption	identity.myTarget@490 != null
presumption	java.lang.String:isEmpty(...)@482 == 0
presumption	java.util.Iterator:next(...)@490 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	new ConfigFile(Identity#2) num objects == 0, if init'ed
post	new ConfigManager(setOption#2) num objects == 0, if init'ed
post	new ConfigManager(setOption#2).channel == null
post	new ConfigManager(setOption#2).ircd == null
post	new ConfigManager(setOption#2).listeners == null
post	new ConfigManager(setOption#2).network == null
post	new ConfigManager(setOption#2).server == null
post	new ConfigManager(setOption#2).sources == null
post	new ConfigTarget(getTarget#1) num objects == 0, if init'ed
post	new ConfigTarget(getTarget#1).data == null
post	new ConfigTarget(getTarget#1).order == 0, if init'ed
post	new ConfigTarget(getTarget#1).type == null
post	new Identity(createIdentity#7) num objects == 0, if init'ed
post	new Identity(createIdentity#7).file == null
post	new Identity(createIdentity#7).globalConfig == null
post	new Identity(createIdentity#7).listeners == null
post	new Identity(createIdentity#7).myTarget == null
post	new Identity(createIdentity#7).needSave == 0, if init'ed
post	new Identity(createIdentity#7).sources == null
post	new MapList(ConfigManager#1) num objects == 0, if init'ed
post	new WeakList(Identity#1) num objects == 0, if init'ed
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
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 java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on java.util.List:remove
unanalyzed	call on addListener
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on addIdentity
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on com.dmdirc.util.ConfigFile:write
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on java.util.HashMap
unanalyzed	call on createIdentity
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
test_vector	getTarget(...).type@490: Inverse{&com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#6)}, Addr_Set{&com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE...
test_vector	java.lang.String:equalsIgnoreCase(...)@491: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@490: {1}, {0}

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

method	Identity getServerConfig(String)
pre	server != null
pre	(soft) init'ed(com.dmdirc.config.ConfigTarget$1__ static_init.new int[](ConfigTarget$1__static_init#1 )[...])
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	getTarget(...).data@527 != null
presumption	identity.myTarget@527 != null
presumption	java.lang.String:isEmpty(...)@519 == 0
presumption	java.util.Iterator:next(...)@527 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	new ConfigFile(Identity#2) num objects == 0, if init'ed
post	new ConfigManager(setOption#2) num objects == 0, if init'ed
post	new ConfigManager(setOption#2).channel == null
post	new ConfigManager(setOption#2).ircd == null
post	new ConfigManager(setOption#2).listeners == null
post	new ConfigManager(setOption#2).network == null
post	new ConfigManager(setOption#2).server == null
post	new ConfigManager(setOption#2).sources == null
post	new ConfigTarget(getTarget#1) num objects == 0, if init'ed
post	new ConfigTarget(getTarget#1).data == null
post	new ConfigTarget(getTarget#1).order == 0, if init'ed
post	new ConfigTarget(getTarget#1).type == null
post	new Identity(createIdentity#7) num objects == 0, if init'ed
post	new Identity(createIdentity#7).file == null
post	new Identity(createIdentity#7).globalConfig == null
post	new Identity(createIdentity#7).listeners == null
post	new Identity(createIdentity#7).myTarget == null
post	new Identity(createIdentity#7).needSave == 0, if init'ed
post	new Identity(createIdentity#7).sources == null
post	new MapList(ConfigManager#1) num objects == 0, if init'ed
post	new WeakList(Identity#1) num objects == 0, if init'ed
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
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 java.util.List:iterator
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on hasOption
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on java.util.List:remove
unanalyzed	call on addListener
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on getOption
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.util.WeakList
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on addIdentity
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on com.dmdirc.util.ConfigFile:write
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on java.util.HashMap
unanalyzed	call on createIdentity
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
test_vector	getTarget(...).type@527: Inverse{&com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#7)}, Addr_Set{&com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE...
test_vector	java.lang.String:equalsIgnoreCase(...)@528: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@527: {1}, {0}

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 ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )
	method not available - call not analyzed	Info	call on void com.dmdirc.util.resourcemanager. ResourceManager:extractResources(String, String, bool)

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