Messages

method

com.dmdirc.commandparser.commands.global. Debug$ValueComparator__static_init

method

com.dmdirc.commandparser.commands.global.Debug__ static_init

method	void com.dmdirc.commandparser.commands.global. Debug()
pre	init'ed(com/dmdirc/commandparser/CommandManager. commandChar)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.Server:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getChannels
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Channel:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getQueries
unanalyzed	call on com.dmdirc.Query:getTabCompleter
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get

method	void execute(InputWindow, bool, CommandArguments)
pre	args != null
pre	init'ed(args.words)
pre	(soft) args.line != null
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) origin != null
presumption	com.dmdirc.Main:getUI(...)@100 != null
presumption	com.dmdirc.Main:getUI(...)@102 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@104 != null
presumption	getArguments(...).length@101 >= 1
presumption	getArguments(...).length@103 >= 1
presumption	getArguments(...).length@71 >= 1
presumption	getArguments(...).length@73 >= 1
presumption	getArguments(...).length@75 >= 1
presumption	getArguments(...).length@77 >= 1
presumption	getArguments(...).length@79 >= 1
presumption	getArguments(...).length@81 >= 1
presumption	getArguments(...).length@83 >= 1
presumption	getArguments(...).length@85 >= 1
presumption	getArguments(...).length@87 >= 1
presumption	getArguments(...).length@89 >= 1
presumption	getArguments(...).length@91 >= 1
presumption	getArguments(...).length@93 >= 1
presumption	getArguments(...).length@95 >= 1
presumption	getArguments(...).length@97 >= 1
presumption	getArguments(...).length@99 >= 1
presumption	getArguments(...)[1]@72 != null
presumption	getArguments(...)[1]@98 != null
presumption	getArguments(...)[2]@72 != null
presumption	java.util.Arrays:copyOfRange(...)@99 != null
post	args.words != null
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	init'ed(java.lang.String:split(...)._tainted)
post	java.lang.String:split(...)._tainted == 0
post	init'ed(java.lang.String:split(...).length)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	new MapList(ConfigManager#1) num objects <= 1
unanalyzed	call on java.lang.String:equals
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.lang.Exception
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on sendLine
unanalyzed	call on com.dmdirc.Server:addRaw
unanalyzed	call on java.util.TreeSet
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.TreeSet:addAll
unanalyzed	call on java.util.TreeSet:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.lang.System:gc
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getAllServ ices
unanalyzed	call on java.util.List:iterator
unanalyzed	call on com.dmdirc.plugins.Service:toString
unanalyzed	call on com.dmdirc.plugins.Service:getProviders
unanalyzed	call on com.dmdirc.plugins.ServiceProvider:getProvi derName
unanalyzed	call on com.dmdirc.plugins.ServiceProvider:isActive
unanalyzed	call on com.dmdirc.Server:getName
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getServerNa me
unanalyzed	call on com.dmdirc.Server:getNetwork
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getIRCD
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getBoolChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getListChan Modes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetOnlyC hanModes
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getSetUnset ChanModes
unanalyzed	call on java.lang.Thread:getAllStackTraces
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.Thread:getName
unanalyzed	call on java.lang.StackTraceElement:toString
unanalyzed	call on com.dmdirc.updater.UpdateChecker
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:totalMemory
unanalyzed	call on java.lang.Runtime:freeMemory
unanalyzed	call on java.lang.System:nanoTime
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on com.dmdirc.Server:getStatus
unanalyzed	call on com.dmdirc.ServerStatus:getTransitionHistor y
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon figManager
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on getCommandChar
unanalyzed	call on java.lang.Character:valueOf
test_vector	getArguments(...).length@69: {1..+Inf}, {0}
test_vector	java.lang.String:equals(...)@101: {0}, {1}
test_vector	java.lang.String:equals(...)@103: {0}, {1}
test_vector	java.lang.String:equals(...)@71: {0}, {1}
test_vector	java.lang.String:equals(...)@73: {0}, {1}
test_vector	java.lang.String:equals(...)@75: {0}, {1}
test_vector	java.lang.String:equals(...)@77: {0}, {1}
test_vector	java.lang.String:equals(...)@79: {0}, {1}
test_vector	java.lang.String:equals(...)@81: {0}, {1}
test_vector	java.lang.String:equals(...)@83: {0}, {1}
test_vector	java.lang.String:equals(...)@85: {0}, {1}
test_vector	java.lang.String:equals(...)@87: {0}, {1}
test_vector	java.lang.String:equals(...)@89: {0}, {1}
test_vector	java.lang.String:equals(...)@91: {0}, {1}
test_vector	java.lang.String:equals(...)@93: {0}, {1}
test_vector	java.lang.String:equals(...)@95: {0}, {1}
test_vector	java.lang.String:equals(...)@97: {0}, {1}
test_vector	java.lang.String:equals(...)@99: {0}, {1}

method not available - call not analyzed Info call on UIController com.dmdirc.Main:getUI()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. UIController:showFirstRunWizard()

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on Color com.dmdirc.WritableFrameContainer:get Notification()

method	void doError(String[])
pre	args != null
pre	(soft) args[1] != null
pre	(soft) args[2] != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.FATAL)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.UNKNOWN)
test_vector	args.length: {0,1}, {3..+Inf}
test_vector	java.lang.String:equals(...)@121: {0}, {1}
test_vector	java.lang.String:equals(...)@123: {0}, {1}
test_vector	java.lang.String:equals(...)@125: {0}, {1}
test_vector	java.lang.String:equals(...)@127: {0}, {1}
test_vector	java.lang.String:equals(...)@132: {0}, {1}

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

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

method	void doShowRaw(InputWindow, bool)
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@150 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@146 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@150 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	origin: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@146: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@146: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on Server com.dmdirc.WritableFrameContainer:ge tServer()

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on Server com.dmdirc.WritableFrameContainer:ge tServer()

method not available - call not analyzed Info call on void com.dmdirc.Server:addRaw()

method	void doConfigStats(InputWindow, bool)
presumption	java.util.Iterator:next(...)@164 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	java.util.Iterator:hasNext(...)@164: {0}, {1}

method	void doMemInfo(InputWindow, bool)
presumption	java.lang.Runtime:freeMemory(...)@181 - java.lang.Runtime:totalMemory(...)@181 in {-2⁶⁴+1..9_223_372_036_854_77 5_808}
presumption	java.lang.Runtime:getRuntime(...)@177 != null
presumption	java.lang.Runtime:getRuntime(...)@179 != null
presumption	java.lang.Runtime:getRuntime(...)@181 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e

method	void doColourSpam(InputWindow, bool)
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e

method	void doGarbage(InputWindow, bool)
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e

method	void doConfigInfo(InputWindow, bool)
pre	origin != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getConfigManag er(...)@219 != null
presumption	java.util.Iterator:next(...)@219 != null
presumption	source.myTarget@219 != null
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	java.util.Iterator:hasNext(...)@219: {0}, {1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.ui.interfaces. InputWindow:getConfigManager()

method	void doGlobalConfigInfo(InputWindow, bool)
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	java.util.Iterator:next(...)@232 != null
presumption	source.myTarget@232 != null
post	com/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:add
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on addListener
unanalyzed	call on getSources
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	java.util.Iterator:hasNext(...)@232: {0}, {1}

method

void doForceUpdate()

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

method	void doThreads(InputWindow, bool)
presumption	arr$.length@256 <= 2³²-1
presumption	arr$[i$]@256 != null
presumption	java.lang.Thread:getAllStackTraces(...)@252 != null
presumption	java.util.Iterator:next(...)@252 != null
presumption	java.util.Map:entrySet(...)@252 != null
presumption	java.util.Map_Entry:getKey(...)@253 != null
presumption	java.util.Map_Entry:getValue(...)@256 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	java.util.Iterator:hasNext(...)@252: {0}, {1}

method	void doServerState(InputWindow, bool)
pre	origin != null
presumption	com.dmdirc.Server:getStatus(...)@274 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@273 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@270 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@273 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@270: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on Server com.dmdirc.WritableFrameContainer:ge tServer()

method not available - call not analyzed Info call on ServerStatus com.dmdirc.Server:getStatus()

method not available - call not analyzed Info call on String com.dmdirc.ServerStatus:getTransitio nHistory()

method	void doServerInfo(InputWindow, bool)
pre	origin != null
presumption	com.dmdirc.Server:getParser(...)@290 != null
presumption	com.dmdirc.Server:getParser(...)@293 != null
presumption	com.dmdirc.Server:getParser(...)@296 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@288 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@285 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@288 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@285: Inverse{null}, Addr_Set{null}

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

method not available - call not analyzed Info call on Server com.dmdirc.WritableFrameContainer:ge tServer()

method not available - call not analyzed Info call on String com.dmdirc.Server:getName()

method not available - call not analyzed Info call on String com.dmdirc.Server:getNetwork()

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getBoolChanModes()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getListChanModes()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getSetOnlyChanModes()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCParser:getSetUnsetChanModes()

method	void doBenchmark(InputWindow)
pre	(soft) origin != null
presumption	java.lang.System:nanoTime(...)@319 - java.lang.System:nanoTime(...)@313 in {-2⁶³..18_446_744_073_709_55 1_615}

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. InputWindow:addLine(String, Object[])

method	void doServices(InputWindow, bool, String[])
pre	(soft) args != null
pre	(soft) args[1] != null
presumption	com.dmdirc.plugins.PluginManager:getAllServices(... )@340 != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@340 != null
presumption	com.dmdirc.plugins.Service:getProviders(...)@343 != null
presumption	java.util.Iterator:next(...)@340 != null
presumption	java.util.Iterator:next(...)@343 != null
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vector	args.length: {0,1}, {2..+Inf}
test_vector	java.lang.String:equals(...)@342: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@340: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@343: {0}, {1}

method not available - call not analyzed Info call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()

method not available - call not analyzed Info call on List com.dmdirc.plugins.PluginManager:getAl lServices()

method not available - call not analyzed Info call on String com.dmdirc.plugins.Service:toString( )

method not available - call not analyzed Info call on List com.dmdirc.plugins.Service:getProvider s()

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

method not available - call not analyzed Info call on bool com.dmdirc.plugins.ServiceProvider:isA ctive()

method	String getName()
post	return_value == &"debug"

method	bool showInHelp()
post	return_value == 0

method	String getHelp()
post	return_value == null

method	AdditionalTabTargets getSuggestions(int, List)
pre	(soft) previousArgs != null
post	return_value == &new AdditionalTabTargets(getSu ggestions#1)
post	new AdditionalTabTargets(getSuggestions#1) num objects == 1
test_vector	arg: {2}, {0}, {1}
test_vector	java.lang.String:equals(...)@395: {0}, {1}
test_vector	java.lang.String:equals(...)@398: {0}, {1}
test_vector	java.lang.String:equals(...)@400: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.input.AdditionalTabTarge ts()

method not available - call not analyzed Info call on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()

method not available - call not analyzed Info call on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)

method	int compare(Object, Object)
pre	x0 != null
pre	x1 != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on java.lang.Integer:compareTo
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.lang.String:compareToIgnoreCase

method

void com.dmdirc.commandparser.commands.global. Debug$ValueComparator()

method	int compare(Map$Entry, Map$Entry)
pre	o1 != null
pre	o2 != null
presumption	java.lang.Integer:compareTo(...)@431 <= 2³¹
presumption	java.util.Map_Entry:getKey(...)@434 != null
presumption	java.util.Map_Entry:getValue(...)@431 != null
post	init'ed(return_value)
test_vector	java.lang.Integer:compareTo(...)@431: {-2³¹..-1, 1..2³¹}, {0}

	method not available - call not analyzed	Info	call on UIController com.dmdirc.Main:getUI()
	method not available - call not analyzed	Info	call on void com.dmdirc.ui.interfaces. UIController:showFirstRunWizard()

	method not available - call not analyzed	Info	call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()
	method not available - call not analyzed	Info	call on Color com.dmdirc.WritableFrameContainer:get Notification()

	method not available - call not analyzed	Info	call on ServerStatus com.dmdirc.Server:getStatus()
	method not available - call not analyzed	Info	call on String com.dmdirc.ServerStatus:getTransitio nHistory()

	method not available - call not analyzed	Info	call on IRCParser com.dmdirc.Server:getParser()
	method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. IRCParser:getServerName()

	method not available - call not analyzed	Info	call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
	method not available - call not analyzed	Info	call on List com.dmdirc.plugins.PluginManager:getAl lServices()

	method not available - call not analyzed	Info	call on String com.dmdirc.plugins.ServiceProvider:g etProviderName()
	method not available - call not analyzed	Info	call on bool com.dmdirc.plugins.ServiceProvider:isA ctive()