Messages

Last Msg First Msg

method

com.dmdirc.commandparser.commands.server.Ignore__ static_init

method	void com.dmdirc.commandparser.commands.server. Ignore()
pre	init'ed(com/dmdirc/commandparser/CommandManager. commandChar)
unanalyzed	call on com.dmdirc.commandparser.commands.Command
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getName
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:addEntry
unanalyzed	call on com.dmdirc.ui.input.TabCompleter:removeEntr y
unanalyzed	call on com.dmdirc.ServerManager:getServerManager
unanalyzed	call on com.dmdirc.ServerManager:getServers
unanalyzed	call on getType
unanalyzed	call on com.dmdirc.Server:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getChannels
unanalyzed	call on com.dmdirc.Server:getChannel
unanalyzed	call on com.dmdirc.Channel:getTabCompleter
unanalyzed	call on com.dmdirc.Server:getQueries
unanalyzed	call on com.dmdirc.Query:getTabCompleter
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get

method	void execute(InputWindow, Server, bool, CommandArguments)
pre	args != null
pre	init'ed(args.words)
pre	server != null
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)
presumption	com.dmdirc.Server:getNetworkIdentity(...)@63 != null
presumption	com.dmdirc.Server:getParser(...)@109 != null
presumption	com.dmdirc.parser.irc.IRCParser:getIRCStringConvert er(...)@109 != null
presumption	getArguments(...).length@106 >= 1
presumption	getArguments(...).length@65 >= 1
presumption	getArguments(...).length@91 >= 1
presumption	getArguments(...)[0]@106 != null
presumption	getArguments(...)[0]@65 != null
presumption	getArguments(...)[0]@91 != null
presumption	identity.file@63 != null
presumption	identity.listeners@63 != null
presumption	identity.myTarget@63 != null
presumption	java.util.Arrays:copyOfRange(...)@99 != null
presumption	java.util.Iterator:next(...)@79 != null
presumption	java.util.Map:get(...)@336 != null
post	args.words != null
post	init'ed(java.lang.String:split(...)._tainted)
post	java.lang.String:split(...)._tainted == 0
post	init'ed(java.lang.String:split(...).length)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(setOption#2) num objects <= 1
post	new ConfigManager(setOption#2) num objects == 0
post	init'ed(new ConfigManager(setOption#2).channel)
post	init'ed(new ConfigManager(setOption#2).ircd)
post	init'ed(new ConfigManager(setOption#2).listeners)
post	init'ed(new ConfigManager(setOption#2).network)
post	init'ed(new ConfigManager(setOption#2).server)
post	init'ed(new ConfigManager(setOption#2).sources)
post	new MapList(ConfigManager#1) num objects <= 1
post	new MapList(ConfigManager#1) num objects == 0
unanalyzed	call on hasOption
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 java.util.List:iterator
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.ArrayList:iterator
unanalyzed	call on com.dmdirc.interfaces.ConfigChangeListener: configChanged
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomains
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.Map:remove
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.util.logging.Logger:finer
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on com.dmdirc.util.MapList:containsKey
unanalyzed	call on com.dmdirc.util.MapList:get
unanalyzed	call on java.util.List:addAll
unanalyzed	call on getDomains
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on getOptions
unanalyzed	call on equals
unanalyzed	call on removeListener
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:addLin e
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 getCommandChar
unanalyzed	call on java.lang.Character:valueOf
test_vector	getArguments(...).length@106: {0,1}, {2..+Inf}
test_vector	getArguments(...).length@65: {0}, {1..+Inf}
test_vector	getArguments(...).length@91: {0,1}, {2..+Inf}
test_vector	java.lang.String:equals(...)@106: {0}, {1}
test_vector	java.lang.String:equals(...)@65: {0}, {1}
test_vector	java.lang.String:equals(...)@91: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@80: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@79: {0}, {1}
test_vector	java.util.List:isEmpty(...)@71: {0}, {1}

method not available - call not analyzed Info call on Identity com.dmdirc.Server:getNetworkIdenti ty()

Prev Msg Next Msg

overflow

click for all messages in this file Low Prob.

check that i in {-2³¹-1..2³²-2}

Prev Msg Next Msg

method not available - call not analyzed Info call on IRCParser com.dmdirc.Server:getParser()

method not available - call not analyzed Info call on IRCStringConverter com.dmdirc.parser.irc. IRCParser:getIRCStringConverter()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCStringConverter:toLowerCase(String)

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(arr$.length)

use of default init

Low Prob.

check if init'ed(len$)

test always goes same way

Low Prob.

Test predetermined because i$ == len$

dead code

click for all messages in this file Low Prob.

Dead code here because i$ == len$

dead code continues Info Dead code continues

Prev Msg Next Msg

dead code continues Info Dead code continues

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because found == 0

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because found == 0

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.Server:updateIgnoreList()

method	String getName()
post	return_value == &"ignore"

method	bool showInHelp()
post	return_value == 1

method	String getHelp()
post	return_value == &"ignore <add\|remove\|view> [host] - manages the network's ignore list"

method	AdditionalTabTargets getSuggestions(int, List)
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. CHANNEL_NICK)
presumption	init'ed(com.dmdirc.ui.input.TabCompletionType. QUERY_NICK)
post	return_value == &new AdditionalTabTargets(getSu ggestions#1)
post	new AdditionalTabTargets(getSuggestions#1) num objects == 1
test_vector	arg: {-2³¹..-1, 2..2³²-1}, {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.ui.input.AdditionalTabTarge ts()

method not available - call not analyzed Info call on AdditionalTabTargets com.dmdirc.ui.input. AdditionalTabTargets:excludeAll()

method not available - call not analyzed Info call on bool com.dmdirc.ui.input.AdditionalTabTarge ts:add(Object)

method not available - call not analyzed Info call on void com.dmdirc.ui.input.AdditionalTabTarge ts:include(TabCompletionType)

method not available - call not analyzed	Info	call on IRCParser com.dmdirc.Server:getParser()
method not available - call not analyzed	Info	call on IRCStringConverter com.dmdirc.parser.irc. IRCParser:getIRCStringConverter()
method not available - call not analyzed	Info	call on String com.dmdirc.parser.irc. IRCStringConverter:toLowerCase(String)