Messages

method	com.dmdirc.config.ConfigManager__static_init
post	stats == &new TreeMap(ConfigManager__static_ init#1)
post	new TreeMap(ConfigManager__static_init#1) num objects == 1

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

method	void com.dmdirc.config.ConfigManager(String, String, String)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	java.lang.StringBuilder:toString(...)._tainted == network._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	this.channel == &java.lang.StringBuilder:toStri ng(...)
post	this.ircd == ircd
post	init'ed(this.ircd)
post	this.listeners == &new MapList(ConfigManager#1)
post	this.network == network
post	init'ed(this.network)
post	this.server == server
post	init'ed(this.server)
post	this.sources == &new ArrayList(getSources#1)
post	new ArrayList(getSources#1) num objects == 1
post	new MapList(ConfigManager#1) num objects == 1
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
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.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue

method	void com.dmdirc.config.ConfigManager(String, String, String, String)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	identity.listeners@102 != null
presumption	java.util.Iterator:next(...)@102 != null
post	java.lang.StringBuilder:toString(...)._tainted == channel._tainted \| network._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	this.channel == &java.lang.StringBuilder:toStri ng(...)
post	this.ircd == ircd
post	init'ed(this.ircd)
post	this.listeners == &new MapList(ConfigManager#1)
post	this.network == network
post	init'ed(this.network)
post	this.server == server
post	init'ed(this.server)
post	this.sources == &new ArrayList(getSources#1)
post	new ArrayList(getSources#1) num objects == 1
post	new MapList(ConfigManager#1) num objects == 1
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.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
test_vector	java.util.Iterator:hasNext(...)@102: {0}, {1}

method	String getOption(String, String)
pre	this.sources != null
presumption	java.util.Iterator:hasNext(...)@115 == 1
presumption	java.util.Iterator:next(...)@115 != null
presumption	source.file@115 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

method	bool hasOption(String, String)
pre	this.sources != null
presumption	java.util.Iterator:next(...)@131 != null
presumption	source.file@131 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
test_vector	java.util.Iterator:hasNext(...)@131: {1}, {0}

method	Map getOptions(String)
pre	this.sources != null
presumption	java.util.List:get(...).file@153 != null
presumption	java.util.List:get(...)@153 != null
presumption	java.util.List:size(...)@152 >= -2³¹+1
post	return_value == &new HashMap(getOptions#1)
post	new HashMap(getOptions#1) num objects == 1
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.HashMap

method	void removeIdentity(Identity)
pre	this.sources != null
pre	(soft) identity != null
pre	(soft) identity.file != null
pre	(soft) identity.listeners != null
pre	(soft) this.listeners != null
presumption	java.util.Iterator:next(...)@187 != null
presumption	java.util.Map:keySet(...)@174 != null
presumption	setting.length@187 >= 2
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 java.util.Map:containsKey
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.Map:keySet
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:remove
test_vector	java.util.Iterator:hasNext(...)@173: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@174: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@187: {0}, {1}
test_vector	java.util.List:contains(...)@166: {1}, {0}

method	Identity getScope(String, String)
pre	this.sources != null
presumption	java.util.Iterator:next(...)@202 != null
presumption	source.file@202 != null
post	init'ed(return_value)
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(...)@202: {1}, {0}

method	com.dmdirc.config.ConfigManager$1__static_init
pre	(soft) init'ed(com.dmdirc.config.ConfigTarget$TYPE_ _static_init.new ConfigTarget$TYPE[](ConfigTarget$T YPE__static_init#9)[...])
presumption	com.dmdirc.config.ConfigTarget_TYPE:ordinal(... )@221 in {0..7}
post	new int[](ConfigManager$1__static_init#1) num objects == 1

method	bool identityApplies(Identity)
pre	identity != null
pre	identity.myTarget != null
pre	identity.myTarget.type != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(identity.myTarget.data)
pre	(soft) init'ed(this.channel)
pre	(soft) init'ed(this.ircd)
pre	(soft) init'ed(this.network)
pre	(soft) init'ed(this.server)
presumption	com.dmdirc.config.ConfigTarget_TYPE:ordinal(... )@221 in {0..7}
post	init'ed(return_value)
test_vector	com.dmdirc.config.ConfigManager$1__static_init.new int[](ConfigManager$1__static_init#1)[...]: {1}, {2}, {3}, {4}, {5}, {-2³¹..0, 6..2³²-1}

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()

method	void checkIdentity(Identity)
pre	this.sources != null
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
pre	(soft) init'ed(this.channel)
pre	(soft) init'ed(this.ircd)
pre	(soft) this.listeners != null
pre	(soft) init'ed(this.network)
pre	(soft) init'ed(this.server)
presumption	java.util.Map:keySet(...)@262 != 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 getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Map:containsKey
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.Map:keySet
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.String:equals
test_vector	java.util.Iterator:hasNext(...)@261: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@262: {0}, {1}
test_vector	java.util.List:contains(...)@253: {1}, {0}

method	Set getDomains()
pre	this.sources != null
presumption	java.util.Iterator:next(...)@280 != null
presumption	source.file@280 != null
post	return_value == &new HashSet(getDomains#1)
post	new HashSet(getDomains#1) num objects == 1
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.HashSet
test_vector	java.util.Iterator:hasNext(...)@280: {1}, {0}

method	List getSources()
post	return_value == &new ArrayList(getSources#1)
post	new ArrayList(getSources#1) num objects == 1

method	void migrate(String, String, String)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) this.listeners != null
pre	(soft) this.sources != null
post	java.lang.StringBuilder:toString(...)._tainted == network._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	this.channel == &java.lang.StringBuilder:toStri ng(...)
post	this.ircd == ircd
post	init'ed(this.ircd)
post	this.network == network
post	init'ed(this.network)
post	this.server == server
post	init'ed(this.server)
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 getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on removeIdentity
unanalyzed	call on getSources
unanalyzed	call on checkIdentity
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
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 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.Map:get
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.String:equals

method	void migrate(String, String, String, String)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) this.listeners != null
pre	(soft) this.sources != null
presumption	identity.file@326 != null
presumption	identity.file@333 != null
presumption	identity.listeners@326 != null
presumption	identity.listeners@333 != null
presumption	identity.myTarget.type@326 != null
presumption	identity.myTarget.type@333 != null
presumption	identity.myTarget@326 != null
presumption	identity.myTarget@333 != null
presumption	java.util.ArrayList:iterator(...)@326 != null
presumption	java.util.Iterator:next(...)@326 != null
presumption	java.util.Iterator:next(...)@333 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	this.channel == &java.lang.StringBuilder:toStri ng(...)
post	this.ircd == ircd
post	init'ed(this.ircd)
post	this.network == network
post	init'ed(this.network)
post	this.server == server
post	init'ed(this.server)
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 getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.List:add
unanalyzed	call on addListener
unanalyzed	call on java.util.Collections:sort
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 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.Map:get
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.String:equals
test_vector	java.util.Iterator:hasNext(...)@326: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@333: {0}, {1}

method	void doStats(String, String)
presumption	java.lang.Integer:intValue(...)@348 <= 2³²-2
presumption	java.util.Map:get(...)@348 != null

method	Map getStats()
post	return_value == &new TreeMap(ConfigManager__ static_init#1)

method	void addChangeListener(String, ConfigChangeListene r)
pre	this.listeners != null
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	void addChangeListener(String, String, ConfigChangeListener)
pre	this.listeners != null
unanalyzed	call on com.dmdirc.util.MapList:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

method	void removeListener(ConfigChangeListener)
pre	this.listeners != null

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

method	void addListener(String, ConfigChangeListener)
pre	this.listeners != null

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

method	void configChanged(String, String)
pre	this.listeners != null
presumption	java.util.Iterator:next(...)@424 != null
test_vector	com.dmdirc.util.MapList:containsKey(...)@416: {0}, {1}
test_vector	com.dmdirc.util.MapList:containsKey(...)@420: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@424: {0}, {1}

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

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

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

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

method not available - call not analyzed Info call on void com.dmdirc.interfaces.ConfigChangeList ener:configChanged(String, String)

	method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()
	method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigTarget$TYPE:ord inal()