Messages

Last Msg First Msg

method

com.dmdirc.parser.irc.ProcessMOTD__static_init

method	void process(String, String[])
pre	sParam != null
pre	token != null
pre	token.length in {1..2³²}
pre	(soft) this.myParser != null
pre	(soft) this.myParser.h005Info != null
pre	(soft) this.myParser.hChanModesBool != null
pre	(soft) this.myParser.hChanModesOther != null
pre	(soft) this.myParser.hChanPrefix != null
pre	(soft) this.myParser.hPrefixMap != null
pre	(soft) this.myParser.hPrefixModes != null
pre	(soft) this.myParser.hUserModes != 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) init'ed(token[...])
post	possibly_updated(this.myParser.nNextKeyCMBool)
post	possibly_updated(this.myParser.nNextKeyPrefix)
post	possibly_updated(this.myParser.nNextKeyUser)
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on call
unanalyzed	call on java.lang.Boolean:valueOf
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 java.util.Map:clear
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.Map:put
unanalyzed	call on callDebugInfo
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Character:toString
unanalyzed	call on java.lang.Byte:valueOf
test_vector	java.lang.String:equals(...)@38: {0}, {1}
test_vector	java.lang.String:equals(...)@40: {0}, {1}
test_vector	java.util.Map:containsKey(...)@43: {1}, {0}
test_vector	java.util.Map:containsKey(...)@44: {1}, {0}
test_vector	java.util.Map:containsKey(...)@45: {1}, {0}
test_vector	java.util.Map:containsKey(...)@46: {1}, {0}

method	bool callMOTDEnd(bool, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@60 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	bool callMOTDLine(String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@71 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

method	bool callMOTDStart(String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@82 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

method	String[] handles()
post	return_value == &new String[](handles#1)
post	new String[](handles#1) num objects == 1
post	return_value.length == 4
post	return_value[0] == &"372"
post	return_value[1] == &"375"
post	return_value[2] == &"376"
post	return_value[3] == &"422"

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