Messages

Last Msg First Msg

method

com.dmdirc.config.ConfigSource__static_init

method

void com.dmdirc.config.ConfigSource()

method	bool hasOptionString(String, String)
presumption	java.util.Map:get(...)@336 != null
post	init'ed(return_value)
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 hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOption(...) != null

Prev Msg Next Msg

method	bool hasOptionInt(String, String)
post	init'ed(return_value)
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 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

method	bool hasOptionChar(String, String)
presumption	java.util.Map:get(...)@336 != null
post	init'ed(return_value)
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 hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOption(...) != null

Prev Msg Next Msg

method	bool hasOptionColour(String, String)
pre	this.sources != null
post	init'ed(return_value)
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 getOptionColour
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

method	char getOptionChar(String, String)
presumption	java.util.Map:get(...)@336 != null
post	init'ed(return_value)
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 hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOption(...) != null

Prev Msg Next Msg

method	Color getOptionColour(String, String, String[])
pre	this.sources != null
pre	(soft) fallbacks != null
pre	(soft) fallbacks.length <= 2³²-1
pre	(soft) init'ed(fallbacks[0])
pre	(soft) init'ed(fallbacks[1])
presumption	java.util.Arrays:copyOfRange(...).length@144 <= 2³²-1
presumption	java.util.Arrays:copyOfRange(...)@144 != null
presumption	java.util.Map:get(...)@336 != null
post	init'ed(return_value)
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 getOptionColour
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.util.Arrays:copyOfRange
unanalyzed	call on java.lang.String:substring
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
test_vector	java.lang.String:startsWith(...)@142: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOption(...) != null

Prev Msg Next Msg

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:parseColour(String, Color)

method	bool getOptionBool(String, String)
post	init'ed(return_value)
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 hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

method	List getOptionList(String, String, bool)
presumption	java.util.Map:get(...)@336 != null
post	return_value == &new ArrayList(getOptionList#1)
post	new ArrayList(getOptionList#1) num objects == 1
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 hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOption(...) != null

use of default init

Low Prob.

check if init'ed(arr$.length)

use of default init

Low Prob.

check if init'ed(len$)

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because i$ == len$

dead code

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

method	List getOptionList(String, String)
post	return_value == &new ArrayList(getOptionList#1* )
post	new ArrayList(getOptionList#1*) num objects == 1
unanalyzed	call on java.util.ArrayList
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:split
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

method	int getOptionInt(String, String)
presumption	java.util.Map:get(...)@336 != null
post	init'ed(return_value)
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 hasOption
unanalyzed	call on getOption
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOption(...) != null

Prev Msg Next Msg