| method | void com.dmdirc.commandparser.commands.server. Raw() |
| 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, bool, CommandArguments) |
| pre | args != null |
| pre | init'ed(args.words) |
| pre | server != null |
| pre | (soft) args.line != null |
| presumption | com.dmdirc.Server:getParser(...)@55 != 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 com.dmdirc.ui.interfaces.InputWindow:addLin e |