Messages

method

com.dmdirc.commandparser.parsers.CommandParser__ static_init

method	void com.dmdirc.commandparser.parsers. CommandParser()
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)[...])
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	this.commands == &new Hashtable(CommandParser#1 )
post	this.history == &new RollingList(CommandParser# 2)
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	init'ed(new ConfigManager(getGlobalConfig#1).file)
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)
post	new Hashtable(CommandParser#1) num objects == 1
post	new RollingList(CommandParser#2) num objects == 1
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
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 java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on loadCommands
unanalyzed	call on java.util.HashMap
unanalyzed	call on getType
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 com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on com.dmdirc.util.MapList:add

method not available - call not analyzed Info call on void com.dmdirc.util.RollingList(int)

method	void registerCommand(Command, CommandInfo)
pre	info != null
pre	this.commands != null
presumption	getName(...)@91 != null

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

method	void unregisterCommand(CommandInfo)
pre	info != null
pre	this.commands != null
presumption	getName(...)@101 != null

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

method	Map getCommands()
post	return_value == &new HashMap(getCommands#1)
post	new HashMap(getCommands#1) num objects == 1

method	void parseCommand(InputWindow, String, bool)
pre	line != null
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
pre	(soft) this.commands != null
pre	(soft) this.history != null
presumption	args.words.length@131 <= 2³²-1
presumption	args.words.length@139 <= 2³²-1
presumption	cargs.length@131 >= 1
presumption	com.dmdirc.Channel:getFrame(...)@139 != null
presumption	com.dmdirc.Server:getChannel(...)@139 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@131 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@136 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).commands@139 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).history@139 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@139 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@131 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@136 != null
presumption	java.util.Arrays:copyOfRange(...)@99 != null
presumption	java.util.Map:get(...)@158 != null
presumption	java.util.Map_Entry:getValue(...)@148 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on com.dmdirc.util.RollingList:remove
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getAnnotation
unanalyzed	call on java.lang.Class:isAnnotationPresent
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on handleNonCommand
unanalyzed	call on com.dmdirc.Server:sendLine
unanalyzed	call on com.dmdirc.Query:sendLine
unanalyzed	call on com.dmdirc.Channel:sendLine
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on parseCommand
unanalyzed	call on com.dmdirc.commandparser.CommandArguments
unanalyzed	call on isCommand
unanalyzed	call on isSilent
unanalyzed	call on getCommandName
unanalyzed	call on getArguments
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:isValidChannelName
unanalyzed	call on isChannelCommand
unanalyzed	call on com.dmdirc.Server:hasChannel
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Channel:getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on getCommandChar
unanalyzed	call on getWordsAsString
unanalyzed	call on getCommand
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on execute
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on getStrippedLine
unanalyzed	call on java.util.Map:get
unanalyzed	call on executeCommand
unanalyzed	call on hasCommandOptions
unanalyzed	call on getCommandOptions
unanalyzed	call on allowOffline
unanalyzed	call on com.dmdirc.Server:getState
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on handleInvalidCommand
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.HashMap
unanalyzed	call on getType
unanalyzed	call on java.util.Map:put
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 com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:sendLine
unanalyzed	call on getArgumentsAsString
unanalyzed	call on showUsage
unanalyzed	call on com.dmdirc.MessageTarget:sendAction
unanalyzed	call on java.lang.Character:valueOf
test_vector	origin: Addr_Set{null}, Inverse{null}
test_vector	parseChannel: {0}, {1}
test_vector	com.dmdirc.Server:hasChannel(...)@138: {0}, {1}
test_vector	com.dmdirc.Server:isValidChannelName(...)@131: {0}, {1}
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@131: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@131: Addr_Set{null}, Inverse{null}
test_vector	getArguments(...).length@131: {0}, {1..+Inf}
test_vector	java.util.Map:containsKey(...)@156: {0}, {1}

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 bool com.dmdirc.Server:isValidChannelName(S tring)

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

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

method not available - call not analyzed Info call on InputWindow com.dmdirc.Channel:getFrame()

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

method	void addHistory(String)
pre	this.history != null
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime

method not available - call not analyzed Info call on bool com.dmdirc.util.RollingList:remove(Obj ect)

method not available - call not analyzed Info call on bool com.dmdirc.util.RollingList:add(Object )

method	long getCommandTime(String)
pre	this.history != null
presumption	com.dmdirc.util.RollingList:getList(...)@191 != null
presumption	java.util.Iterator:next(...)@191 != null
presumption	pc.line@191 != null
post	init'ed(return_value)
test_vector	java.lang.String:matches(...)@192: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@191: {1}, {0}

method not available - call not analyzed Info call on List com.dmdirc.util.RollingList:getList()

method	void parseCommand(InputWindow, String)
pre	line != null
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
pre	(soft) this.commands != null
pre	(soft) this.history != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on com.dmdirc.util.RollingList:remove
unanalyzed	call on com.dmdirc.util.RollingList:add
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getAnnotation
unanalyzed	call on java.lang.Class:isAnnotationPresent
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on handleNonCommand
unanalyzed	call on com.dmdirc.Server:sendLine
unanalyzed	call on com.dmdirc.Query:sendLine
unanalyzed	call on com.dmdirc.Channel:sendLine
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on parseCommand
unanalyzed	call on com.dmdirc.commandparser.CommandArguments
unanalyzed	call on isCommand
unanalyzed	call on isSilent
unanalyzed	call on getCommandName
unanalyzed	call on getArguments
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzed	call on com.dmdirc.WritableFrameContainer:getServer
unanalyzed	call on com.dmdirc.Server:isValidChannelName
unanalyzed	call on isChannelCommand
unanalyzed	call on com.dmdirc.Server:hasChannel
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Channel:getFrame
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzed	call on getCommandChar
unanalyzed	call on getWordsAsString
unanalyzed	call on getCommand
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on execute
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on getStrippedLine
unanalyzed	call on java.util.Map:get
unanalyzed	call on executeCommand
unanalyzed	call on hasCommandOptions
unanalyzed	call on getCommandOptions
unanalyzed	call on allowOffline
unanalyzed	call on com.dmdirc.Server:getState
unanalyzed	call on com.dmdirc.Server:getParser
unanalyzed	call on handleInvalidCommand
unanalyzed	call on com.dmdirc.actions.ActionManager:processEve nt
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.util.HashMap
unanalyzed	call on getType
unanalyzed	call on java.util.Map:put
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 com.dmdirc.commandparser.CommandType:equals
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:sendLine
unanalyzed	call on getArgumentsAsString
unanalyzed	call on showUsage
unanalyzed	call on com.dmdirc.MessageTarget:sendAction
unanalyzed	call on java.lang.Character:valueOf

method	void parseCommandCtrl(InputWindow, String)
unanalyzed	call on com.dmdirc.Server:sendLine
unanalyzed	call on com.dmdirc.Query:sendLine
unanalyzed	call on com.dmdirc.Channel:sendLine
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e

method	void handleInvalidCommand(InputWindow, CommandArguments)
pre	args != null
pre	args.line != null
pre	init'ed(args.words)
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
presumption	init'ed(com.dmdirc.actions.CoreActionType.UNKNOWN_ COMMAND)
post	args.words != null
post	init'ed(java.lang.String:split(...)._tainted)
post	java.lang.String:split(...)._tainted == 0
post	init'ed(java.lang.String:split(...).length)
post	init'ed(java.lang.String:split(...)[0])
post	java.lang.String:split(...)[0]._tainted == 0
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Arrays:copyOfRange
test_vector	origin: Inverse{null}, Addr_Set{null}

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

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 void com.dmdirc.actions.ActionManager:proce ssEvent(ActionType, StringBuffer, Object[])

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

method	bool hasCommandOptions(Command)
pre	command != null
presumption	java.lang.Object:getClass(...)@275 != null
post	init'ed(return_value)

method	CommandOptions getCommandOptions(Command)
pre	command != null
presumption	java.lang.Object:getClass(...)@286 != null
post	init'ed(return_value)

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 bool com.dmdirc.Server:isValidChannelName(S tring)

method not available - call not analyzed	Info	call on Channel com.dmdirc.Server:getChannel(String )
method not available - call not analyzed	Info	call on InputWindow com.dmdirc.Channel:getFrame()
method not available - call not analyzed	Info	call on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()