Messages

Last Msg First Msg

method

com.dmdirc.parser.irc.ProcessMode__static_init

method	void process(String, String[])
pre	sParam != null
pre	token != null
pre	(soft) this.myParser.nNextKeyUser in {-4_611_686_018_427_387_904..9_223_372_036_854_775 _807}
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) this.myParser != 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) 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) 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 {5..2³²}
pre	(soft) init'ed(token[0])
pre	(soft) token[...] != null
pre	(soft) token[2] != null
pre	(soft) token[3] != null
presumption	this.myParser.stringConverter.lowercase != null
post	this.myParser.nNextKeyCMBool == old this.myParser.nNextKeyCMBool
post	this.myParser.nNextKeyUser <= 18_446_744_073_709_55 1_614
post	init'ed(this.myParser.stringConverter)
post	new IRCStringConverter(getIRCStringConverter#1) num objects == undefined
post	new IRCStringConverter(getIRCStringConverter#1) num objects == 0, if init'ed
post	new IRCStringConverter(getIRCStringConverter#1). limit == new IRCStringConverter(getIRCStringConvert er#1) num objects
post	new char[](IRCStringConverter#1) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#1).length == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#1)[...] == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#2) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#2).length == new IRCStringConverter(getIRCStringConverter#1) num objects
post	new char[](IRCStringConverter#2)[...] == new IRCStringConverter(getIRCStringConverter#1) num objects
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	new IRCStringConverter(getIRCStringConverter#1). lowercase == undefined
post	new IRCStringConverter(getIRCStringConverter#1). lowercase == null
post	new IRCStringConverter(getIRCStringConverter#1). uppercase == new IRCStringConverter(getIRCStringCon verter#1).lowercase
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 java.lang.String:equals
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Character:equals
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on getLastLine
unanalyzed	call on callErrorInfo
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on callDebugInfo
unanalyzed	call on getClientInfo
unanalyzed	call on java.util.Map:put
unanalyzed	call on call
unanalyzed	call on getUserMode
unanalyzed	call on setUserMode
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on parseHost
unanalyzed	call on java.lang.String:format
unanalyzed	call on getNickname
unanalyzed	call on isValidChannelName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on isFake
unanalyzed	call on java.util.Map:isEmpty
test_vector	java.lang.String:equals(...)@42: {0}, {1}
test_vector	java.lang.String:equals(...)@46: {0}, {1}

call too complex - analysis skipped Info call on void processChanMode(String, String[], String[], String)

method	String trim(String)
pre	str != null
post	return_value != null

method	void processChanMode(String, String[], String[], String)
pre	sChannelName != null
pre	sParam != null
pre	this.myParser.hChannelList != null
pre	(soft) this.myParser.nNextKeyCMBool in {-4_611_686_018_427_387_904..9_223_372_036_854_775 _807}
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) sModestr != null
pre	(soft) sModestr.length in {1..2³²-1}
pre	(soft) sModestr[0] != null
pre	(soft) sModestr[...] != null
pre	(soft) this.myParser != null
pre	(soft) this.myParser.hChanModesBool != null
pre	(soft) this.myParser.hChanModesOther != null
pre	(soft) this.myParser.hClientList != null
pre	(soft) this.myParser.hPrefixModes != 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.stringConverter.lowercase != null
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) token != null
pre	(soft) token.length >= 1
pre	(soft) token[0] != null
presumption	getClient(...).sHost@108 != null
presumption	iChannel.hChannelUserList != null
presumption	iChannel.hListModes != null
presumption	iChannel.hParamModes != null
presumption	iChannel.myParser != null
presumption	iChannel.myParser.h005Info != null
presumption	iChannel.myParser.hChanModesOther != null
presumption	iChannel.myParser.sNetworkName@108 != null
presumption	iChannel.myParser.stringConverter.lowercase != null
presumption	iChannel.myParser.stringConverter.lowercase. length@108 >= 1
presumption	iChannel.myParser.stringConverter.lowercase@108 != null
presumption	iChannel.sName != null
presumption	iClient.myChannelClientInfos != null
presumption	iClient.myParser != null
presumption	java.lang.Character:valueOf(...)@116 != null
presumption	java.lang.String:length(...)@115 <= 2³²-2
presumption	java.lang.String:length(...)@115 - sModestr.length in {-2³²+1..-1, 2³²-3}
presumption	java.util.Calendar:getInstance(...)@175 != null
presumption	java.util.Map:get(...)@123 != null
presumption	java.util.Map:get(...)@124 != null
presumption	java.util.Map:get(...)@131 != null
presumption	setterCCI.cClient@108 != null
presumption	this.myParser.stringConverter.lowercase != null
presumption	this.myParser.stringConverter.lowercase@133 != null
post	this.myParser.nNextKeyCMBool <= 18_446_744_073_709_ 551_614
post	init'ed(this.myParser.stringConverter)
post	new IRCStringConverter(getIRCStringConverter#1) num objects == 0
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1) num objects)
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	init'ed(new IRCStringConverter(getIRCStringConverte r#1).limit)
post	new IRCStringConverter(getIRCStringConverter#1). limit == 4
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).lowercase)
post	new IRCStringConverter(getIRCStringConverter#1). lowercase == &new char[](IRCStringConverter#1)
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).uppercase)
post	new IRCStringConverter(getIRCStringConverter#1). uppercase == &new char[](IRCStringConverter#2)
post	new char[](IRCStringConverter#1) num objects == 0
post	init'ed(new char[](IRCStringConverter#1) num objects)
post	init'ed(new char[](IRCStringConverter#1).length)
post	new char[](IRCStringConverter#1).length == 127
post	new char[](IRCStringConverter#2).length == 127
post	init'ed(new char[](IRCStringConverter#1)[...])
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	new char[](IRCStringConverter#2) num objects == 0
post	init'ed(new char[](IRCStringConverter#2) num objects)
post	init'ed(new char[](IRCStringConverter#2).length)
post	init'ed(new char[](IRCStringConverter#2)[...])
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on java.lang.String:trim
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on getClient
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:substring
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
unanalyzed	call on getChannelInfo
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo
unanalyzed	call on getUser
unanalyzed	call on java.lang.String:split
unanalyzed	call on parseHost
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.LinkedList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.String:format
unanalyzed	call on callDebugInfo
unanalyzed	call on getClientInfo
unanalyzed	call on getNickname
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:values
unanalyzed	call on java.util.Collection:iterator
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:matches
unanalyzed	call on java.lang.String:equalsIgnoreCase
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.Map:remove
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getChannel
unanalyzed	call on getName
unanalyzed	call on java.lang.Integer:valueOf
test_vector	sModestr.length: {2..2³²-1}, {1}
test_vector	java.lang.Byte:byteValue(...)@124: {1}, {-128..-1, 4..255}
test_vector	java.lang.Character:equals(...)@120: {0}, {1}
test_vector	java.lang.Character:equals(...)@121: {0}, {1}
test_vector	java.lang.String:equals(...)@106: {1}, {0}
test_vector	java.lang.String:equals(...)@209: {0}, {1}
test_vector	java.lang.String:equals(...)@93: {1}, {0}
test_vector	java.lang.String:isEmpty(...)@111: {0}, {1}
test_vector	java.lang.String:length(...)@115: {2³²-2}, {0}
test_vector	java.lang.String:length(...)@115 - sModestr. length: {-2³²+2..-1}, {2³²-3}
test_vector	java.util.Map:containsKey(...)@123: {0}, {1}
test_vector	java.util.Map:containsKey(...)@124: {0}, {1}
test_vector	java.util.Map:containsKey(...)@125: {0}, {1}

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into bBooleanMode

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that nParam < sModestr.length

Prev Msg Next Msg

Prev Msg Next Msg

precondition failure

click for all messages in this file High Prob.

com/dmdirc/parser/irc/IRCParser.addClient: client.sNickname != null

Prev Msg Next Msg

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that nParam < sModestr.length

Prev Msg Next Msg

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

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that nParam < sModestr.length

Prev Msg Next Msg

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

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that nParam < sModestr.length

Prev Msg Next Msg

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

method	void processUserMode(String, String[], String[], bool)
pre	init'ed(this.myParser.stringConverter)
pre	this.myParser.hClientList != null
pre	token != null
pre	token.length >= 3
pre	token[2] != null
pre	(soft) this.myParser.nNextKeyUser in {-4_611_686_018_427_387_904..9_223_372_036_854_775 _807}
pre	(soft) sModestr != null
pre	(soft) sModestr.length >= 1
pre	(soft) sModestr[0] != null
pre	(soft) sParam != null
pre	(soft) this.myParser != 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.stringConverter.lowercase != null
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) init'ed(token[0])
presumption	java.lang.Character:valueOf(...)@237 != null
presumption	java.util.Map:get(...)@242 != null
post	this.myParser.nNextKeyUser <= 18_446_744_073_709_55 1_614
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
post	this.myParser.stringConverter != null
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 callErrorInfo
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
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String
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 parseHost
unanalyzed	call on java.lang.String:format
unanalyzed	call on callDebugInfo
unanalyzed	call on getClientInfo
unanalyzed	call on java.lang.Integer:valueOf
test_vector	clearOldModes: {0}, {1}
test_vector	java.lang.Character:equals(...)@238: {0}, {1}
test_vector	java.lang.Character:equals(...)@239: {0}, {1}
test_vector	java.lang.String:equals(...)@258: {0}, {1}
test_vector	java.util.Map:containsKey(...)@242: {0}, {1}

method	bool callChannelModeChanged(ChannelInfo, ChannelClientInfo, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@276 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 callChannelUserModeChanged(ChannelInfo, ChannelClientInfo, ChannelClientInfo, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@291 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 callUserModeChanged(ClientInfo, String, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@304 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 callUserModeDiscovered(ClientInfo, String)
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@316 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 == 3
post	return_value[0] == &"MODE"
post	return_value[1] == &"324"
post	return_value[2] == &"221"

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