Messages

Last Msg First Msg

method

com.dmdirc.plugins.GlobalClassLoader__static_init

method	void com.dmdirc.plugins.GlobalClassLoader()
post	this.resourcesList == &new HashMap(GlobalClassL oader#1)
post	new HashMap(GlobalClassLoader#1) num objects == 1

method	bool isClassLoaded(String)
post	init'ed(return_value)

method not available - call not analyzed Info call on Class com.dmdirc.plugins.GlobalClassLoader: findLoadedClass(String)

method	GlobalClassLoader getGlobalClassLoader()
pre	init'ed(me)
post	me == One-of{old me, &new GlobalClassLoader(get GlobalClassLoader#1)}
post	me != null
post	return_value == me
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects <= 1
post	new GlobalClassLoader(getGlobalClassLoader#1). resourcesList == &new HashMap(GlobalClassLoader #1)
post	new HashMap(GlobalClassLoader#1) num objects <= 1
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.util.HashMap
test_vector	me: Inverse{null}, Addr_Set{null}

method	Class loadClass(String, PluginInfo)
pre	pi != null
pre	init'ed(pi.metaData)
pre	(soft) pi.url != null
pre	(soft) this.resourcesList != null
post	possibly_updated(pi.myResourceManager)
post	init'ed(return_value)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 java.util.List:iterator
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:matches
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 com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:replace
test_vector	java.util.Iterator:hasNext(...)@84: {0}, {1}
test_vector	java.util.Map:containsKey(...)@85: {1}, {0}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getPersistentClasses(...) != null

Prev Msg Next Msg

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

method	Class loadClass(String)
pre	(soft) name != null
pre	(soft) init'ed(com/dmdirc/plugins/PluginManager. me)
pre	(soft) me != null
pre	(soft) this.resourcesList != null
presumption	data.length <= 2³²-1
presumption	getPluginClassLoader(...).pluginInfo.url@111 != null
presumption	getPluginClassLoader(...).pluginInfo@111 != null
presumption	getPluginManager(...).knownPlugins != null
presumption	java.util.Iterator:next(...)@111 != null
presumption	me.resourcesList@113 != null
presumption	pi.myClasses@111 != null
post	com/dmdirc/plugins/PluginManager.me == One-of{old com/dmdirc/plugins/PluginManager.me, &new PluginManager(getPluginManager#1)}
post	init'ed(com/dmdirc/plugins/PluginManager.me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(me)
post	init'ed(return_value)
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects == 0
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	new HashMap(GlobalClassLoader#1) num objects == 0
post	new HashMap(PluginManager#2) num objects <= 1
post	new Hashtable(PluginManager#1) num objects <= 1
post	new PluginClassLoader(getSubClassLoader#1) num objects == 0, if init'ed
post	new PluginClassLoader(getSubClassLoader#1). pluginInfo == null
post	new PluginManager(getPluginManager#1) num objects <= 1
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.ClassLoader
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:findLo adedClass
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
unanalyzed	call on java.lang.String:replace
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceBytes
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:define Class
unanalyzed	call on java.lang.ClassLoader:loadClass
unanalyzed	call on getPluginManager
unanalyzed	call on getPluginInfos
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getClassList
unanalyzed	call on java.util.List:contains
unanalyzed	call on getPluginClassLoader
unanalyzed	call on loadClass
unanalyzed	call on getPersistentClasses
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on getFullFilename
unanalyzed	call on java.util.Map:put
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.util.ArrayList
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on getName
unanalyzed	call on addError
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.List:remove
unanalyzed	call on com.dmdirc.util.ConfigFile:isFlatDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getFlatDomain
unanalyzed	call on getPluginInfoByName
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.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 com.dmdirc.plugins.PluginInfo
unanalyzed	call on java.net.MalformedURLException:getMessage
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on java.io.File:exists
unanalyzed	call on delPlugin
unanalyzed	call on com.dmdirc.updater.components. PluginComponent
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.plugins.PluginException:getMessa ge
unanalyzed	call on java.util.Map:remove
unanalyzed	call on getPossiblePluginInfos
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:getPar ent
unanalyzed	call on getResourceManager
unanalyzed	call on isPersistent
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.util.List:add
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
unanalyzed	call on java.lang.String:replaceAll

method	Class defineClass(String, byte[])
pre	data != null
pre	data.length <= 2³²-1
post	init'ed(return_value)

method not available - call not analyzed Info call on Class com.dmdirc.plugins.GlobalClassLoader: defineClass(String, byte[], int, int)

method	byte[] getClassData(String)
pre	(soft) classname != null
pre	(soft) this.resourcesList != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@142 != null
post	init'ed(return_value)

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

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

method not available - call not analyzed Info call on byte[] com.dmdirc.util.resourcemanager. ResourceManager:getResourceBytes(String)