Messages

Last Msg First Msg

method

com.dmdirc.plugins.PluginManager__static_init

method	void com.dmdirc.plugins.PluginManager()
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ PREFS_CLOSED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ PREFS_OPENED)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.knownPlugins == &new Hashtable(PluginManag er#1)
post	this.myDir == &java.lang.StringBuilder:toString (...)
post	this.services == &new HashMap(PluginManager#2)
post	new HashMap(PluginManager#2) num objects == 1
post	new Hashtable(PluginManager#1) num objects == 1

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

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

method	Service getService(String, String)
pre	this.services != null
post	init'ed(return_value)
post	new ArrayList(Service#1) num objects == 0
post	new Service(getService#1*) num objects == 0
post	new Service(getService#3*) num objects == 0
post	not_init'ed(new Service(getService#1*).name)
post	not_init'ed(new Service(getService#3*).name)
post	init'ed(new Service(getService#1*).serviceproviders )
post	not_init'ed(new Service(getService#1*).type)
post	not_init'ed(new Service(getService#3*).type)
post	not_init'ed(new Service(getService#3*). serviceproviders)
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:put

method	Service getService(String, String, bool)
pre	this.services != null
presumption	java.util.Map:get(...)@97 != null
post	init'ed(return_value)
post	new ArrayList(Service#1) num objects <= 1
post	new Service(getService#1) num objects <= 1
post	new Service(getService#1).name == name
post	init'ed(new Service(getService#1).name)
post	init'ed(new Service(getService#1).serviceproviders)
post	new Service(getService#1).type == type
post	init'ed(new Service(getService#1).type)
post	new Service(getService#3) num objects <= 1
post	new Service(getService#3).name == name
post	init'ed(new Service(getService#3).name)
post	new Service(getService#3).serviceproviders == &new ArrayList(Service#1)
post	new Service(getService#3).type == type
post	init'ed(new Service(getService#3).type)
unanalyzed	call on java.util.ArrayList
test_vector	create: {0}, {1}
test_vector	java.util.Map:containsKey(...)@96: {0}, {1}
test_vector	java.util.Map:containsKey(...)@99: {0}, {1}

method	ServiceProvider getServiceProvider(String, String)
pre	this.services != null
post	return_value != null
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 java.util.List:iterator
unanalyzed	call on isActive
unanalyzed	call on activateServices

Prev Msg Next Msg

conditional throw

click for all messages in this file Medium Prob.

check that service != null

conditional throw

Medium Prob.

check that provider != null

Prev Msg Next Msg

method	ServiceProvider getServiceProvider(String, List, bool)
pre	names != null
pre	(soft) fallback == 1
pre	(soft) this.services != null
presumption	java.util.List:get(...)@164 != null
presumption	java.util.List:size(...)@163 >= 1
post	return_value != null
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 getService
unanalyzed	call on java.util.List:iterator
unanalyzed	call on isActive
unanalyzed	call on activateServices
test_vector	java.util.Iterator:hasNext(...)@154: {0}, {1}

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because provider != null

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because provider != null

Prev Msg Next Msg

method	ExportedService getExportedService(String)
pre	this.services != null
pre	(soft) com/dmdirc/plugins/GlobalClassLoader.me != null
presumption	getServiceProvider(...).exports@181 != null
post	init'ed(com/dmdirc/plugins/GlobalClassLoader.me)
post	return_value == One-of{&new ExportedService(get ExportedService#1), &new ExportedService(getEx portedService#2)}
post	return_value in Addr_Set{&new ExportedService(g etExportedService#1),&new ExportedService(getE xportedService#2),&new ExportedService(getExpo rtedService#1*)}
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#1*). myObject == null
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.util.HashMap
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on getPluginInfos
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
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 java.util.List:iterator
unanalyzed	call on java.net.URL:getPath
unanalyzed	call on getFullFilename
unanalyzed	call on getService
unanalyzed	call on isActive
unanalyzed	call on activateServices
unanalyzed	call on getPluginClassLoader
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
unanalyzed	call on getResourceManager
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:findLo adedClass
unanalyzed	call on java.lang.ClassLoader
unanalyzed	call on com.dmdirc.plugins.GlobalClassLoader:findLo adedClass
unanalyzed	call on com.dmdirc.plugins.PluginClassLoader:getPar ent
unanalyzed	call on java.lang.String:replace
unanalyzed	call on isPersistent
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager:resourceExists
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 java.util.Collection:iterator
unanalyzed	call on getClassList
unanalyzed	call on getPersistentClasses
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	List getServicesByType(String)
pre	this.services != null
presumption	java.util.Map:get(...)@193 != null
post	return_value in Addr_Set{&new ArrayList(getServ icesByType#2),&new ArrayList(getServicesByType# 1)}
post	new ArrayList(getServicesByType#1) num objects <= 1
post	new ArrayList(getServicesByType#2) num objects <= 1
test_vector	java.util.Map:containsKey(...)@192: {0}, {1}

method	List getAllServices()
pre	this.services != null
presumption	java.util.Iterator:next(...)@208 != null
presumption	java.util.Map:values(...)@208 != null
post	return_value == &new ArrayList(getAllServices#1 )
post	new ArrayList(getAllServices#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@208: {0}, {1}

method	void doAutoLoad()
pre	(soft) this.knownPlugins != null
presumption	com.dmdirc.config.ConfigManager:getOptionList(... )@219 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@219 != null
presumption	java.util.Iterator:next(...)@219 != null
presumption	java.util.Map:get(...)@348 != null
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:toLowerCase
test_vector	java.lang.String:charAt(...)@221: {35}, {0..34, 36..2¹⁶-1}
test_vector	java.lang.String:isEmpty(...)@221: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@219: {0}, {1}
test_vector	java.util.Map:get(...)@348: Addr_Set{null}, Inverse{null}

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

method not available - call not analyzed Info call on List com.dmdirc.config.ConfigManager:getOpt ionList(String, String)

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

method	PluginManager getPluginManager()
pre	init'ed(me)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	me == One-of{old me, &new PluginManager(getPlug inManager#1)}
post	me != null
post	return_value == me
post	new HashMap(PluginManager#2) num objects <= 1
post	new Hashtable(PluginManager#1) num objects <= 1
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) num objects <= 1
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.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
test_vector	me: Inverse{null}, Addr_Set{null}

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

method	bool addPlugin(String)
pre	filename != null
pre	this.knownPlugins != null
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new Class[](ErrorManager__static_init#2)[...] != null
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).logReports)
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new ErrorManager(ErrorManager__static_init#1). nextErrorID != null
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).sendReports)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).reportThread)
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
presumption	java.lang.String:isEmpty(...)@273 == 1
presumption	pluginInfo.requirementsError@270 != null
post	com/dmdirc/logger/ProgramError.errorDir == One-of{old com/dmdirc/logger/ProgramError. errorDir, &new File(getErrorFile#1)}
post	init'ed(com/dmdirc/logger/ProgramError.errorDir)
post	init'ed(return_value)
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	init'ed(com.dmdirc.logger.ErrorManager__static_ init.new ErrorManager(ErrorManager__static_init#1). reportThread)
post	new ErrorReportingThread(sendError#1) num objects == 0
post	init'ed(new ErrorReportingThread(sendError#1). queue)
post	new File(getErrorFile#1) num objects <= 1
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getErrorManager
unanalyzed	call on addError
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.plugins.PluginInfo
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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.lang.String:isEmpty
unanalyzed	call on java.util.Arrays:copyOf
unanalyzed	call on java.util.Date:clone
unanalyzed	call on java.util.List:contains
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 java.util.List:iterator
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:exists
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.io.File
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	java.io.File:exists(...)@258: {1}, {0}
test_vector	java.util.Map:containsKey(...)@254: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.updater.components. PluginComponent(PluginInfo)

method not available - call not analyzed Info call on String com.dmdirc.plugins.PluginException:g etMessage()

method	bool delPlugin(String)
pre	filename != null
pre	this.knownPlugins != null
presumption	java.util.Map:get(...)@348 != null
presumption	pluginInfo.children@300 != null
presumption	pluginInfo.plugin@300 != null
presumption	pluginInfo.provides@300 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	init'ed(return_value)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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.util.Map:containsKey
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 java.util.List:contains
unanalyzed	call on getPluginManager
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
test_vector	java.util.Map:containsKey(...)@296: {1}, {0}

method	bool reloadPlugin(String)
pre	filename != null
pre	this.knownPlugins != null
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).reportThread)
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
presumption	java.util.Map:get(...)@348 != null
post	com/dmdirc/logger/ProgramError.errorDir == old com/dmdirc/logger/ProgramError.errorDir
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	init'ed(return_value)
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	new ErrorReportingThread(sendError#1) num objects == undefined
post	new ErrorReportingThread(sendError#1) num objects == 0, if init'ed
post	new File(getErrorFile#1) num objects == new ErrorReportingThread(sendError#1) num objects
post	new ErrorReportingThread(sendError#1).queue == undefined
post	new ErrorReportingThread(sendError#1).queue == null
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	possibly_updated(new PluginClassLoader(getSubClassL oader#1).pluginInfo)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 java.util.List:contains
unanalyzed	call on getPluginManager
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.util.Map:remove
test_vector	addPlugin(...)@322: {0}, {1}
test_vector	java.util.Map:containsKey(...)@316: {1}, {0}

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

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

method	void reloadAllPlugins()
pre	this.knownPlugins != null
presumption	java.util.Iterator:next(...)@336 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
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
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
test_vector	java.util.Iterator:hasNext(...)@336: {0}, {1}

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

method	PluginInfo getPluginInfo(String)
pre	filename != null
pre	this.knownPlugins != null
post	init'ed(return_value)

method	PluginInfo getPluginInfoByName(String)
pre	this.knownPlugins != null
presumption	java.util.Iterator:next(...)@358 != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
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:equalsIgnoreCase(...)@359: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@358: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getName(...) != null

Prev Msg Next Msg

method	String getDirectory()
post	return_value == this.myDir
post	init'ed(return_value)

method	List getPossiblePluginInfos(bool)
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new Class[](ErrorManager__static_init#2)[...] != null
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).logReports)
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new ErrorManager(ErrorManager__static_init#1). nextErrorID != null
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).sendReports)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).reportThread)
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
pre	(soft) this.knownPlugins != null
pre	(soft) this.myDir != null
presumption	arr$.length@394 <= 2³²-1
presumption	java.io.File:getName(...)@397 != null
presumption	java.io.File:getPath(...)@398 != null
presumption	java.io.File:listFiles(...)@394 != null
presumption	java.util.Iterator:next(...)@416 != null
presumption	java.util.LinkedList:pop(...)@392 != null
presumption	java.util.Map:values(...)@416 != null
presumption	pi.filename@416 != null
presumption	pi.url@416 != null
post	init'ed(com/dmdirc/logger/ProgramError.errorDir)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	return_value == &new LinkedList(getPossiblePlug inInfos#10)
post	init'ed(com.dmdirc.logger.ErrorManager__static_ init.new ErrorManager(ErrorManager__static_init#1). reportThread)
post	init'ed(new ErrorReportingThread(sendError#1) num objects)
post	new ErrorReportingThread(sendError#1) num objects == undefined
post	new ErrorReportingThread(sendError#1) num objects == 0, if init'ed
post	new File(getErrorFile#1) num objects == new ErrorReportingThread(sendError#1) num objects
post	init'ed(new ErrorReportingThread(sendError#1). queue)
post	new ErrorReportingThread(sendError#1).queue == undefined
post	new ErrorReportingThread(sendError#1).queue == null
post	init'ed(new File(getErrorFile#1) num objects)
post	new LinkedList(getPossiblePluginInfos#10) num objects == 1
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1). pluginInfo)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getErrorManager
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 java.util.List:contains
unanalyzed	call on getPluginManager
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.net.URL:getPath
unanalyzed	call on java.util.Map:remove
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:exists
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.io.File
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	addPlugins: {0}, {1}
test_vector	java.io.File:exists(...)@417: {1}, {0}
test_vector	java.io.File:isDirectory(...)@393: {0}, {1}
test_vector	java.io.File:isFile(...)@397: {0}, {1}
test_vector	java.lang.String:endsWith(...)@397: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@416: {0}, {1}
test_vector	java.util.LinkedList:isEmpty(...)@391: {1}, {0}

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

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

method	void updateAutoLoad(PluginInfo)
pre	plugin != null
pre	init'ed(plugin.plugin)
pre	(soft) init'ed(plugin.tempLoaded)
presumption	com.dmdirc.config.ConfigManager:getOptionList(... )@433 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@442 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@433 != null
test_vector	!(plugin.plugin == null) & plugin.tempLoaded == 0: {0}, {1}
test_vector	java.util.List:contains(...)@436: {1}, {0}
test_vector	java.util.List:contains(...)@438: {0}, {1}

call too complex - analysis skipped Info call on String getRelativeFilename()

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

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, List)

method	Collection getPluginInfos()
pre	this.knownPlugins != null
post	return_value == &new ArrayList(getPluginInfos#1 )
post	new ArrayList(getPluginInfos#1) num objects == 1

method	void processEvent(ActionType, StringBuffer, Object[])
pre	type != null
pre	(soft) arguments != null
pre	(soft) arguments.length >= 1
pre	(soft) init'ed(arguments[0])
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new Class[](ErrorManager__static_init#2)[...] != null
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).logReports)
pre	(soft) com.dmdirc.logger.ErrorManager__static_init. new ErrorManager(ErrorManager__static_init#1). nextErrorID != null
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).sendReports)
pre	(soft) init'ed(com.dmdirc.ui.FatalErrorDialog$4__ static_init.new int[](FatalErrorDialog$4__static_in it#1)[...])
pre	(soft) init'ed(com.dmdirc.logger.ErrorManager__ static_init.new ErrorManager(ErrorManager__static_i nit#1).reportThread)
pre	(soft) init'ed(com/dmdirc/logger/ProgramError. errorDir)
pre	(soft) this.knownPlugins != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ PREFS_CLOSED)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ PREFS_OPENED)
presumption	java.util.Iterator:next(...)@458 != null
presumption	java.util.Iterator:next(...)@471 != null
presumption	pi.children@471 != null
presumption	pi.provides@471 != null
post	init'ed(com/dmdirc/logger/ProgramError.errorDir)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	possibly_updated(java.lang.StringBuilder:toString(. ..)._tainted)
post	init'ed(com.dmdirc.logger.ErrorManager__static_ init.new ErrorManager(ErrorManager__static_init#1). reportThread)
post	init'ed(new ErrorReportingThread(sendError#1) num objects)
post	init'ed(new ErrorReportingThread(sendError#1). queue)
post	init'ed(new File(getErrorFile#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1) num objects)
post	init'ed(new PluginClassLoader(getSubClassLoader#1). pluginInfo)
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 getErrorManager
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 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: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 java.util.List:contains
unanalyzed	call on getPluginManager
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.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:exists
unanalyzed	call on com.dmdirc.Main:getConfigDir
unanalyzed	call on java.io.File
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	java.lang.Object:equals(...)@457: {0}, {1}
test_vector	java.lang.Object:equals(...)@470: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@471: {0}, {1}
test_vector	pi.tempLoaded@458: {0}, {1}

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on List com.dmdirc.config.ConfigManager:getOpt ionList(String, String)

	method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, List)