Last Msg First Msg
























method com.dmdirc.commandparser.commands.global.Ifplugin_ _static_init










method void com.dmdirc.commandparser.commands.global. Ifplugin()
preinit'ed(com/dmdirc/commandparser/CommandManager. commandChar)
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on java.util.List:iterator
unanalyzedcall on getName
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.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.commandChar)
pre(soft) init'ed(com/dmdirc/commandparser/CommandMana ger.silenceChar)
pre(soft) init'ed(com/dmdirc/commandparser/parsers/Glo balCommandParser.me)
pre(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@68 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).commands@81 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...).history@81 != null
presumptioncom.dmdirc.ui.interfaces.InputWindow:getCommandPars er(...)@81 != null
presumptiongetArguments(...).length@64 >= 1
presumptiongetArguments(...).length@66 >= 1
presumptiongetArguments(...)[0]@64 != null
presumptiongetArguments(...)[0]@66 != null
presumptiongetGlobalCommandParser(...).commands != null
presumptiongetGlobalCommandParser(...).history != null
presumptionjava.util.Arrays:copyOfRange(...)@99 != null
postargs.words != null
postcom/dmdirc/commandparser/parsers/GlobalCommandParse r.me == One-of{old com/dmdirc/commandparser/parsers /GlobalCommandParser.me, &new GlobalCommandPars er(getGlobalCommandParser#1)}
postinit'ed(com/dmdirc/commandparser/parsers/GlobalComm andParser.me)
postcom/dmdirc/config/IdentityManager.globalconfig == One-of{old com/dmdirc/config/IdentityManager. globalconfig, &new ConfigManager(getGlobalConfi g#1)}
postinit'ed(com/dmdirc/config/IdentityManager. globalconfig)
postinit'ed(java.lang.String:split(...)._tainted)
postjava.lang.String:split(...)._tainted == 0
postinit'ed(java.lang.String:split(...).length)
postjava.lang.StringBuilder:toString(...)._tainted == 0
postnew ArrayList(getSources#1) num objects <= 1
postnew ConfigManager(getGlobalConfig#1) num objects <= 1
postinit'ed(new ConfigManager(getGlobalConfig#1). channel)
postinit'ed(new ConfigManager(getGlobalConfig#1).file)
postinit'ed(new ConfigManager(getGlobalConfig#1).ircd)
postinit'ed(new ConfigManager(getGlobalConfig#1). listeners)
postinit'ed(new ConfigManager(getGlobalConfig#1). network)
postinit'ed(new ConfigManager(getGlobalConfig#1). server)
postinit'ed(new ConfigManager(getGlobalConfig#1). sources)
postnew GlobalCommandParser(getGlobalCommandParser#1) num objects <= 1
postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).channel)
postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).commands)
postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).history)
postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).query)
postinit'ed(new GlobalCommandParser(getGlobalCommandPar ser#1).server)
postnew Hashtable(CommandParser#1) num objects <= 1
postnew MapList(ConfigManager#1) num objects <= 1
postnew RollingList(CommandParser#2) num objects <= 1
unanalyzedcall on getArguments
unanalyzedcall on showUsage
unanalyzedcall on com.dmdirc.commandparser.parsers. CommandParser
unanalyzedcall on getArgumentsAsString
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.Date
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on com.dmdirc.util.RollingList:remove
unanalyzedcall on com.dmdirc.util.RollingList:add
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on handleNonCommand
unanalyzedcall on com.dmdirc.Server:sendLine
unanalyzedcall on com.dmdirc.Query:sendLine
unanalyzedcall on com.dmdirc.Channel:sendLine
unanalyzedcall on com.dmdirc.logger.Logger:userError
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:addLin e
unanalyzedcall on parseCommand
unanalyzedcall on com.dmdirc.commandparser.CommandArguments
unanalyzedcall on isCommand
unanalyzedcall on isSilent
unanalyzedcall on getCommandName
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCon tainer
unanalyzedcall on com.dmdirc.WritableFrameContainer:getServer
unanalyzedcall on com.dmdirc.Server:isValidChannelName
unanalyzedcall on isChannelCommand
unanalyzedcall on com.dmdirc.Server:hasChannel
unanalyzedcall on com.dmdirc.Server:getChannel
unanalyzedcall on com.dmdirc.Channel:getFrame
unanalyzedcall on com.dmdirc.ui.interfaces.InputWindow:getCom mandParser
unanalyzedcall on getCommandChar
unanalyzedcall on getWordsAsString
unanalyzedcall on getCommand
unanalyzedcall on java.util.Map$Entry:getValue
unanalyzedcall on execute
unanalyzedcall on java.util.Map:containsKey
unanalyzedcall on getStrippedLine
unanalyzedcall on java.util.Map:get
unanalyzedcall on executeCommand
unanalyzedcall on hasCommandOptions
unanalyzedcall on getCommandOptions
unanalyzedcall on allowOffline
unanalyzedcall on com.dmdirc.Server:getState
unanalyzedcall on com.dmdirc.Server:getParser
unanalyzedcall on handleInvalidCommand
unanalyzedcall on com.dmdirc.actions.ActionManager:processEve nt
unanalyzedcall on getName
unanalyzedcall on java.util.Map:put
unanalyzedcall on getType
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.util.Arrays:copyOfRange
unanalyzedcall on java.lang.Character:valueOf
unanalyzedcall on loadCommands
unanalyzedcall on java.util.Hashtable
unanalyzedcall on java.util.ArrayList
unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
unanalyzedcall on java.util.List:iterator
unanalyzedcall on java.util.List:add
unanalyzedcall on getTarget
unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzedcall on java.lang.String:equalsIgnoreCase
unanalyzedcall on addListener
unanalyzedcall on getSources
unanalyzedcall on com.dmdirc.config.ConfigSource
unanalyzedcall on com.dmdirc.util.MapList
unanalyzedcall on addConfigManager
unanalyzedcall on java.util.Collections:sort
unanalyzedcall on java.lang.Integer:intValue
unanalyzedcall on java.lang.Integer:valueOf
unanalyzedcall on hasOption
unanalyzedcall on getOption
unanalyzedcall on java.lang.IllegalArgumentException
unanalyzedcall on java.lang.String:trim
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzedcall on com.dmdirc.util.RollingList
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
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getAnnotation
unanalyzedcall on java.lang.Class:isAnnotationPresent
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:substring
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:isEmpty
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:sendLine
unanalyzedcall on com.dmdirc.MessageTarget:sendAction
unanalyzedcall on com.dmdirc.util.MapList:add
test_vectororigin: Inverse{null}, Addr_Set{null}
test_vectorcom.dmdirc.plugins.PluginInfo:isLoaded(...)@72: {1}, {0}
test_vectorcom.dmdirc.plugins.PluginManager:getPluginInfoByNam e(...)@68: Addr_Set{null}, Inverse{null}
test_vectorgetArguments(...).length@59: {2..+Inf}, {0,1}









  method not available - call not analyzedInfocall on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
  method not available - call not analyzedInfocall on PluginInfo com.dmdirc.plugins. PluginManager:getPluginInfoByName(String)










  method not available - call not analyzedInfocall on bool com.dmdirc.plugins.PluginInfo:isLoaded ()










Prev Msg Next Msg
  precondition failure
Medium Prob.
com/dmdirc/commandparser/parsers/CommandParser. parseCommand: line != null
Prev Msg Next Msg










Prev Msg Next Msg
  precondition failure
Medium Prob.
com/dmdirc/commandparser/parsers/CommandParser. parseCommand: line != null
  method not available - call not analyzedInfocall on CommandParser com.dmdirc.ui.interfaces. InputWindow:getCommandParser()
Prev Msg Next Msg











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










method bool showInHelp()
postreturn_value == 1










method String getHelp()
postreturn_value == &amp;"ifplugin <[!]plugin> <command> - executes a command if the specified plugin is.isn't loaded"










method AdditionalTabTargets getSuggestions(int, List)
presumptioncom.dmdirc.plugins.PluginManager:getPluginInfos(... )@114 != null
presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@114 != null
presumptioncom.dmdirc.ui.input.AdditionalTabTargets:excludeAll (...)@111 != null
presumptionjava.util.Iterator:next(...)@114 != null
postinit'ed(return_value)
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 PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
  method not available - call not analyzedInfocall on Collection com.dmdirc.plugins. PluginManager:getPluginInfos()










  method not available - call not analyzedInfocall on String com.dmdirc.plugins.PluginInfo:getNam e()
  method not available - call not analyzedInfocall on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)










  method not available - call not analyzedInfocall on String com.dmdirc.plugins.PluginInfo:getNam e()
  method not available - call not analyzedInfocall on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)










  method not available - call not analyzedInfocall on AdditionalTabTargets com.dmdirc.ui.input. TabCompleter:getIntelligentResults(int, List, int)