Last Msg First Msg
























method com.dmdirc.commandparser.commands.global. NewServer__static_init










method void com.dmdirc.commandparser.commands.global. NewServer()
preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
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 getType
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
presumptionoffset < getArguments(...).length@76
presumptionoffset < getArguments(...).length@77
presumptionoffset < getArguments(...).length@97
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumptiongetArguments(...).length@66 >= 1
presumptiongetArguments(...).length@76 >= 1
presumptiongetArguments(...).length@77 >= 1
presumptiongetArguments(...).length@97 >= 1
presumptiongetArguments(...)[offset]@66 != null
presumptiongetArguments(...)[offset]@76 != null
presumptiongetArguments(...)[offset]@77 != 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.util.ArrayList
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Map:containsKey
unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.util.Arrays:copyOfRange
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzedcall on getCommandChar
unanalyzedcall on java.lang.Character:valueOf
unanalyzedcall on java.util.regex.Pattern:compile
unanalyzedcall on java.util.regex.Pattern:matcher
unanalyzedcall on java.util.regex.Matcher:matches
unanalyzedcall on java.util.regex.Matcher:group
test_vectorgetArguments(...).length@54: {1..+Inf}, {0}
test_vectorjava.lang.String:charAt(...)@80: {0..42, 44..216-1}, {43}
test_vectorjava.lang.String:equalsIgnoreCase(...)@66: {0}, {1}
test_vectorjava.lang.String:indexOf(...)@76: {-231.. -1}, {0..232-1}
test_vectorjava.lang.String:length(...)@80: {0}, {1..232-1}









Prev Msg Next Msg
  unused assignment
Low Prob.
Unused assignment into host
Prev Msg Next Msg










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










Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(parts.length)
Prev Msg Next Msg










Prev Msg Next Msg
  array index out of bounds
High Prob.
check that parts.length >= 2
  null dereference
Medium Prob.
check that not_init'ed(parts[1])
  array index out of bounds
Medium Prob.
check that parts.length >= 2
  use of default init
Low Prob.
check if init'ed(parts.length)
Prev Msg Next Msg










Prev Msg Next Msg
  array index out of bounds
Medium Prob.
check that parts.length >= 2
  null dereference
Medium Prob.
check that not_init'ed(parts[1])
  use of default init
Low Prob.
check if init'ed(parts.length)
Prev Msg Next Msg










Prev Msg Next Msg
  array index out of bounds
Medium Prob.
check that parts.length >= 2
  use of default init
Low Prob.
check if init'ed(parts.length)
Prev Msg Next Msg










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










  method not available - call not analyzedInfocall on void com.dmdirc.Server(String, int, String, bool, Identity)











method String getName()
postreturn_value == &amp;"newserver"










method bool showInHelp()
postreturn_value == 1










method String getHelp()
postreturn_value == &amp;"newserver <host[:[+]port]> [password] - connect to a new server"