Messages

Last Msg First Msg

method

com.dmdirc.parser.irc.ProcessListModes__static_ init

method	void process(String, String[])
pre	init'ed(this.myParser.stringConverter)
pre	this.myParser != null
pre	this.myParser.hChannelList != null
pre	token != null
pre	token.length >= 4
pre	token[3] != null
pre	(soft) sParam != null
pre	(soft) this.myParser.h005Info != null
pre	(soft) init'ed(this.myParser.lastLine)
pre	(soft) this.myParser.myCallbackManager != null
pre	(soft) this.myParser.myCallbackManager. callbackHash != null
pre	(soft) this.myParser.sNetworkName != null
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) token[4] != null
pre	(soft) token[...] != null
presumption	channel.hListModes != null
presumption	channel.lAddingModes != null
presumption	channel.myParser != null
presumption	channel.myParser.h005Info != null
presumption	channel.myParser.hChanModesOther != null
presumption	channel.myParser.myCallbackManager.callbackHash != null
presumption	channel.myParser.myCallbackManager@43 != null
presumption	channel.myParser.sNetworkName != null
presumption	channel.myParser.stringConverter != null
presumption	channel.myParser.stringConverter.lowercase. length@157 >= 1
presumption	channel.myParser.stringConverter.lowercase@157 != null
presumption	java.lang.Character:valueOf(...)@105 != null
presumption	java.lang.Character:valueOf(...)@190 != null
presumption	java.util.Queue:peek(...)@106 != null
post	init'ed(this.myParser.stringConverter)
post	new IRCStringConverter(getIRCStringConverter#1) num objects <= 1
post	new char[](IRCStringConverter#1) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#2) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new IRCStringConverter(getIRCStringConverter#1). limit == 4
post	new IRCStringConverter(getIRCStringConverter#1). lowercase == &new char[](IRCStringConverter#1)
post	new IRCStringConverter(getIRCStringConverter#1). uppercase == &new char[](IRCStringConverter#2)
post	new char[](IRCStringConverter#1).length == 127
post	new char[](IRCStringConverter#2).length == 127
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on call
unanalyzed	call on callDebugInfo
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.Map:get
unanalyzed	call on getChannelInfo
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.lang.System:currentTimeMillis
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.List:contains
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:remove
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:get
unanalyzed	call on java.util.ArrayList:remove
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.List:clear
unanalyzed	call on java.lang.String
test_vector	token.length: {7..+Inf}, {4}
test_vector	java.lang.Character:charValue(...)@106: {98}, {113}, {0..97, 99, 101..112, 114..2¹⁶-1}, {100}
test_vector	java.lang.String:charAt(...)@152: {0..36, 38..2¹⁶-1}, {37}
test_vector	java.lang.String:equals(...)@100: {0}, {1}
test_vector	java.lang.String:equals(...)@116: {1}, {0}
test_vector	java.lang.String:equals(...)@116: {0}, {1}
test_vector	java.lang.String:equals(...)@144: {1}, {0}
test_vector	java.lang.String:equals(...)@144: {0}, {1}
test_vector	java.lang.String:equals(...)@152: {0}, {1}
test_vector	java.lang.String:equals(...)@164: {1}, {0}
test_vector	java.lang.String:equals(...)@164: {0}, {1}
test_vector	java.lang.String:equals(...)@53: {1}, {0}
test_vector	java.lang.String:equals(...)@53: {0}, {1}
test_vector	java.lang.String:equals(...)@58: {1}, {0}
test_vector	java.lang.String:equals(...)@58: {0}, {1}
test_vector	java.lang.String:equals(...)@62: {1}, {0}
test_vector	java.lang.String:equals(...)@62: {0}, {1}
test_vector	java.lang.String:equals(...)@66: {1}, {0}
test_vector	java.lang.String:equals(...)@66: {0}, {1}
test_vector	java.lang.String:equals(...)@70: {1}, {0}
test_vector	java.lang.String:equals(...)@70: {0}, {1}
test_vector	java.lang.String:equals(...)@72: {0}, {1}
test_vector	java.lang.String:equals(...)@74: {0}, {1}
test_vector	java.lang.String:equals(...)@80: {1}, {0}
test_vector	java.lang.String:equals(...)@80: {0}, {1}
test_vector	java.lang.String:equals(...)@84: {1}, {0}
test_vector	java.lang.String:equals(...)@84: {0}, {1}
test_vector	java.lang.String:equals(...)@88: {1}, {0}
test_vector	java.lang.String:equals(...)@88: {0}, {1}
test_vector	java.lang.String:equals(...)@93: {0}, {1}
test_vector	java.lang.String:indexOf(...)@148: {-2³¹. .-1}, {0..2³²-2}
test_vector	java.lang.String:isEmpty(...)@187: {1}, {0}
test_vector	java.util.LinkedList:size(...)@195: {-2³¹..-1, 1..2³²-1}, {0}
test_vector	java.util.List:contains(...)@566: {1}, {0}
test_vector	java.util.Queue:peek(...)@104: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that token.length >= 5

Prev Msg Next Msg

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because mode == 100

Prev Msg Next Msg

method	String[] handles()
post	return_value == &new String[](handles#1)
post	new String[](handles#1) num objects == 1
post	return_value.length == 16
post	return_value[0] == &"367"
post	return_value[10] == &"388"
post	return_value[11] == &"389"
post	return_value[12] == &"940"
post	return_value[13] == &"941"
post	return_value[14] == &"482"
post	return_value[15] == &"__LISTMODE__"
post	return_value[1] == &"368"
post	return_value[2] == &"344"
post	return_value[3] == &"345"
post	return_value[4] == &"346"
post	return_value[5] == &"347"
post	return_value[6] == &"348"
post	return_value[7] == &"349"
post	return_value[8] == &"386"
post	return_value[9] == &"387"

method	bool callChannelGotListModes(ChannelInfo)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@230 init'ed
post	init'ed(return_value)
unanalyzed	call on getCallbackManager
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.util.Map:get

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getCallbackType(...) != null

call too complex - analysis skipped Info call on bool call(Object[])

Prev Msg Next Msg

method	void com.dmdirc.parser.irc.ProcessListModes(IRCPar ser, ProcessingManager)
post	this.myManager == manager
post	init'ed(this.myManager)
post	this.myParser == parser
post	init'ed(this.myParser)