Messages

Last Msg First Msg

method	int compareTo(Object)
pre	this.myTarget != null
pre	init'ed(this.myTarget.type)
pre	x0 != null
pre	x0.myTarget != null
pre	x0.myTarget.type != null
pre	(soft) init'ed(this.myTarget.order)
pre	(soft) this.myTarget.order - x0.myTarget.order in {-2³¹..2³²-1}
pre	(soft) init'ed(x0.myTarget.order)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:equals
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:compare To

method	com.dmdirc.config.Identity__static_init
post	DOMAIN != null
post	init'ed(LOGGER)
post	PROFILE_DOMAIN != null

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

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

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

method	void com.dmdirc.config.Identity(File, bool)
pre	(soft) forceDefault == 1
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.file == &new ConfigFile(Identity#2)
post	init'ed(this.globalConfig)
post	this.listeners == &new WeakList(Identity#1)
post	this.myTarget == &new ConfigTarget(getTarget#1)
post	init'ed(this.needSave)
post	this.sources == undefined
post	this.sources == null
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigFile(Identity#2) num objects == 1
post	new ConfigTarget(getTarget#1) num objects == 1
post	new WeakList(Identity#1) num objects == 1
post	new ConfigManager(setOption#2) num objects == 0
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	init'ed(new ConfigTarget(getTarget#1).data)
post	init'ed(new ConfigTarget(getTarget#1).order)
post	new ConfigTarget(getTarget#1).type == One-of{&com.dmdirc.config.ConfigTarget$TYPE__ static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE __static_init#5), &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TY...
post	new ConfigTarget(getTarget#1).type in Addr_Set{&com.dmdirc.config.ConfigTarget$TYPE_ _static_init.new ConfigTarget$TYPE(ConfigTarget$TYP E__static_init#2),&com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$T...
post	new MapList(ConfigManager#1) num objects == 0
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 com.dmdirc.util.ConfigFile:read
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:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
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

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:setAutomake (bool)

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because true

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because true

Prev Msg Next Msg

method	void com.dmdirc.config.Identity(InputStream, bool)
pre	(soft) forceDefault == 1
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.file == &new ConfigFile(Identity#2)
post	init'ed(this.globalConfig)
post	this.listeners == &new WeakList(Identity#1)
post	this.myTarget == &new ConfigTarget(getTarget#1)
post	init'ed(this.needSave)
post	this.sources == undefined
post	this.sources == null
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigFile(Identity#2) num objects == 1
post	new ConfigTarget(getTarget#1) num objects == 1
post	new WeakList(Identity#1) num objects == 1
post	new ConfigManager(setOption#2) num objects == 0
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	init'ed(new ConfigTarget(getTarget#1).data)
post	init'ed(new ConfigTarget(getTarget#1).order)
post	new ConfigTarget(getTarget#1).type == One-of{&com.dmdirc.config.ConfigTarget$TYPE__ static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE __static_init#5), &com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TY...
post	new ConfigTarget(getTarget#1).type in Addr_Set{&com.dmdirc.config.ConfigTarget$TYPE_ _static_init.new ConfigTarget$TYPE(ConfigTarget$TYP E__static_init#2),&com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$T...
post	new MapList(ConfigManager#1) num objects == 0
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 com.dmdirc.util.ConfigFile:read
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:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Exception
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

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

method not available - call not analyzed Info call on void com.dmdirc.util.ConfigFile:setAutomake (bool)

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because true

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because true

Prev Msg Next Msg

method	void com.dmdirc.config.Identity(ConfigFile, ConfigTarget)
pre	configFile != null
pre	target != null
pre	init'ed(target.type)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.file == configFile
post	this.file != null
post	this.globalConfig in Addr_Set{null,&new ConfigManager(setOption#2)}
post	this.listeners == &new WeakList(Identity#1)
post	this.myTarget == target
post	this.myTarget != null
post	possibly_updated(this.needSave)
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
post	new WeakList(Identity#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 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

method not available - call not analyzed Info call on void com.dmdirc.util.ConfigFile:setAutomake (bool)

method	ConfigTarget getTarget(bool)
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:isKeyDomain(...)@330 == 1
presumption	java.util.Map:containsKey(...)@330 == 1
post	return_value == &new ConfigTarget(getTarget#1)
post	new ConfigTarget(getTarget#1) num objects == 1
post	init'ed(return_value.data)
post	init'ed(return_value.order)
post	return_value.type in Addr_Set{&com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#2),&com.dmdirc.config.ConfigTarget$TYPE__s tatic_init.new ConfigTarget$TYPE(ConfigTarget$TYPE_ _static_init#...
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 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 java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
test_vector	forceDefault: {0}, {1}

method	void initFile(bool, InputStream)
pre	this.file != null
pre	(soft) forceDefault == 1
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 java.lang.Exception

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

method	void reload()
pre	init'ed(this.needSave)
pre	(soft) this.file != null
presumption	change.length@263 >= 2
presumption	com.dmdirc.util.ConfigFile:getKeyDomains(...)@235 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomains(...)@239 != null
presumption	java.util.Iterator:next(...)@239 != null
presumption	java.util.Iterator:next(...)@242 != null
presumption	java.util.Iterator:next(...)@263 != null
presumption	java.util.Map:entrySet(...)@239 != null
presumption	java.util.Map:entrySet(...)@242 != null
presumption	java.util.Map:get(...)@248 != null
presumption	java.util.Map:get(...)@251 != null
presumption	java.util.Map:get(...)@256 != null
presumption	java.util.Map:keySet(...)@256 != null
presumption	java.util.Map_Entry:getValue(...)@242 != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
test_vector	this.needSave: {0}, {1}
test_vector	java.lang.String:equals(...)@248: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@239: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@242: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@256: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@263: {0}, {1}
test_vector	java.util.Map:containsKey(...)@246: {1}, {0}
test_vector	java.util.Map:containsKey(...)@248: {0}, {1}
test_vector	java.util.Map:containsKey(...)@255: {0}, {1}

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain s()

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

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain s()

method	void fireSettingChange(String, String)
presumption	java.util.ArrayList:iterator(...)@277 != null
presumption	java.util.Iterator:next(...)@277 != null
test_vector	java.util.Iterator:hasNext(...)@277: {0}, {1}

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

method	String getName()
pre	this.file != null
post	init'ed(return_value)
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

method	void migrateProfile()
pre	this.file != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
pre	(soft) this.myTarget != null
pre	(soft) init'ed(this.myTarget.type)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2)}
post	init'ed(this.globalConfig)
post	possibly_updated(this.needSave)
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 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

method	bool isProfile()
pre	this.file != 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

method	bool hasOption(String, String)
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@330 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on bool com.dmdirc.util.ConfigFile:isKeyDomain (String)

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain (String)

method	String getOption(String, String)
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@336 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain (String)

method	void setOption(String, String, String)
pre	this.file != null
pre	this.myTarget != null
pre	init'ed(this.myTarget.type)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@379 != null
presumption	java.util.logging.Logger:getLogger(...)@76 != null
presumption	this.globalConfig.listeners@352 != null
presumption	this.globalConfig.sources@352 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2)}
post	init'ed(this.globalConfig)
post	possibly_updated(this.needSave)
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 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.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 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 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.globalConfig: Inverse{null}, Addr_Set{null}
test_vector	value: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:equals(...)@376: {1}, {0}
test_vector	java.util.Map:get(...)@336: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOption(...) != null

Prev Msg Next Msg

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain (String)

method	void setOption(String, String, int)
pre	this.file != null
pre	this.myTarget != null
pre	init'ed(this.myTarget.type)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2*)}
post	init'ed(this.globalConfig)
post	possibly_updated(this.needSave)
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2*) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
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)
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 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

method	void setOption(String, String, bool)
pre	this.file != null
pre	this.myTarget != null
pre	init'ed(this.myTarget.type)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2*)}
post	init'ed(this.globalConfig)
post	possibly_updated(this.needSave)
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2*) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
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)
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 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

method	void setOption(String, String, List)
pre	this.file != null
pre	this.myTarget != null
pre	init'ed(this.myTarget.type)
pre	value != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(setOption#2*)}
post	init'ed(this.globalConfig)
post	possibly_updated(this.needSave)
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(setOption#2*) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
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)
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 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	java.lang.StringBuilder:length(...)@425: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@421: {0}, {1}

method	void unsetOption(String, String)
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@435 != null
post	this.needSave == 1
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain (String)

method	Set getDomains()
pre	this.file != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomains(...)@448 != null
post	return_value == &new HashSet(getDomains#1)
post	new HashSet(getDomains#1) num objects == 1

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain s()

method	Map getOptions(String)
pre	this.file != null
post	return_value == &new HashMap(getOptions#1)
post	new HashMap(getOptions#1) num objects == 1

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain (String)

method	void save()
pre	init'ed(this.needSave)
pre	this.file != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(this.globalConfig)
pre	(soft) this.listeners != null
pre	(soft) init'ed(this.myTarget.type)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@500 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@507 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomains(...)@488 != null
presumption	java.util.Iterator:next(...)@482 != null
presumption	java.util.Iterator:next(...)@488 != null
presumption	java.util.Iterator:next(...)@492 != null
presumption	java.util.Map:entrySet(...)@488 != null
presumption	java.util.Map_Entry:getValue(...)@492 != null
presumption	init'ed(java.util.logging.Level.FINEST)
presumption	java.util.logging.Logger:getLogger(...)@76 != null
presumption	source.file@482 != null
presumption	this.globalConfig.listeners@471 != null
presumption	this.globalConfig.sources@471 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.globalConfig == One-of{old this.globalConfig, &new ConfigManager(save#3)}
post	init'ed(this.globalConfig)
post	init'ed(this.needSave)
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(save#3) num objects <= 1
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	new MapList(ConfigManager#1) num objects <= 1
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:keySet
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.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.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 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 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.globalConfig: Inverse{null}, Addr_Set{null}
test_vector	this.needSave: {0}, {1}
test_vector	this.myTarget: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@506: {0}, {1}
test_vector	com.dmdirc.util.ConfigFile:isWritable(...)@469: {0}, {1}
test_vector	java.lang.String:equals(...)@496: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@482: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@488: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@492: {0}, {1}
test_vector	java.util.logging.Logger:isLoggable(...)@481: {0}, {1}

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because this.file != null

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

Prev Msg Next Msg

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain s()

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOption(...) != null

Prev Msg Next Msg

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain (String)

method not available - call not analyzed Info call on bool com.dmdirc.util.ConfigFile:isKeyDomain (String)

method not available - call not analyzed Info call on Map com.dmdirc.util.ConfigFile:getKeyDomain (String)

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

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

method	void delete()
pre	(soft) this.file != null
pre	(soft) this.listeners != null
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
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:keySet
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 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 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 equals
unanalyzed	call on removeListener
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because this.file != null

Prev Msg Next Msg

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

method	ConfigTarget getTarget()
post	return_value == this.myTarget
post	init'ed(return_value)

method	ConfigFile getFile()
post	return_value == this.file
post	init'ed(return_value)

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

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

method	String toString()
pre	this.file != null
post	init'ed(return_value)
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

method	int hashCode()
pre	this.file != null
pre	this.myTarget != null
pre	this.myTarget.data != null
pre	this.myTarget.type != null
presumption	com.dmdirc.config.ConfigTarget_TYPE:ordinal(... )@206 + java.lang.String:hashCode(...)@206 + java.lang.String:hashCode(...)@584 in {-2³¹..2³²-1}
post	init'ed(return_value)
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 com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:hashCode

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getName(...) != null

Prev Msg Next Msg

method	bool equals(Object)
pre	(soft) obj.file != null
pre	(soft) this.file != null
post	init'ed(return_value)
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
test_vector	this.myTarget == obj.myTarget: {0}, {1}
test_vector	java.lang.String:equals(...)@590: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getName(...) != null

Prev Msg Next Msg

method	int compareTo(Identity)
pre	target != null
pre	target.myTarget != null
pre	target.myTarget.type != null
pre	this.myTarget != null
pre	init'ed(this.myTarget.type)
pre	(soft) init'ed(target.myTarget.order)
pre	(soft) init'ed(this.myTarget.order)
pre	(soft) this.myTarget.order - target.myTarget.order in {-2³¹..2³²-1}
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:equals
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:compare To

method	Identity createIdentity(Map)
pre	settings != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	java.lang.String:isEmpty(...)@622 == 0
presumption	java.util.Iterator:next(...)@640 != null
presumption	java.util.Map:containsKey(...)@622 == 1
presumption	java.util.Map:entrySet(...)@640 != null
presumption	java.util.Map:get(...)@622 != null
presumption	java.util.Map:get(...)@629 != 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	return_value == &new Identity(createIdentity#7)
post	new ConfigFile(Identity#2) num objects == 1
post	new ConfigTarget(getTarget#1) num objects == 1
post	new Identity(createIdentity#7) num objects == 1
post	new WeakList(Identity#1) 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	init'ed(new ConfigTarget(getTarget#1).data)
post	init'ed(new ConfigTarget(getTarget#1).order)
post	new ConfigTarget(getTarget#1).type == &com.dmdirc.config.ConfigTarget$TYPE__static_ init.new ConfigTarget$TYPE(ConfigTarget$TYPE__stati c_init#5)
post	return_value.file == &new ConfigFile(Identity#2 )
post	init'ed(return_value.globalConfig)
post	return_value.listeners == &new WeakList(Identit y#1)
post	return_value.myTarget == &new ConfigTarget(getT arget#1)
post	init'ed(return_value.needSave)
post	return_value.sources == undefined
post	return_value.sources == null
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 com.dmdirc.util.ConfigFile:read
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: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
unanalyzed	call on com.dmdirc.util.ConfigFile:setAutomake
unanalyzed	call on java.io.FileInputStream
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	java.io.File:exists(...)@634: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@640: {0}, {1}

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

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

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

Prev Msg Next Msg

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.util.ConfigFile:write()

method	Identity buildIdentity(ConfigTarget)
pre	target != null
pre	init'ed(target.data)
pre	target.type != 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.MEDIUM)
presumption	java.util.Map:get(...)@665 != null
presumption	java.util.Map:get(...)@666 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	new ConfigFile(Identity#2) num objects == undefined
post	new ConfigFile(Identity#2) num objects == 0, if init'ed
post	new ConfigManager(setOption#2) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigTarget(getTarget#1) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigTarget(getTarget#1).order == new ConfigFile(Identity#2) num objects
post	new Identity(createIdentity#7) num objects == new ConfigFile(Identity#2) num objects
post	new Identity(createIdentity#7).needSave == new ConfigFile(Identity#2) num objects
post	new MapList(ConfigManager#1) num objects == new ConfigFile(Identity#2) num objects
post	new WeakList(Identity#1) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigManager(setOption#2).channel == undefined
post	new ConfigManager(setOption#2).channel == null
post	new ConfigManager(setOption#2).ircd == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).listeners == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).network == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).server == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).sources == new ConfigManager(setOption#2).channel
post	new ConfigTarget(getTarget#1).data == new ConfigManager(setOption#2).channel
post	new ConfigTarget(getTarget#1).type == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).file == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).globalConfig == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).listeners == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).myTarget == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).sources == new ConfigManager(setOption#2).channel
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal

call too complex - analysis skipped Info call on Identity createIdentity(Map)

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

method	Identity buildProfile(String)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.lang.System:getProperty(...)@691 != null
presumption	java.util.Map:get(...)@693 != null
presumption	java.util.Map:get(...)@694 != null
presumption	java.util.Map:get(...)@695 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	new ConfigFile(Identity#2) num objects == undefined
post	new ConfigFile(Identity#2) num objects == 0, if init'ed
post	new ConfigManager(setOption#2) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigTarget(getTarget#1) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigTarget(getTarget#1).order == new ConfigFile(Identity#2) num objects
post	new Identity(createIdentity#7) num objects == new ConfigFile(Identity#2) num objects
post	new Identity(createIdentity#7).needSave == new ConfigFile(Identity#2) num objects
post	new MapList(ConfigManager#1) num objects == new ConfigFile(Identity#2) num objects
post	new WeakList(Identity#1) num objects == new ConfigFile(Identity#2) num objects
post	new ConfigManager(setOption#2).channel == undefined
post	new ConfigManager(setOption#2).channel == null
post	new ConfigManager(setOption#2).ircd == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).listeners == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).network == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).server == new ConfigManager(setOption#2).channel
post	new ConfigManager(setOption#2).sources == new ConfigManager(setOption#2).channel
post	new ConfigTarget(getTarget#1).data == new ConfigManager(setOption#2).channel
post	new ConfigTarget(getTarget#1).type == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).file == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).globalConfig == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).listeners == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).myTarget == new ConfigManager(setOption#2).channel
post	new Identity(createIdentity#7).sources == new ConfigManager(setOption#2).channel

call too complex - analysis skipped Info call on Identity createIdentity(Map)

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.util.WeakList()
method not available - call not analyzed	Info	call on void com.dmdirc.util.WeakList()
method not available - call not analyzed	Info	call on void com.dmdirc.util.WeakList()

	method not available - call not analyzed	Info	call on bool com.dmdirc.util.ConfigFile:isKeyDomain (String)
	method not available - call not analyzed	Info	call on Map com.dmdirc.util.ConfigFile:getKeyDomain (String)