Messages

Last Msg First Msg

method

com.dmdirc.plugins.PluginInfo$1__static_init

method	int compareTo(Object)
pre	init'ed(this.metaData)
pre	x0 != null
pre	init'ed(x0.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on getNiceName
unanalyzed	call on toString
unanalyzed	call on java.lang.String:compareTo

method	ResourceManager access$002(PluginInfo, ResourceManager)
pre	x0 != null
post	return_value == x1
post	init'ed(return_value)
post	x0.myResourceManager == return_value

method	com.dmdirc.plugins.PluginInfo__static_init
post	init'ed(LOGGER)

method

void com.dmdirc.plugins.PluginInfo(URL)

call too complex - analysis skipped Info call on void com.dmdirc.plugins.PluginInfo(URL, bool)

method	void com.dmdirc.plugins.PluginInfo(URL, bool)
pre	url != null
presumption	com.dmdirc.updater.Version:isValid(...)@153 == 1
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWith(...)@174 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@169 == 1
presumption	java.lang.String:isEmpty(...)@156 == 0
presumption	java.lang.String:isEmpty(...)@159 == 0
presumption	java.lang.String:isEmpty(...)@162 == 0
presumption	java.util.Iterator:next(...)@174 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.children == &new ArrayList(PluginInfo#3)
post	init'ed(this.classloader)
post	this.exports == &new HashMap(PluginInfo#4)
post	init'ed(this.filename)
post	init'ed(this.isLoading)
post	this.lastError == &"No Error"
post	this.metaData in Addr_Set{null,&new ConfigFile(getConfigFile#1),&new ConfigFile(getMigratedConfigFile#1),&new ConfigFile(getConfigFile#1),&new ConfigFile(getMigratedConfigFile#1)}
post	init'ed(this.migrated)
post	this.myClasses == &new ArrayList(PluginInfo#1)
post	init'ed(this.myResourceManager)
post	init'ed(this.plugin)
post	this.provides == &new ArrayList(PluginInfo#2)
post	this.requirementsError in Addr_Set{&"", &java.lang.StringBuilder:toString(...), &java.lang.StringBuilder:toString(...)}
post	init'ed(this.tempLoaded)
post	this.url == url
post	this.url != null
post	new ArrayList(PluginInfo#1) num objects == 1
post	new ArrayList(PluginInfo#2) num objects == 1
post	new ArrayList(PluginInfo#3) num objects == 1
post	new HashMap(PluginInfo#4) num objects == 1
post	new ConfigFile(getConfigFile#1) num objects <= 1
post	new ConfigFile(getMigratedConfigFile#1) num objects <= 1
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on checkPlugins
unanalyzed	call on checkServices
unanalyzed	call on getPluginInfoByName
unanalyzed	call on com.dmdirc.updater.Version
unanalyzed	call on com.dmdirc.updater.Version:compareTo
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.List:size
unanalyzed	call on getServicesByType
unanalyzed	call on java.util.List:get
unanalyzed	call on isActive
unanalyzed	call on getService
unanalyzed	call on activate
unanalyzed	call on com.dmdirc.config.IdentityManager:getAddonI dentity
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceInputStream
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Properties:containsKey
unanalyzed	call on java.util.Properties:entrySet
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.io.IOException
unanalyzed	call on java.lang.Exception
test_vector	load: {1}, {0}
test_vector	java.io.File:delete(...)@118: {0}, {1}
test_vector	java.io.File:exists(...)@118: {0}, {1}
test_vector	java.lang.String:matches(...)@176: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@174: {0}, {1}

Prev Msg Next Msg

conditional throw

click for all messages in this file Low Prob.

check that this.metaData != null

Prev Msg Next Msg

method not available - call not analyzed Info call on bool com.dmdirc.updater.Version:isValid()

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getAuthor(...) != null

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getName(...) != null

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getMainClass(...) != null

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that res != null

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

Prev Msg Next Msg

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

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

Prev Msg Next Msg

conditional throw

click for all messages in this file Medium Prob.

check that checkRequirements(...) != 0

Prev Msg Next Msg

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

method	String getMetaInfo(Properties, String[], String)
pre	metainfo != null
pre	metainfo.length <= 2³²-1
pre	(soft) init'ed(metainfo[...])
pre	(soft) properties != null
post	init'ed(return_value)
test_vector	java.util.Properties:getProperty(...)@204: Addr_Set{null}, Inverse{null}

method	ConfigFile getMigratedConfigFile()
pre	init'ed(this.myResourceManager)
pre	(soft) this.url != null
presumption	java.util.Iterator:next(...)@266 != null
presumption	java.util.Map_Entry:getKey(...)@267 != null
presumption	java.util.Map_Entry:getValue(...)@268 != null
presumption	java.util.Properties:entrySet(...)@266 != null
post	return_value == &new ConfigFile(getMigratedConf igFile#1)
post	this.migrated == 1
post	new ConfigFile(getMigratedConfigFile#1) num objects == 1
post	this.myResourceManager != null
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
test_vector	java.lang.String:startsWith(...)@275: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@266: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@238: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@241: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@252: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@257: {0}, {1}
test_vector	java.util.Properties:containsKey(...)@261: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that res != null

method not available - call not analyzed Info call on InputStream com.dmdirc.util. resourcemanager.ResourceManager:getResourceInputStr eam(String)

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

Prev Msg Next Msg

method not available - call not analyzed Info call on InputStream com.dmdirc.util. resourcemanager.ResourceManager:getResourceInputStr eam(String)

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:addDomain(S tring, List)

method	ConfigFile getConfigFile()
pre	init'ed(this.myResourceManager)
pre	(soft) this.url != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@306 == 1
post	return_value in Addr_Set{null,&new ConfigFile(getMigratedConfigFile#1),&new ConfigFile(getConfigFile#1),&new ConfigFile(getMigratedConfigFile#1)}
post	possibly_updated(this.migrated)
post	this.myResourceManager != null
post	new ConfigFile(getConfigFile#1) num objects <= 1
post	new ConfigFile(getMigratedConfigFile#1) num objects <= 1
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceInputStream
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Properties:containsKey
unanalyzed	call on java.util.Properties:entrySet
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
test_vector	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@301: {0}, {1}
test_vector	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@312: {0}, {1}

method not available - call not analyzed Info call on InputStream com.dmdirc.util. resourcemanager.ResourceManager:getResourceInputStr eam(String)

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:read()

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

method	void getDefaults()
pre	init'ed(this.metaData)
presumption	com.dmdirc.config.IdentityManager:getAddonIdentity( ...)@325 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@331 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@342 != null
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@353 != null
presumption	java.util.Iterator:next(...)@333 != null
presumption	java.util.Iterator:next(...)@344 != null
presumption	java.util.Iterator:next(...)@355 != null
presumption	java.util.Map:entrySet(...)@333 != null
presumption	java.util.Map:entrySet(...)@344 != null
presumption	java.util.Map:entrySet(...)@355 != null
presumption	java.util.Map_Entry:getKey(...)@334 != null
presumption	java.util.Map_Entry:getKey(...)@345 != null
presumption	java.util.Map_Entry:getKey(...)@356 != null
presumption	java.util.Map_Entry:getValue(...)@335 != null
presumption	java.util.Map_Entry:getValue(...)@346 != null
presumption	java.util.Map_Entry:getValue(...)@357 != null
presumption	java.util.logging.Logger:getLogger(...)@52 != null
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	this.metaData: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@330: {0}, {1}
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@341: {0}, {1}
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@352: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@333: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@344: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@355: {0}, {1}

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

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.config.Identity:setOption(S tring, String, 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.config.Identity:setOption(S tring, String, 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.config.Identity:setOption(S tring, String, String)

method	void updateProvides()
pre	this.metaData != null
pre	this.provides != null
pre	(soft) init'ed(com/dmdirc/plugins/PluginManager. me)
presumption	getPluginManager(...).services != null
presumption	java.util.Iterator:next(...)@371 != null
presumption	java.util.Iterator:next(...)@379 != null
presumption	service.serviceproviders@371 != null
presumption	service.serviceproviders@385 != null
post	init'ed(com/dmdirc/plugins/PluginManager.me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(new HashMap(PluginManager#2) num objects)
post	init'ed(new Hashtable(PluginManager#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1). pluginInfo)
post	init'ed(new PluginManager(getPluginManager#1) num objects)
post	init'ed(new PluginManager(getPluginManager#1). knownPlugins)
post	init'ed(new PluginManager(getPluginManager#1). myDir)
post	init'ed(new PluginManager(getPluginManager#1). services)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on getPluginInfoByName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on unloadPlugin
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.io.File
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addPlugin
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.io.File:exists
unanalyzed	call on delPlugin
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on java.util.Map:remove
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on java.util.List:add
test_vector	com.dmdirc.util.ConfigFile:getFlatDomain(...)@377: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equalsIgnoreCase(...)@384: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@371: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@379: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ConfigFile:getFlatDoma in(String)

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(bits.length)

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that not_init'ed(name)

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that service != null

Prev Msg Next Msg

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

method	void pluginUpdated()
pre	(soft) init'ed(this.metaData)
pre	(soft) this.myClasses != null
pre	(soft) this.url != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWith(...)@405 != null
presumption	java.util.Iterator:next(...)@405 != null
post	this.metaData == One-of{&new ConfigFile(getConf igFile#1), &new ConfigFile(getMigratedConfigFil e#1), null, old this.metaData}
post	init'ed(this.metaData)
post	possibly_updated(this.migrated)
post	possibly_updated(this.myResourceManager)
post	new ConfigFile(getConfigFile#1) num objects <= 1
post	new ConfigFile(getMigratedConfigFile#1) num objects <= 1
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on com.dmdirc.config.IdentityManager:getAddonI dentity
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.config.Identity:setOption
unanalyzed	call on getConfigFile
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceInputStream
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Properties:containsKey
unanalyzed	call on java.util.Properties:entrySet
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.io.IOException
test_vector	java.lang.String:matches(...)@407: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@405: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that res != null

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

Prev Msg Next Msg

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

method	bool isMigrated()
pre	init'ed(this.migrated)
post	return_value == this.migrated
post	init'ed(return_value)

method	bool updateMetaData()
pre	(soft) init'ed(this.myResourceManager)
pre	(soft) this.url != null
post	init'ed(return_value)
post	this.metaData == One-of{&new ConfigFile(getConf igFile#1), &new ConfigFile(getMigratedConfigFil e#1), null, old this.metaData}
post	possibly_updated(this.migrated)
post	init'ed(this.myResourceManager)
post	new ConfigFile(getConfigFile#1) num objects <= 1
post	new ConfigFile(getMigratedConfigFile#1) num objects <= 1
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.util.Map:put
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceInputStream
unanalyzed	call on com.dmdirc.util.ConfigFile
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:load
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Properties:containsKey
unanalyzed	call on java.util.Properties:entrySet
unanalyzed	call on com.dmdirc.util.ConfigFile:addDomain
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on com.dmdirc.util.ConfigFile:read
unanalyzed	call on java.io.IOException

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into res

Prev Msg Next Msg

method	String getRequirementsError()
pre	init'ed(this.requirementsError)
post	return_value == this.requirementsError
post	init'ed(return_value)

method	ResourceManager getResourceManager()
pre	init'ed(this.myResourceManager)
pre	(soft) this.url != null
post	init'ed(return_value)
post	this.myResourceManager == return_value
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule

method	ResourceManager getResourceManager(bool)
pre	init'ed(this.myResourceManager)
pre	(soft) this.url != null
post	init'ed(return_value)
post	this.myResourceManager == return_value
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.TimerTask
test_vector	forceNew: {0}, {1}

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

method

void com.dmdirc.plugins.PluginInfo$1(PluginInfo)

method

void run()

method	bool checkMinimumVersion(String, int)
pre	desired != null
post	init'ed(return_value)
post	this.requirementsError == One-of{old this.requirementsError, &"'minversion' is a non-integer", &"Plugin is for a newer version of DMDirc"}
test_vector	actual: {-2³¹..0}, {1..2³²-2}
test_vector	java.lang.Integer:parseInt(...)@510: {-2³¹..0}, {2..2³²-1}
test_vector	java.lang.String:isEmpty(...)@505: {0}, {1}

method	bool checkMaximumVersion(String, int)
pre	desired != null
post	init'ed(return_value)
post	this.requirementsError == One-of{old this.requirementsError, &"'maxversion' is a non-integer", &"Plugin is for an older version of DMDirc"}
test_vector	actual: {-2³¹..0}, {2..2³²-1}
test_vector	java.lang.Integer:parseInt(...)@544: {-2³¹..0}, {1..2³²-2}
test_vector	java.lang.String:isEmpty(...)@539: {0}, {1}

method	bool checkOS(String, String, String, String)
pre	desired != null
pre	(soft) actualName != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
test_vector	java.lang.String:isEmpty(...)@573: {0}, {1}
test_vector	java.lang.String:matches(...)@579: {1}, {0}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(desiredParts.length)

Prev Msg Next Msg

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(desiredParts.length)

test always goes same way

Low Prob.

Test predetermined because desiredParts.length == 0

dead code

click for all messages in this file Low Prob.

Dead code here because desiredParts.length == 0

Prev Msg Next Msg

dead code continues Info Dead code continues

method	bool checkUI(String, String)
pre	desired != null
pre	(soft) actual != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
test_vector	java.lang.String:isEmpty(...)@606: {0}, {1}
test_vector	java.lang.String:matches(...)@610: {1}, {0}

method	bool checkFiles(String)
pre	desired != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == 1
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
test_vector	java.lang.String:isEmpty(...)@630: {0}, {1}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(arr$.length)

use of default init

Low Prob.

check if init'ed(len$)

test always goes same way

Low Prob.

Test predetermined because i$ == len$

dead code

click for all messages in this file Low Prob.

Dead code here because i$ == len$

dead code continues Info Dead code continues

Prev Msg Next Msg

dead code continues Info Dead code continues

dead code continues Info Dead code continues

dead code continues Info Dead code continues

dead code continues Info Dead code continues

method	bool checkPlugins(String)
pre	desired != null
post	possibly_updated(com/dmdirc/plugins/PluginManager. me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == 1
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
post	new HashMap(PluginManager#2) num objects == 0
post	new Hashtable(PluginManager#1) num objects == 0
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == null
post	new PluginManager(getPluginManager#1) num objects == 0
post	init'ed(new PluginManager(getPluginManager#1). knownPlugins)
post	init'ed(new PluginManager(getPluginManager#1). myDir)
post	init'ed(new PluginManager(getPluginManager#1). services)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on getPluginInfoByName
unanalyzed	call on com.dmdirc.updater.Version
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on unloadPlugin
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.io.File
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addPlugin
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.io.File:exists
unanalyzed	call on delPlugin
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on java.util.Map:remove
unanalyzed	call on getPossiblePluginInfos
test_vector	java.lang.String:isEmpty(...)@665: {0}, {1}

dead code continues Info Dead code continues

method	bool checkRequirements(bool)
pre	init'ed(this.metaData)
presumption	java.lang.System:getProperty(...)@720 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
test_vector	preliminary: {1}, {0}
test_vector	this.metaData: Inverse{null}, Addr_Set{null}
test_vector	checkPlugins(...)@720: {0}, {1}
test_vector	checkServices(...)@720: {1}, {0}

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/plugins/PluginInfo.checkOS: desired != null

precondition failure

Medium Prob.

com/dmdirc/plugins/PluginInfo.checkFiles: desired != null

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because checkFiles(...) == 1

call too complex - analysis skipped Info call on bool checkPlugins(String)

method not available - call not analyzed Info call on List com.dmdirc.util.ConfigFile:getFlatDoma in(String)

call too complex - analysis skipped Info call on bool checkServices(List)

Prev Msg Next Msg

method	bool checkServices(List)
pre	(soft) init'ed(com/dmdirc/plugins/PluginManager. me)
presumption	getPluginManager(...).services != null
presumption	java.util.Iterator:next(...)@743 != null
presumption	java.util.List:get(...)@755 != null
post	init'ed(com/dmdirc/plugins/PluginManager.me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	init'ed(new HashMap(PluginManager#2) num objects)
post	init'ed(new Hashtable(PluginManager#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
post	init'ed(new PluginManager(getPluginManager#1) num objects)
post	init'ed(new PluginManager(getPluginManager#1). knownPlugins)
post	init'ed(new PluginManager(getPluginManager#1). myDir)
post	init'ed(new PluginManager(getPluginManager#1). services)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on updateProvides
unanalyzed	call on checkRequirements
unanalyzed	call on loadRequired
unanalyzed	call on onLoad
unanalyzed	call on getName
unanalyzed	call on java.lang.Throwable:getMessage
unanalyzed	call on addError
unanalyzed	call on unloadPlugin
unanalyzed	call on getMainClass
unanalyzed	call on loadClass
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on loadPlugin
unanalyzed	call on getPluginInfoByName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on isActive
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.io.File
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addPlugin
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.io.File:exists
unanalyzed	call on delPlugin
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on java.util.Map:remove
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on activateServices
test_vector	services: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equalsIgnoreCase(...)@751: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@743: {0}, {1}
test_vector	java.util.List:size(...)@741: {1..2³²-1}, {-2³¹..0}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(bits.length)

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that not_init'ed(name)

Prev Msg Next Msg

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into serv

Prev Msg Next Msg

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(available)

Prev Msg Next Msg

method	bool isActive()
pre	init'ed(this.plugin)
pre	(soft) init'ed(this.tempLoaded)
post	init'ed(return_value)

method	void activateServices()
pre	(soft) init'ed(this.plugin)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.isLoading == old this.isLoading
post	this.lastError == old this.lastError
post	this.tempLoaded == old this.tempLoaded

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

method	String getProviderName()
pre	init'ed(this.metaData)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

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

method	bool isLoaded()
pre	init'ed(this.plugin)
pre	(soft) init'ed(this.tempLoaded)
post	init'ed(return_value)

method	bool isTempLoaded()
pre	init'ed(this.plugin)
pre	(soft) init'ed(this.tempLoaded)
post	init'ed(return_value)

method	void loadEntirePlugin()
pre	(soft) init'ed(this.plugin)
pre	this.myClasses != null
pre	(soft) init'ed(com/dmdirc/plugins/GlobalClassLoader .me)
pre	(soft) init'ed(this.classloader)
post	com/dmdirc/plugins/GlobalClassLoader.me == old com/dmdirc/plugins/GlobalClassLoader.me
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.classloader == old this.classloader
post	this.isLoading == old this.isLoading
post	this.lastError == old this.lastError
post	this.plugin == old this.plugin
post	this.plugin.domainSet == old this.plugin.domainSet
post	this.plugin.myDomain == old this.plugin.myDomain
post	this.tempLoaded == old this.tempLoaded
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == undefined
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0, if init'ed
post	new HashMap(GlobalClassLoader#1) num objects == new GlobalClassLoader(getGlobalClassLoader#1) num objects
post	new PluginClassLoader(getSubClassLoader#1) num objects == new GlobalClassLoader(getGlobalClassLoa der#1) num objects
post	new PluginClassLoader(loadClass#1) num objects == new GlobalClassLoader(getGlobalClassLoader#1) num objects
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == undefined
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == null
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == new GlobalClassLoader(getGlobalClassL oader#1).resourcesList
post	new PluginClassLoader(loadClass#1).pluginInfo == new GlobalClassLoader(getGlobalClassLoader#1). resourcesList
test_vector	java.util.Iterator:hasNext(...)@837: {0}, {1}

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

call too complex - analysis skipped Info call on void loadClass(String)

method	void loadPluginTemp()
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.isLoading == old this.isLoading
post	this.lastError == old this.lastError
post	this.tempLoaded == 1

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

method	void loadRequired()
pre	init'ed(this.metaData)
post	possibly_updated(com/dmdirc/plugins/PluginManager. me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new HashMap(PluginManager#2) num objects == 0
post	new Hashtable(PluginManager#1) num objects == 0
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
post	new PluginManager(getPluginManager#1) num objects == 0
post	init'ed(new PluginManager(getPluginManager#1). knownPlugins)
post	init'ed(new PluginManager(getPluginManager#1). myDir)
post	init'ed(new PluginManager(getPluginManager#1). services)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on updateProvides
unanalyzed	call on checkRequirements
unanalyzed	call on loadRequired
unanalyzed	call on onLoad
unanalyzed	call on getName
unanalyzed	call on java.lang.Throwable:getMessage
unanalyzed	call on addError
unanalyzed	call on unloadPlugin
unanalyzed	call on getMainClass
unanalyzed	call on loadClass
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on loadPlugin
unanalyzed	call on getPluginInfoByName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.io.File
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addPlugin
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.io.File:exists
unanalyzed	call on delPlugin
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on java.util.Map:remove
unanalyzed	call on getPossiblePluginInfos

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that required != null

use of default init

Low Prob.

check if init'ed(arr$.length)

use of default init

Low Prob.

check if init'ed(len$)

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because i$ == len$

dead code

Low Prob.

Dead code here because i$ == len$

dead code continues Info Dead code continues

Prev Msg Next Msg

dead code continues Info Dead code continues

method	void loadPlugin()
pre	init'ed(this.plugin)
pre	this.exports != null
pre	this.provides != null
pre	(soft) init'ed(com/dmdirc/plugins/GlobalClassLoader .me)
pre	(soft) init'ed(this.isLoading)
pre	(soft) init'ed(this.requirementsError)
pre	(soft) init'ed(this.tempLoaded)
pre	(soft) this.children != null
pre	(soft) this.metaData != null
presumption	(soft) init'ed(com.dmdirc.actions.CoreActionType. PLUGIN_LOADED)
post	com/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
post	com/dmdirc/plugins/GlobalClassLoader.me == old com/dmdirc/plugins/GlobalClassLoader.me
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.classloader == One-of{old this.classloader, null}
post	init'ed(this.isLoading)
post	possibly_updated(this.lastError)
post	this.plugin == One-of{old this.plugin, null}
post	init'ed(this.plugin)
post	this.plugin.domainSet == old this.plugin.domainSet
post	this.plugin.myDomain == old this.plugin.myDomain
post	this.requirementsError == One-of{old this.requirementsError, &java.lang. StringBuilder:toString(...)}
post	init'ed(this.requirementsError)
post	init'ed(this.tempLoaded)
post	com.dmdirc.logger.ErrorManager__static_init.new ErrorManager(ErrorManager__static_init#1). reportThread == old com.dmdirc.logger. ErrorManager__static_init.new ErrorManager(ErrorMan ager__static_init#1).reportThread
post	possibly_updated(new ErrorReportingThread(sendError #1) num objects)
post	possibly_updated(new ErrorReportingThread(sendError #1).queue)
post	possibly_updated(new File(getErrorFile#1) num objects)
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == undefined
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0, if init'ed
post	new HashMap(GlobalClassLoader#1) num objects == new GlobalClassLoader(getGlobalClassLoader#1) num objects
post	new PluginClassLoader(getSubClassLoader#1) num objects == new GlobalClassLoader(getGlobalClassLoa der#1) num objects
post	new PluginClassLoader(loadClass#1) num objects == new GlobalClassLoader(getGlobalClassLoader#1) num objects
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == undefined
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == null
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == new GlobalClassLoader(getGlobalClassL oader#1).resourcesList
post	new PluginClassLoader(loadClass#1).pluginInfo == new GlobalClassLoader(getGlobalClassLoader#1). resourcesList
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on getErrorManager
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on checkPlugins
unanalyzed	call on checkServices
unanalyzed	call on getPluginInfoByName
unanalyzed	call on com.dmdirc.updater.Version
unanalyzed	call on com.dmdirc.updater.Version:compareTo
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on unloadPlugin
unanalyzed	call on java.util.List:size
unanalyzed	call on getServicesByType
unanalyzed	call on java.util.List:get
unanalyzed	call on isActive
unanalyzed	call on getService
unanalyzed	call on activate
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on isReady
unanalyzed	call on errorAdded
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on getTrace
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on errorStatusChanged
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals
test_vector	!(this.plugin == null) & this.tempLoaded != 0: {0}, {1}
test_vector	!(this.plugin == null) & this.tempLoaded == 0: {0}, {1}
test_vector	(!(this.plugin == null) & this.tempLoaded == 0) \| this.plugin == null: {0}, {1}
test_vector	this.isLoading: {0}, {1}
test_vector	this.tempLoaded: {1}, {0}

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

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

method not available - call not analyzed Info call on void onLoad()

Prev Msg Next Msg

precondition failure

click for all messages in this file Medium Prob.

com/dmdirc/logger/Logger.userError: com.dmdirc.logger.ErrorManager__static_init.new ErrorManager(ErrorManager__static_init#1). nextErrorID != null

precondition failure

Low Prob.

com/dmdirc/logger/Logger.userError: init'ed(com.dmdirc.logger.ErrorManager__static_ init.new ErrorManager(ErrorManager__static_init#1). logReports)

Prev Msg Next Msg

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because this.metaData != null

Prev Msg Next Msg

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

call too complex - analysis skipped Info call on void loadClass(String)

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because isLoaded(...) == 0

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because isLoaded(...) == 0

Prev Msg Next Msg

method	void addChild(PluginInfo)
pre	this.children != null

method	void delChild(PluginInfo)
pre	this.children != null

method	void loadClass(String)
pre	(soft) classname != null
pre	(soft) init'ed(com/dmdirc/plugins/GlobalClassLoader .me)
pre	(soft) init'ed(this.classloader)
pre	(soft) init'ed(this.tempLoaded)
pre	(soft) this.children != null
pre	(soft) this.classloader.pluginInfo != null
pre	(soft) init'ed(this.metaData)
pre	(soft) this.provides != null
presumption	java.util.logging.Logger:getLogger(...)@52 != null
post	possibly_updated(com/dmdirc/logger/ProgramError. errorDir)
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	possibly_updated(com/dmdirc/plugins/PluginManager. me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	possibly_updated(this...myResourceManager)
post	possibly_updated(this.classloader)
post	possibly_updated(this.lastError)
post	possibly_updated(this.myResourceManager)
post	possibly_updated(this.plugin)
post	init'ed(this.plugin.domainSet)
post	init'ed(this.plugin.myDomain)
post	init'ed(this.tempLoaded)
post	possibly_updated(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).reportThread)
post	possibly_updated(new ErrorReportingThread(sendError #1) num objects)
post	possibly_updated(new ErrorReportingThread(sendError #1).queue)
post	possibly_updated(new File(getErrorFile#1) num objects)
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects <= 1
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	new HashMap(GlobalClassLoader#1) num objects <= 1
post	new HashMap(GlobalClassLoader#1) num objects == 0
post	possibly_updated(new HashMap(PluginManager#2) num objects)
post	possibly_updated(new Hashtable(PluginManager#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
post	possibly_updated(new PluginClassLoader(loadClass#1) num objects)
post	possibly_updated(new PluginClassLoader(loadClass#1) .pluginInfo)
post	possibly_updated(new PluginManager(getPluginManager #1) num objects)
post	possibly_updated(new PluginManager(getPluginManager #1).knownPlugins)
post	possibly_updated(new PluginManager(getPluginManager #1).myDir)
post	possibly_updated(new PluginManager(getPluginManager #1).services)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on getFullFilename
unanalyzed	call on getName
unanalyzed	call on getErrorManager
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on getPluginInfoByName
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:replace
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:findLo adedClass
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:getPar ent
unanalyzed	call on loadClass
unanalyzed	call on isPersistent
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceBytes
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:define Class
unanalyzed	call on java.lang.ClassLoader:loadClass
unanalyzed	call on getPluginInfos
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getClassList
unanalyzed	call on getPluginClassLoader
unanalyzed	call on getPersistentClasses
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.NoClassDefFoundError:getMessage
unanalyzed	call on java.lang.ClassNotFoundException
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:define Class
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:resolv eClass
unanalyzed	call on com.dmdirc.config.prefs.validator. ValidationResponse
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on unloadPlugin
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.io.File
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addPlugin
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.io.File:exists
unanalyzed	call on delPlugin
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on java.util.Map:remove
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on isReady
unanalyzed	call on errorAdded
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on getTrace
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on errorStatusChanged
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals
test_vector	this.classloader: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.config.prefs.validator.ValidationRespons e:isFailure(...)@964: {1}, {0}
test_vector	java.lang.String:equals(...)@959: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@933: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getKeyValue(...) != null

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that c != null

Prev Msg Next Msg

method not available - call not analyzed Info call on bool com.dmdirc.config.prefs.validator. ValidationResponse:isFailure()

method not available - call not analyzed Info call on void onLoad()

method not available - call not analyzed Info call on String com.dmdirc.config.prefs.validator. ValidationResponse:getFailureReason()

method	void unloadPlugin()
pre	(soft) this.plugin != null
pre	(soft) init'ed(this.tempLoaded)
pre	(soft) this.children != null
pre	(soft) init'ed(this.metaData)
pre	(soft) this.provides != null
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	this.classloader == One-of{old this.classloader, null}
post	possibly_updated(this.lastError)
post	this.plugin == One-of{old this.plugin, null}
post	this.tempLoaded == One-of{old this.tempLoaded, 0}
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on getPluginInfoByName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on unloadPlugin
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace

method	bool isUnloadable()
pre	init'ed(this.metaData)
pre	(soft) init'ed(this.plugin)
pre	(soft) init'ed(this.tempLoaded)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
test_vector	!(this.plugin == null) & this.tempLoaded != 0: {0}, {1}
test_vector	!(this.plugin == null) & this.tempLoaded == 0: {1}, {0}
test_vector	(!(this.plugin == null) & this.tempLoaded != 0) \| this.plugin == null: {0}, {1}
test_vector	this.tempLoaded: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that unloadable != null

Prev Msg Next Msg

method	void unloadPlugin(bool)
pre	(soft) this.plugin != null
pre	(soft) init'ed(this.tempLoaded)
pre	(soft) this.children != null
pre	(soft) init'ed(this.metaData)
pre	(soft) this.provides != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.PLUGIN_ UNLOADED)
post	com/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
post	com/dmdirc/plugins/PluginManager.me == One-of{old com/dmdirc/plugins/PluginManager.me, &new PluginManager(getPluginManager#1)}
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	this.classloader == One-of{old this.classloader, null}
post	possibly_updated(this.lastError)
post	this.plugin == One-of{old this.plugin, null}
post	init'ed(this.plugin)
post	init'ed(this.tempLoaded)
post	com.dmdirc.logger.ErrorManager__static_init.new ErrorManager(ErrorManager__static_init#1). reportThread == old com.dmdirc.logger. ErrorManager__static_init.new ErrorManager(ErrorMan ager__static_init#1).reportThread
post	possibly_updated(new ErrorReportingThread(sendError #1) num objects)
post	possibly_updated(new ErrorReportingThread(sendError #1).queue)
post	possibly_updated(new File(getErrorFile#1) num objects)
post	possibly_updated(new HashMap(PluginManager#2) num objects)
post	possibly_updated(new Hashtable(PluginManager#1) num objects)
post	new PluginClassLoader(getSubClassLoader#1) num objects <= 1
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1). pluginInfo)
post	possibly_updated(new PluginManager(getPluginManager #1) num objects)
post	possibly_updated(new PluginManager(getPluginManager #1).knownPlugins)
post	possibly_updated(new PluginManager(getPluginManager #1).myDir)
post	possibly_updated(new PluginManager(getPluginManager #1).services)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on getErrorManager
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on getPluginInfoByName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on unloadPlugin
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.io.File
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addPlugin
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.io.File:exists
unanalyzed	call on delPlugin
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on java.util.Map:remove
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on java.util.concurrent.atomic. AtomicLong:getAndIncrement
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:equals
unanalyzed	call on fireErrorStatusChanged
unanalyzed	call on java.lang.Object:notifyAll
unanalyzed	call on java.util.concurrent.BlockingQueue:add
unanalyzed	call on java.lang.Thread:isAlive
unanalyzed	call on java.lang.Thread
unanalyzed	call on com.dmdirc.logger.ErrorReportingThread:setD aemon
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.awt.GraphicsEnvironment:isHeadless
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.util.concurrent.Semaphore
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.lang.Object:wait
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on isReady
unanalyzed	call on errorAdded
unanalyzed	call on com.dmdirc.logger.ErrorFixedStatus:equals
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:renameTo
unanalyzed	call on java.io.File:createNewFile
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.util.concurrent.Semaphore:release
unanalyzed	call on java.io.IOException:printStackTrace
unanalyzed	call on java.io.OutputStream
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.io.PrintWriter:close
unanalyzed	call on java.lang.Throwable:getStackTrace
unanalyzed	call on java.lang.Throwable:toString
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on java.lang.Throwable:getCause
unanalyzed	call on getTrace
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on com.dmdirc.logger.ErrorReportStatus:ordinal
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on equals
unanalyzed	call on getReportStatus
unanalyzed	call on errorStatusChanged
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Arrays:equals
test_vector	!(this.plugin == null) & this.tempLoaded != 0: {1}, {0}
test_vector	!(this.plugin == null) & this.tempLoaded == 0: {0}, {1}
test_vector	(!(this.plugin == null) & this.tempLoaded != 0) \| this.plugin == null: {1}, {0}
test_vector	(!(this.plugin == null) & this.tempLoaded == 0) \| this.plugin == null: {0}, {1}
test_vector	this.tempLoaded: {1}, {0}
test_vector	parentUnloading: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@1050: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@1046: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@1067: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getKeyValue(...) != null

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that this.plugin != null

method not available - call not analyzed Info call on void onUnload()

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that this.provides != null

Prev Msg Next Msg

method	String getLastError()
pre	init'ed(this.lastError)
post	return_value == this.lastError
post	init'ed(return_value)

method	List getClassList()
pre	init'ed(this.myClasses)
post	return_value == this.myClasses
post	init'ed(return_value)

method	String getKeyValue(String, String, String)
pre	init'ed(this.metaData)
presumption	com.dmdirc.util.ConfigFile:getKeyDomain(...)@1105 != null
post	init'ed(return_value)
test_vector	this.metaData: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.util.ConfigFile:isKeyDomain(...)@1104: {0}, {1}

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 getMainClass()
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	Plugin getPlugin()
pre	init'ed(this.plugin)
post	return_value == this.plugin
post	init'ed(return_value)

method	PluginClassLoader getPluginClassLoader()
pre	init'ed(this.classloader)
post	return_value == this.classloader
post	init'ed(return_value)

method	String getFriendlyVersion()
pre	init'ed(this.metaData)
post	java.lang.String:valueOf(...)._tainted == 0
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.updater.Version

method	Version getVersion()
pre	init'ed(this.metaData)
post	return_value == &new Version(getVersion#1)
post	new Version(getVersion#1) num objects == 1
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

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

method	int getAddonID()
pre	(soft) init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	bool isPersistent()
pre	init'ed(this.metaData)
presumption	com.dmdirc.util.ConfigFile:getFlatDomain(...)@1175 != null
post	init'ed(return_value)
test_vector	this.metaData: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.util.ConfigFile:isFlatDomain(...)@1174: {0}, {1}

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

method not available - call not analyzed Info call on List com.dmdirc.util.ConfigFile:getFlatDoma in(String)

method	bool hasPersistent()
pre	init'ed(this.metaData)
presumption	com.dmdirc.util.ConfigFile:getFlatDomain(...)@1189 != null
post	init'ed(return_value)
test_vector	this.metaData: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.util.ConfigFile:isFlatDomain(...)@1188: {0}, {1}

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

method not available - call not analyzed Info call on List com.dmdirc.util.ConfigFile:getFlatDoma in(String)

method	List getPersistentClasses()
pre	init'ed(this.metaData)
pre	(soft) this.url != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourcesStartingWith(...)@1208 != null
presumption	java.util.Iterator:next(...)@1208 != null
post	init'ed(return_value)
post	possibly_updated(this.myResourceManager)
post	new ArrayList(getPersistentClasses#1) num objects == 1
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
test_vector	this.metaData: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.util.ConfigFile:isFlatDomain(...)@1216: {0}, {1}
test_vector	java.lang.String:matches(...)@1209: {0}, {1}

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

method not available - call not analyzed Info call on List com.dmdirc.util.ConfigFile:getFlatDoma in(String)

method	bool isPersistent(String)
pre	init'ed(this.metaData)
presumption	com.dmdirc.util.ConfigFile:getFlatDomain(...)@1233 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
test_vector	this.metaData: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.util.ConfigFile:isFlatDomain(...)@1232: {0}, {1}

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

method not available - call not analyzed Info call on List com.dmdirc.util.ConfigFile:getFlatDoma in(String)

method	String getFilename()
post	return_value == this.filename
post	init'ed(return_value)

method	String getFullFilename()
pre	this.url != null
post	init'ed(return_value)

method	String getRelativeFilename()
pre	init'ed(com/dmdirc/plugins/PluginManager.me)
pre	this.url != null
presumption	getPluginManager(...).myDir != null
presumption	getPluginManager(...)@1262 init'ed
presumption	java.net.URL:getPath(...)@1252 != null
post	com/dmdirc/plugins/PluginManager.me == One-of{old com/dmdirc/plugins/PluginManager.me, &new PluginManager(getPluginManager#1)}
post	com/dmdirc/plugins/PluginManager.me != null
post	java.lang.String:substring(...)._tainted == 0
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	new HashMap(PluginManager#2) num objects <= 1
post	new Hashtable(PluginManager#1) num objects == new HashMap(PluginManager#2) num objects
post	new PluginManager(getPluginManager#1) num objects == new HashMap(PluginManager#2) num objects
post	new PluginClassLoader(getSubClassLoader#1) num objects == undefined
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0, if init'ed
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == undefined
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == null
post	new PluginManager(getPluginManager#1).knownPlugins == &new Hashtable(PluginManager#1)
post	new PluginManager(getPluginManager#1).myDir == &java.lang.StringBuilder:toString(...)
post	new PluginManager(getPluginManager#1).services == &new HashMap(PluginManager#2)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on getPluginInfoByName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on unloadPlugin
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.io.File
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addPlugin
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.io.File:exists
unanalyzed	call on delPlugin
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on java.util.Map:remove
unanalyzed	call on getPossiblePluginInfos
test_vector	java.lang.String:startsWith(...)@1263: {0}, {1}

method	String getAuthor()
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	String getDescription()
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	String getMinVersion()
pre	init'ed(this.metaData)
post	return_value in Addr_Set{null,&""}
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:isEmpty(...)@1287: {1}, {0}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that requiredVersion != null

Prev Msg Next Msg

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(bits.length)

Prev Msg Next Msg

method	String getMaxVersion()
pre	init'ed(this.metaData)
post	return_value == &""
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:isEmpty(...)@1302: {1}, {0}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that requiredVersion != null

Prev Msg Next Msg

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(bits.length)

test always goes same way

Low Prob.

Test predetermined because bits.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because bits.length == 0

Prev Msg Next Msg

method	String getName()
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	String getNiceName()
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	String toString()
pre	init'ed(this.metaData)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	bool loadAll()
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that loadAll != null

Prev Msg Next Msg

method	String getMetaInfo(String)
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	String getMetaInfo(String, String)
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	String getMetaInfo(String[])
pre	metainfo != null
pre	metainfo.length <= 2³²-1
pre	(soft) init'ed(metainfo[...])
pre	(soft) init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	String getMetaInfo(String[], String)
pre	metainfo != null
pre	metainfo.length <= 2³²-1
pre	(soft) init'ed(metainfo[...])
pre	(soft) init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	int compareTo(PluginInfo)
pre	o != null
pre	init'ed(o.metaData)
pre	init'ed(this.metaData)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on getNiceName

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 toString

Prev Msg Next Msg

method	void updateExports()
pre	this.exports != null
pre	this.metaData != null
presumption	java.util.Iterator:next(...)@1418 != null
post	possibly_updated(com/dmdirc/plugins/PluginManager. me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new HashMap(PluginManager#2) num objects == 0
post	new Hashtable(PluginManager#1) num objects == 0
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
post	new PluginManager(getPluginManager#1) num objects == 0
post	init'ed(new PluginManager(getPluginManager#1). knownPlugins)
post	init'ed(new PluginManager(getPluginManager#1). myDir)
post	init'ed(new PluginManager(getPluginManager#1). services)
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on getPluginInfoByName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on unloadPlugin
unanalyzed	call on delProvider
unanalyzed	call on java.util.List:clear
unanalyzed	call on isUnloadable
unanalyzed	call on onUnload
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.Exception:printStackTrace
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.plugins.PluginInfo
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on com.dmdirc.actions.ActionManager:addListene r
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.io.File
unanalyzed	call on java.util.LinkedList:add
unanalyzed	call on java.util.LinkedList:isEmpty
unanalyzed	call on java.util.LinkedList:pop
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:getName
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on addPlugin
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.io.File:exists
unanalyzed	call on delPlugin
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on java.util.Map:remove
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on java.util.List:add
test_vector	com.dmdirc.util.ConfigFile:getFlatDomain(... )@1416: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@1418: {0}, {1}

method not available - call not analyzed Info call on List com.dmdirc.util.ConfigFile:getFlatDoma in(String)

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because bits.length == 0

Prev Msg Next Msg

dead code continues Info Dead code continues

method	ExportedService getExportedService(String)
pre	this.exports != null
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me != null
presumption	com/dmdirc/plugins/GlobalClassLoader.me. resourcesList@1446 != null
presumption	java.util.Map:get(...).className@1446 != null
presumption	java.util.Map:get(...).pluginInfo...url@1446 != null
presumption	java.util.Map:get(...).pluginInfo.classloader. pluginInfo@1446 != null
presumption	java.util.Map:get(...).pluginInfo.classloader@1446 != null
presumption	java.util.Map:get(...).pluginInfo@1446 != null
presumption	java.util.Map:get(...)@1446 != null
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	return_value in Addr_Set{&new ExportedService(g etExportedService#1),&new ExportedService(getEx portedService#1),&new ExportedService(getExpor tedService#2)}
post	new ExportedService(getExportedService#1) num objects <= 1
post	init'ed(new ExportedService(getExportedService#1). myMethod)
post	new ExportedService(getExportedService#1).myObject == null
post	new ExportedService(getExportedService#1*) num objects <= 1
post	init'ed(new ExportedService(getExportedService#1*). myMethod)
post	init'ed(new ExportedService(getExportedService#1*). myObject)
post	new ExportedService(getExportedService#2*) num objects <= 1
post	init'ed(new ExportedService(getExportedService#2*). myMethod)
post	new ExportedService(getExportedService#2*). myObject == null
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	new HashMap(GlobalClassLoader#1) num objects == 0
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginManager
unanalyzed	call on getFullFilename
unanalyzed	call on getName
unanalyzed	call on getMainClass
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.ArrayList
unanalyzed	call on getResourceManager
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:replace
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:findLo adedClass
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:getPar ent
unanalyzed	call on loadClass
unanalyzed	call on isPersistent
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceBytes
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:define Class
unanalyzed	call on java.lang.ClassLoader:loadClass
unanalyzed	call on getPluginInfos
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getClassList
unanalyzed	call on getPluginClassLoader
unanalyzed	call on getPersistentClasses
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.NoClassDefFoundError:getMessage
unanalyzed	call on java.lang.ClassNotFoundException
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:define Class
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:resolv eClass
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getPluginObject
unanalyzed	call on java.lang.Class:getDeclaredMethods
unanalyzed	call on java.lang.reflect.Method:getName
test_vector	java.util.Map:containsKey(...)@1445: {0}, {1}

method	Plugin getPluginObject()
pre	init'ed(this.plugin)
post	return_value == this.plugin
post	init'ed(return_value)

	method not available - call not analyzed	Info	call on InputStream com.dmdirc.util. resourcemanager.ResourceManager:getResourceInputStr eam(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.util.ConfigFile(InputStream )

dead code continues	Info	Dead code continues
dead code continues	Info	Dead code continues
dead code continues	Info	Dead code continues