| Kind |
Annotation Text |
| pre | init'ed(com/dmdirc/commandparser/CommandManager. commandChar) |
| unanalyzed | call on com.dmdirc.Channel:getTabCompleter |
| unanalyzed | call on com.dmdirc.Query:getTabCompleter |
| unanalyzed | call on com.dmdirc.Server:getChannel |
| unanalyzed | call on com.dmdirc.Server:getChannels |
| unanalyzed | call on com.dmdirc.Server:getQueries |
| unanalyzed | call on com.dmdirc.Server:getTabCompleter |
| unanalyzed | call on com.dmdirc.ServerManager:getServerManager |
| unanalyzed | call on com.dmdirc.ServerManager:getServers |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:addEntry |
| unanalyzed | call on com.dmdirc.ui.input.TabCompleter:removeEntr y |
| unanalyzed | call on com.dmdirc.util.MapList:containsKey |
| unanalyzed | call on com.dmdirc.util.MapList:get |
| unanalyzed | call on getName |
| unanalyzed | call on getType |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:remove |
| Kind |
Annotation Text |
| pre | (soft) args.line != null |
| pre | (soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar) |
| pre | (soft) origin != null |
| pre | args != null |
| pre | init'ed(args.words) |
| presumption | com.dmdirc.WritableFrameContainer:getServer(... )@64 != null |
| presumption | com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@58 != null |
| presumption | com.dmdirc.ui.interfaces.InputWindow:getContainer(. ..)@64 != null |
| presumption | getArguments(...).length@57 >= 1 |
| presumption | getArguments(...).length@66 >= 1 |
| presumption | getArguments(...).length@71 >= 1 |
| presumption | getArguments(...).length@78 >= 1 |
| presumption | getArguments(...).length@80 >= 1 |
| presumption | getArguments(...).length@83 >= 1 |
| presumption | getArguments(...).length@88 >= 1 |
| presumption | getArguments(...).length@90 >= 1 |
| presumption | getArguments(...)[start]@71 != null |
| presumption | java.util.Arrays:copyOfRange(...)@99 != null |
| presumption | start < getArguments(...).length@71 |
| presumption | start < getArguments(...).length@78 |
| presumption | start < getArguments(...).length@80 |
| presumption | start < getArguments(...).length@83 |
| presumption | start < getArguments(...).length@88 |
| presumption | start < getArguments(...).length@90 |
| post | args.words != null |
| post | init'ed(java.lang.String:split(...)._tainted) |
| post | init'ed(java.lang.String:split(...).length) |
| post | java.lang.String:split(...)._tainted == 0 |
| unanalyzed | call on com.dmdirc.ui.interfaces.InputWindow:addLin e |
| unanalyzed | call on getCommandChar |
| unanalyzed | call on java.lang.Character:valueOf |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.util.Arrays:copyOfRange |
| unanalyzed | call on java.util.regex.Matcher:group |
| unanalyzed | call on java.util.regex.Matcher:matches |
| unanalyzed | call on java.util.regex.Pattern:compile |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| test_vector | com.dmdirc.WritableFrameContainer:getServer(... )@58: Inverse{null}, Addr_Set{null} |
| test_vector | getArguments(...).length@57: {0}, {1..+Inf} |
| test_vector | getArguments(...).length@66: {0}, {1..+Inf} |
| test_vector | java.lang.String:equals(...)@57: {0}, {1} |
| test_vector | java.lang.String:equals(...)@66: {0}, {1} |
| test_vector | java.lang.String:isEmpty(...)@71: {0}, {1} |