Messages

Last Msg First Msg

method

com.dmdirc.parser.irc.ProcessNoticeAuth__static_ init

method	void process(String, String[])
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
pre	token != null
pre	token.length in {1..2³²}
pre	(soft) init'ed(token[...])
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on call
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 callNoticeAuth(String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
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	String[] handles()
post	return_value == &new String[](handles#1)
post	new String[](handles#1) num objects == 1
post	return_value.length == 1
post	return_value[0] == &"Notice Auth"

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