Messages

Last Msg First Msg

method

com.dmdirc.commandparser.commands.chat.Me__static_ init

method	void com.dmdirc.commandparser.commands.chat.Me()
pre	init'ed(com/dmdirc/commandparser/CommandManager. commandChar)
unanalyzed	call on com.dmdirc.commandparser.commands.Command
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, Server, MessageTarget, bool, CommandArguments)
pre	args != null
pre	init'ed(args.words)
pre	(soft) args.line != null
pre	(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre	(soft) target != null
presumption	java.util.Arrays:copyOfRange(...)@99 != null
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)
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 java.lang.String:split
unanalyzed	call on getArgumentsAsString
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzed	call on getCommandChar
unanalyzed	call on java.lang.Character:valueOf
test_vector	getArguments(...).length@53: {1..+Inf}, {0}

method not available - call not analyzed Info call on void com.dmdirc.MessageTarget:sendAction(St ring)

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

method	bool showInHelp()
post	return_value == 1

method	String getHelp()
post	return_value == &"me <action> - sends the specified action"

method	ValidationResponse validateArguments(InputWindow, CommandArguments)
pre	origin != null
pre	(soft) arguments != null
pre	(soft) arguments.line != null
pre	(soft) init'ed(arguments.words)
presumption	com.dmdirc.Server:getParser(...)@89 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@82 != null
presumption	com.dmdirc.WritableFrameContainer:getServer(... )@89 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@82 != null
presumption	com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@89 != null
presumption	java.lang.String:length(...)@87 <= 2³²-3
post	init'ed(arguments.words)
post	init'ed(java.lang.String:split(...)._tainted)
post	java.lang.String:split(...)._tainted == 0
post	possibly_updated(java.lang.String:split(...). length)
post	return_value in Addr_Set{&new ValidationRespons e(validateArguments#3),&new ValidationResponse( validateArguments#2),&new ValidationResponse(va lidateArguments#1)}
post	new ValidationResponse(validateArguments#1) num objects <= 1
post	new ValidationResponse(validateArguments#1). failure == null
post	new ValidationResponse(validateArguments#2) num objects <= 1
post	new ValidationResponse(validateArguments#2). failure == &"Too long"
post	new ValidationResponse(validateArguments#3) num objects <= 1
post	new ValidationResponse(validateArguments#3). failure == null
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 java.lang.String:split
unanalyzed	call on getArgumentsAsString
test_vector	com.dmdirc.Server:getParser(...)@82: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.WritableFrameContainer:getServer(... )@82: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getArgumentsAsString(...) != null

Prev Msg Next Msg

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 IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on String com.dmdirc.WritableFrameContainer:to String()

method not available - call not analyzed Info call on int com.dmdirc.parser.irc.IRCParser:getMaxL ength(String, String)

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 IRCParser com.dmdirc.Server:getParser()