| method | void com.dmdirc.commandparser.parsers. ChannelCommandParser(Server, Channel) |
| 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.channel == newChannel |
| post | init'ed(this.channel) |
| post | this.commands == &new Hashtable(CommandParser#1 ) |
| post | this.history == &new RollingList(CommandParser# 2) |
| post | this.server == newServer |
| post | init'ed(this.server) |
| 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 loadCommands |
| unanalyzed | call on java.util.Hashtable |
| 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 java.util.Map:put |
| 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 com.dmdirc.util.RollingList |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on getName |
| unanalyzed | call on java.lang.String:toLowerCase |
| 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 | void executeCommand(InputWindow, bool, Command, CommandArguments) |
| pre | command != null |
| pre | (soft) args != null |
| pre | (soft) args.line != null |
| pre | (soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar) |
| pre | (soft) init'ed(args.words) |
| pre | (soft) this.channel != null |
| post | init'ed(args.words) |
| 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 getArgumentsAsString |
| unanalyzed | call on getArguments |
| unanalyzed | call on showUsage |
| unanalyzed | call on com.dmdirc.MessageTarget:sendAction |
| 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 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 |