method com.dmdirc.commandparser.commands.global.Help__ static_init










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










method void execute(InputWindow, bool, CommandArguments)
preargs != null
preinit'ed(args.words)
pre(soft) args.line != null
pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre(soft) origin != null
presumptiongetArguments(...).length@65 >= 1
presumptiongetArguments(...)[0]@65 != null
presumptionjava.util.Arrays:copyOfRange(...)@99 != null
postargs.words != null
postinit'ed(java.lang.String:split(...)._tainted)
postjava.lang.String:split(...)._tainted == 0
postinit'ed(java.lang.String:split(...).length)
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on getCommandChar
unanalyzedcall on java.lang.String:substring
unanalyzedcall on getCommand
unanalyzedcall on sendLine
unanalyzedcall on java.util.Map$Entry:getKey
unanalyzedcall on getType
unanalyzedcall on getHelp
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.Map:keySet
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.Collections:sort
unanalyzedcall on java.util.List:iterator
unanalyzedcall on getName
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.Map:entrySet
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on com.dmdirc.commandparser.CommandType:equals
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.Map$Entry:getValue
unanalyzedcall on java.util.Map:isEmpty
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.util.Arrays:copyOfRange
test_vectorgetArguments(...).length@62: {1..+Inf}, {0}










method void showAllCommands(InputWindow, bool)
preorigin != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@76 != null
presumptionjava.util.Iterator:next(...)@86 != null
unanalyzedcall on java.util.HashMap
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vectorjava.lang.StringBuilder:length(...)@90: {-231..0}, {1..232-1}
test_vectorjava.lang.StringBuilder:length(...)@97: {-231..0}, {1..232-1}
test_vectorjava.util.Iterator:hasNext(...)@86: {0}, {1}









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











method void showCommand(InputWindow, bool, String)
prename != null
pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
presumptionjava.util.Map_Entry:getKey(...)@129 != null
presumptionjava.util.Map_Entry:getKey(...)@131 != null
unanalyzedcall on getType
unanalyzedcall on getName
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.Map:entrySet
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on java.util.Map$Entry:getKey
unanalyzedcall on com.dmdirc.commandparser.CommandType:equals
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.Map$Entry:getValue
unanalyzedcall on java.util.Map:isEmpty
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
test_vectorjava.lang.String:length(...)@116: {0}, {1..232-1}









  call too complex - analysis skippedInfocall on String getHelp()











method String getName()
postreturn_value == &"help"










method bool showInHelp()
postreturn_value == 1










method String getHelp()
postreturn_value == &"help [command] - shows client command help"










method AdditionalTabTargets getSuggestions(int, List)
presumptioncom.dmdirc.ui.input.AdditionalTabTargets:excludeAll (...)@159 != null
presumptioninit'ed(com.dmdirc.ui.input.TabCompletionType. COMMAND)
postreturn_value != null
test_vectorarg: {-231..-1, 1..232-1}, {0}









  method not available - call not analyzedInfocall on void com.dmdirc.ui.input.AdditionalTabTarge ts()
  method not available - call not analyzedInfocall on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()










  method not available - call not analyzedInfocall on void com.dmdirc.ui.input.AdditionalTabTarge ts:include(TabCompletionType)