Messages

Last Msg First Msg

method

com.dmdirc.parser.irc.ProcessMessage__static_init

method	void process(String, String[])
pre	token[0] != null
pre	this.myParser != null
pre	token != null
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) sParam != 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.cMyself != null
pre	(soft) init'ed(this.myParser.cMyself.bIsFake)
pre	(soft) init'ed(this.myParser.cMyself.sNickname)
pre	(soft) this.myParser.hChanPrefix != null
pre	(soft) this.myParser.hChannelList != null
pre	(soft) this.myParser.hClientList != 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.myIgnoreList != null
pre	(soft) this.myParser.myIgnoreList.ignoreInfo != null
pre	(soft) this.myParser.myProcessingManager != null
pre	(soft) this.myParser.myProcessingManager.myParser != null
pre	(soft) this.myParser.myProcessingManager. processHash != null
pre	(soft) init'ed(this.myParser.sThinkNickname)
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) token.length in {1..2³²}
pre	(soft) token[1] != null
pre	(soft) token[2] != null
pre	(soft) token[...] != null
presumption	getIRCStringConverter(...).lowercase.length@159 >= 1
presumption	getIRCStringConverter(...).lowercase@159 != null
presumption	iChannel.hChannelUserList != null
presumption	iClient.sHost != null
presumption	java.lang.Character:valueOf(...)@104 != null
presumption	java.lang.Character:valueOf(...)@84 != null
presumption	java.lang.Character:valueOf(...)@93 != null
presumption	this.myParser.stringConverter.lowercase != null
post	possibly_updated(java.lang.String:substring(...)._ tainted)
post	init'ed(this.myParser.stringConverter)
post	token[0] == One-of{old token[0], &java.lang. String:substring(...)}
post	token[0] != null
post	new IRCStringConverter(getIRCStringConverter#1) num objects <= 1
post	new IRCStringConverter(getIRCStringConverter#1) num objects == 0
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).limit)
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).lowercase)
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).uppercase)
post	new char[](IRCStringConverter#1) num objects <= 1
post	new char[](IRCStringConverter#1) num objects == 0
post	init'ed(new char[](IRCStringConverter#1).length)
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	new char[](IRCStringConverter#2) num objects <= 1
post	new char[](IRCStringConverter#2) num objects == 0
post	init'ed(new char[](IRCStringConverter#2).length)
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on call
unanalyzed	call on java.util.List:size
unanalyzed	call on get
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.util.List:get
unanalyzed	call on getLastLine
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
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 callErrorInfo
unanalyzed	call on java.util.Hashtable:containsKey
unanalyzed	call on java.util.Hashtable:get
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on process
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Exception:getMessage
unanalyzed	call on java.lang.String:format
unanalyzed	call on callDebugInfo
unanalyzed	call on getClientInfo
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.lang.String:split
unanalyzed	call on isValidChannelName
unanalyzed	call on getChannelInfo
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on getClient
unanalyzed	call on isFake
unanalyzed	call on getNickname
unanalyzed	call on java.lang.String
unanalyzed	call on parseHost
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.Map:isEmpty
unanalyzed	call on java.lang.String:equals
test_vector	token.length: {4..2³²}, {1,2}, {3}
test_vector	java.lang.Character:equals(...)@104: {0}, {1}
test_vector	java.lang.Character:equals(...)@93: {0}, {1}
test_vector	java.lang.String:charAt(...)@121: {0..57, 59..2¹⁶-1}, {58}
test_vector	java.lang.String:charAt(...)@51: {0..57, 59..2¹⁶-1}, {58}
test_vector	java.lang.String:equalsIgnoreCase(...)@142: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@152: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@160: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@170: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@179: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@189: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@67: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@90: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@93: {0}, {1}
test_vector	java.lang.String:indexOf(...)@67: {-2³¹.. -2, 0..2³²-1}, {-1}
test_vector	java.lang.String:isEmpty(...)@113: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@126: {0}, {1}
test_vector	java.lang.String:length(...)@121: {0,1}, {2..2³²-1}
test_vector	java.lang.String:length(...)@89: {0,1}, {2..2³²-1}

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into sMessage

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that not_init'ed(bits[0])

use of default init

Low Prob.

check if init'ed(bits.length)

Prev Msg Next Msg

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(bits.length)

test always goes same way

Low Prob.

Test predetermined because bits.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because bits.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file High Prob.

check that bits.length >= 2

use of default init

Low Prob.

check if init'ed(bits.length)

Prev Msg Next Msg

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(java/lang/String:split(...). length)

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that not_init'ed(sCTCP)

use of default init

Low Prob.

check if init'ed(java/lang/String:split(...). length)

Prev Msg Next Msg

method	bool callChannelAction(ChannelInfo, ChannelClientInfo, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@210 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 callChannelCTCP(ChannelInfo, ChannelClientInf o, String, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@225 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 callChannelCTCPReply(ChannelInfo, ChannelClientInfo, String, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@240 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 callChannelMessage(ChannelInfo, ChannelClientInfo, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@254 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 callChannelNotice(ChannelInfo, ChannelClientInfo, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@268 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 callPrivateAction(String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@280 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 callPrivateCTCP(String, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@293 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 callPrivateCTCPReply(String, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@306 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 callPrivateMessage(String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@318 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 callPrivateNotice(String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@330 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 callUnknownAction(String, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@343 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 callUnknownCTCP(String, String, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@357 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 callUnknownCTCPReply(String, String, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@371 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 callUnknownMessage(String, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@384 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 callUnknownNotice(String, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@397 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 == 2
post	return_value[0] == &"PRIVMSG"
post	return_value[1] == &"NOTICE"

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