| Kind |
Annotation Text |
| pre | (soft) args != null |
| pre | (soft) origin != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@71 >= 1 |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@77 >= 1 |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@81 >= 1 |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@86 >= 1 |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@70 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@71 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@77 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@81 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)@86 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@71 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@77 != null |
| presumption | com.dmdirc.commandparser.CommandArguments:getArgume nts(...)[0]@81 != null |
| presumption | com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@56 != null |
| presumption | com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@72 != null |
| unanalyzed | call on com.dmdirc.Channel:getChannelInfo |
| unanalyzed | call on com.dmdirc.Channel:instanceof |
| unanalyzed | call on com.dmdirc.FrameContainer |
| unanalyzed | call on com.dmdirc.Main:getUI |
| unanalyzed | call on com.dmdirc.Query:getHost |
| unanalyzed | call on com.dmdirc.Query:getServer |
| unanalyzed | call on com.dmdirc.Query:instanceof |
| unanalyzed | call on com.dmdirc.Server:getParser |
| unanalyzed | call on com.dmdirc.Server:instanceof |
| unanalyzed | call on com.dmdirc.WritableFrameContainer:getServer |
| unanalyzed | call on com.dmdirc.addons.logging.LoggingPlugin:get Domain |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOption |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionBo ol |
| unanalyzed | call on com.dmdirc.config.ConfigManager:getOptionIn t |
| unanalyzed | call on com.dmdirc.config.IdentityManager:getGlobal Config |
| unanalyzed | call on com.dmdirc.logger.Logger:userError |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getName |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:getParser |
| unanalyzed | call on com.dmdirc.parser.irc.ChannelInfo:instanceo f |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:getNicknam e |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:getParser |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:instanceof |
| unanalyzed | call on com.dmdirc.parser.irc.ClientInfo:setFake |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getClientIn fo |
| unanalyzed | call on com.dmdirc.parser.irc.IRCParser:getNetworkN ame |
| unanalyzed | call on com.dmdirc.ui.WindowManager:addWindow |
| unanalyzed | call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer |
| unanalyzed | call on com.dmdirc.ui.interfaces.UIController:getWi ndow |
| unanalyzed | call on com.dmdirc.ui.interfaces.Window:addLine |
| unanalyzed | call on com.dmdirc.ui.interfaces.Window:getConfigMa nager |
| unanalyzed | call on com.dmdirc.ui.interfaces.Window:open |
| unanalyzed | call on com.dmdirc.ui.interfaces.Window:setTitle |
| unanalyzed | call on getLogFile |
| unanalyzed | call on java.io.File |
| unanalyzed | call on java.io.File:exists |
| unanalyzed | call on java.io.File:isDirectory |
| unanalyzed | call on java.io.File:mkdirs |
| unanalyzed | call on java.io.RandomAccessFile |
| unanalyzed | call on java.io.RandomAccessFile:getFilePointer |
| unanalyzed | call on java.io.RandomAccessFile:length |
| unanalyzed | call on java.io.RandomAccessFile:read |
| unanalyzed | call on java.io.RandomAccessFile:seek |
| unanalyzed | call on java.lang.Byte:byteValue |
| unanalyzed | call on java.lang.Byte:valueOf |
| unanalyzed | call on java.lang.Math:min |
| unanalyzed | call on java.lang.Object:toString |
| unanalyzed | call on java.lang.String |
| unanalyzed | call on java.lang.String:getBytes |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.lang.String:toLowerCase |
| unanalyzed | call on java.lang.System:getProperty |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.math.BigInteger |
| unanalyzed | call on java.math.BigInteger:toString |
| unanalyzed | call on java.nio.charset.Charset:forName |
| unanalyzed | call on java.security.MessageDigest:digest |
| unanalyzed | call on java.security.MessageDigest:getInstance |
| unanalyzed | call on java.security.MessageDigest:update |
| unanalyzed | call on java.text.SimpleDateFormat |
| unanalyzed | call on java.text.SimpleDateFormat:format |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.ArrayList:add |
| unanalyzed | call on java.util.ArrayList:get |
| unanalyzed | call on java.util.ArrayList:size |
| unanalyzed | call on java.util.Date |
| test_vector | com.dmdirc.commandparser.CommandArguments:getArgume nts(...).length@70: {0}, {1..+Inf} |
| test_vector | com.dmdirc.plugins.PluginManager:getPluginInfoByNam e(...)@56: Inverse{null}, Addr_Set{null} |
| test_vector | com.dmdirc.plugins.PluginManager:reloadPlugin(... )@72: {0}, {1} |
| test_vector | java.lang.String:equalsIgnoreCase(...)@71: {0}, {1} |
| test_vector | java.lang.String:equalsIgnoreCase(...)@77: {0}, {1} |
| test_vector | java.lang.String:equalsIgnoreCase(...)@81: {0}, {1} |