Messages

Last Msg First Msg

method

com.dmdirc.plugins.PluginClassLoader__static_init

method	void com.dmdirc.plugins.PluginClassLoader(PluginIn fo)
post	this.pluginInfo == info
post	init'ed(this.pluginInfo)

method	void com.dmdirc.plugins.PluginClassLoader(PluginIn fo, PluginClassLoader)
post	this.pluginInfo == info
post	init'ed(this.pluginInfo)

method	PluginClassLoader getSubClassLoader(PluginInfo)
post	return_value == &new PluginClassLoader(getSubCl assLoader#1)
post	new PluginClassLoader(getSubClassLoader#1) num objects == 1
post	return_value.pluginInfo == info
post	init'ed(return_value.pluginInfo)
unanalyzed	call on java.lang.ClassLoader

method	Class loadClass(String)
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me. resourcesList != null
pre	(soft) name != null
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me != null
pre	(soft) init'ed(this.pluginInfo.myResourceManager)
pre	(soft) this.pluginInfo != null
pre	(soft) init'ed(this.pluginInfo.metaData)
pre	(soft) this.pluginInfo.url != null
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	init'ed(return_value)
post	init'ed(this.pluginInfo.myResourceManager)
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 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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getResourceManager
unanalyzed	call on java.lang.String:replace
unanalyzed	call on isPersistent
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
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 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 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 getName
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.net.URL:getPath
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.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.ArrayList
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain

method	bool isClassLoaded(String, bool)
pre	(soft) init'ed(com/dmdirc/plugins/GlobalClassLoader .me)
post	com/dmdirc/plugins/GlobalClassLoader.me == One-of{old com/dmdirc/plugins/GlobalClassLoader. me, &new GlobalClassLoader(getGlobalClassLoader #1)}
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	init'ed(return_value)
post	new GlobalClassLoader(getGlobalClassLoader#1) num objects <= 1
post	init'ed(new GlobalClassLoader(getGlobalClassLoader# 1).resourcesList)
post	new HashMap(GlobalClassLoader#1) num objects <= 1
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on java.util.HashMap
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:findLo adedClass

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

method	Class loadClass(String, bool)
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me. resourcesList != null
pre	(soft) name != null
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me != null
pre	(soft) init'ed(this.pluginInfo.myResourceManager)
pre	(soft) this.pluginInfo != null
pre	(soft) init'ed(this.pluginInfo.metaData)
pre	(soft) this.pluginInfo.url != null
presumption	com.dmdirc.plugins.PluginClassLoader:defineClass(.. .)@156 != null
presumption	com.dmdirc.plugins.PluginClassLoader:getParent(... ).pluginInfo.url@103 != null
presumption	com.dmdirc.plugins.PluginClassLoader:getParent(... ).pluginInfo@103 != null
presumption	com.dmdirc.plugins.PluginClassLoader:getParent(... )@103 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:get ResourceBytes(...)@147 != null
presumption	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@146 == 1
presumption	com/dmdirc/plugins/GlobalClassLoader.me. resourcesList@103 != null
presumption	data.length@147 <= 2³²-1
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	init'ed(return_value)
post	init'ed(this.pluginInfo.myResourceManager)
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	possibly_updated(new GlobalClassLoader(getGlobalCla ssLoader#1).resourcesList)
post	new HashMap(GlobalClassLoader#1) num objects <= 1
post	new HashMap(GlobalClassLoader#1) num objects == 0
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 java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getResourceManager
unanalyzed	call on java.lang.String:replace
unanalyzed	call on isPersistent
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
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 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 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 getName
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.net.URL:getPath
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.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.ArrayList
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesStartingWith
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
test_vector	askGlobal: {0}, {1}
test_vector	com.dmdirc.util.resourcemanager.ResourceManager:res ourceExists(...)@121: {1}, {0}

method not available - call not analyzed Info call on ClassLoader com.dmdirc.plugins. PluginClassLoader:getParent()

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

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

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

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

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

Prev Msg Next Msg

conditional throw

click for all messages in this file Low Prob.

check that loadedClass != null

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.plugins.PluginClassLoader:r esolveClass(Class)