Messages

Last Msg First Msg

method

com.dmdirc.parser.irc.ClientInfo__static_init

method	void com.dmdirc.parser.irc.ClientInfo(IRCParser, String)
pre	sHostmask != null
post	this.lModeQueue == &new LinkedList(ClientInfo#2 )
post	this.myAwayReason == &""
post	this.sRealName == &""
post	this.myChannelClientInfos == &new Hashtable(ClientInfo#1)
post	this.myMap == &new HashMap(ClientInfo#3)
post	this.myParser == tParser
post	init'ed(this.myParser)
post	this.sHost == One-of{this.myAwayReason, undefined}
post	this.sHost in Addr_Set{null,&""}
post	this.sIdent == One-of{this.myAwayReason, undefined}
post	this.sIdent in Addr_Set{null,&""}
post	this.sNickname == undefined
post	this.sNickname == null
post	new HashMap(ClientInfo#3) num objects == 1
post	new Hashtable(ClientInfo#1) num objects == 1
post	new LinkedList(ClientInfo#2) num objects == 1
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

method	void setMap(Map)
post	this.myMap == newMap
post	init'ed(this.myMap)

method	Map getMap()
pre	init'ed(this.myMap)
post	return_value == this.myMap
post	init'ed(return_value)

method	bool isFake()
pre	init'ed(this.bIsFake)
post	return_value == this.bIsFake
post	init'ed(return_value)

method	bool isServer()
pre	this.sNickname != null
post	init'ed(return_value)

method	ClientInfo setFake(bool)
post	return_value == this
post	return_value != null
post	this.bIsFake == newValue
post	init'ed(this.bIsFake)

method	String parseHost(String)
pre	sWho != null
post	return_value == undefined
post	return_value == null
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

method	String[] parseHostFull(String)
pre	sWho != null
post	return_value == &new String[](parseHostFull#1)
post	new String[](parseHostFull#1) num objects == 1
post	return_value.length == 3
post	return_value[0] == undefined
post	return_value[0] == null
post	return_value[1] == null
post	return_value[2] == null
test_vector	java.lang.String:charAt(...)@139: {0..57, 59..2¹⁶-1}, {58}
test_vector	java.lang.String:isEmpty(...)@139: {1}, {0}

Prev Msg Next Msg

array index out of bounds

click for all messages in this file High Prob.

check that sTemp.length >= 2

use of default init

Low Prob.

check if init'ed(sTemp.length)

test always goes same way

Low Prob.

Test predetermined because sTemp.length == 0

dead code

click for all messages in this file Low Prob.

Dead code here because sTemp.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that not_init'ed(sTemp[0])

use of default init

Low Prob.

check if init'ed(sTemp.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(sTemp.length)

Prev Msg Next Msg

method	void setUserBits(String, bool)
pre	sHostmask != null
post	this.sHost == One-of{old this.sHost, &"", undefined}
post	this.sIdent == One-of{old this.sIdent, &"", undefined}
post	this.sNickname == One-of{old this.sNickname, undefined}
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

method	void setUserBits(String, bool, bool)
pre	sHostmask != null
post	this.sHost == One-of{old this.sHost, &"", undefined}
post	this.sIdent == One-of{old this.sIdent, &"", undefined}
post	this.sNickname == One-of{old this.sNickname, undefined}
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
test_vector	allowBlank: {0}, {1}
test_vector	bUpdateNick: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file High Prob.

check that sTemp[2] != null

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file High Prob.

check that sTemp[1] != null

Prev Msg Next Msg

method	String toString()
pre	init'ed(this.sHost)
pre	init'ed(this.sIdent)
pre	init'ed(this.sNickname)
post	java.lang.StringBuilder:toString(...)._tainted == this.sHost._tainted \| this.sNickname._tainted \| this.sIdent._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method	String getNickname()
pre	init'ed(this.sNickname)
post	return_value == this.sNickname
post	init'ed(return_value)

method	String getIdent()
pre	init'ed(this.sIdent)
post	return_value == this.sIdent
post	init'ed(return_value)

method	String getHost()
pre	init'ed(this.sHost)
post	return_value == this.sHost
post	init'ed(return_value)

method	void setAwayState(bool)
post	this.bIsAway == bNewState
post	init'ed(this.bIsAway)
post	this.myAwayReason == One-of{old this.myAwayReason, &""}
test_vector	bNewState: {1}, {0}

method	bool getAwayState()
pre	init'ed(this.bIsAway)
post	return_value == this.bIsAway
post	init'ed(return_value)

method	String getAwayReason()
pre	init'ed(this.myAwayReason)
post	return_value == this.myAwayReason
post	init'ed(return_value)

method	void setAwayReason(String)
post	this.myAwayReason == newValue
post	init'ed(this.myAwayReason)

method	String getRealName()
pre	init'ed(this.sRealName)
post	return_value == this.sRealName
post	init'ed(return_value)

method	void setRealName(String)
post	this.sRealName == newValue
post	init'ed(this.sRealName)

method	void setUserMode(long)
post	this.nModes == nNewMode
post	init'ed(this.nModes)

method	long getUserMode()
pre	init'ed(this.nModes)
post	return_value == this.nModes
post	init'ed(return_value)

method	String getUserModeStr()
pre	this.myParser != null
pre	this.myParser.hUserModes != null
pre	init'ed(this.nModes)
presumption	java.util.Iterator:next(...)@274 != null
presumption	java.util.Map:get(...)@275 != null
presumption	java.util.Map:keySet(...)@274 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
test_vector	java.util.Iterator:hasNext(...)@274: {0}, {1}

method	bool isOper()
pre	this.myParser != null
pre	this.myParser.hUserModes != null
pre	init'ed(this.nModes)
post	init'ed(return_value)
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.Character:charValue
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Long:longValue

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.StringBuilder:toStr ing(...)._tainted) in getUserModeStr

Prev Msg Next Msg

method	void addChannelClientInfo(ChannelClientInfo)
pre	cci != null
pre	cci.myChannel != null
pre	cci.myChannel.sName != null
pre	init'ed(this.myParser.stringConverter)
pre	this.myChannelClientInfos != null
pre	this.myParser != null
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
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 java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String
test_vector	java.util.Map:containsKey(...)@301: {1}, {0}

method	void delChannelClientInfo(ChannelClientInfo)
pre	cci != null
pre	cci.myChannel != null
pre	cci.myChannel.sName != null
pre	init'ed(this.myParser.stringConverter)
pre	this.myChannelClientInfos != null
pre	this.myParser != null
pre	(soft) this.myParser.stringConverter.lowercase != null
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
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 java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String
test_vector	java.util.Map:containsKey(...)@313: {0}, {1}

method	bool checkVisibility()
pre	this.myChannelClientInfos != null
post	init'ed(return_value)

method	int channelCount()
pre	this.myChannelClientInfos != null
post	init'ed(return_value)

method	List getChannelClients()
pre	this.myChannelClientInfos != null
presumption	java.util.Map:values(...)@343 != null
post	return_value == &new ArrayList(getChannelClient s#1)
post	new ArrayList(getChannelClients#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@343: {0}, {1}

method	void alterMode(bool, Character)
pre	init'ed(this.bIsFake)
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) this.lModeQueue != null
pre	(soft) this.myParser != null
pre	(soft) this.myParser.cMyself != null
pre	(soft) init'ed(this.myParser.currentSocketState)
pre	(soft) this.myParser.h005Info != null
pre	(soft) this.myParser.hChanModesOther != null
pre	(soft) this.myParser.hChannelList != null
pre	(soft) this.myParser.hUserModes != null
pre	(soft) this.myParser.myCallbackManager != null
pre	(soft) this.myParser.myCallbackManager. callbackHash != null
pre	(soft) init'ed(this.myParser.out)
pre	(soft) init'ed(this.sNickname)
post	init'ed(java.lang.String:substring(...)._tainted)
post	possibly_updated(this...myAwayReason)
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
post	init'ed(this.myParser.stringConverter)
post	new IRCStringConverter(getIRCStringConverter#1) num objects <= 1
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	init'ed(new char[](IRCStringConverter#1).length)
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	new char[](IRCStringConverter#2) num objects <= 1
post	init'ed(new char[](IRCStringConverter#2).length)
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.util.List:clear
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 call
unanalyzed	call on callDebugInfo
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.List:size
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.List:get
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on doSendString
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.io.PrintWriter:printf
unanalyzed	call on setAwayReason
unanalyzed	call on java.util.LinkedList
unanalyzed	call on getListModeQueue
unanalyzed	call on java.util.LinkedList:contains
unanalyzed	call on java.util.Queue:offer
unanalyzed	call on java.util.LinkedList:offer
unanalyzed	call on java.lang.System:currentTimeMillis
test_vector	this.bIsFake: {0}, {1}
test_vector	java.util.List:contains(...)@373: {0}, {1}
test_vector	java.util.List:contains(...)@376: {0}, {1}
test_vector	java.util.Map:containsKey(...)@363: {0}, {1}
test_vector	java.util.Map:containsKey(...)@371: {1}, {0}

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into modestr

Prev Msg Next Msg

method	void sendModes()
pre	this.lModeQueue != null
pre	(soft) init'ed(this.myParser.stringConverter)
pre	(soft) this.myParser != null
pre	(soft) this.myParser.cMyself != null
pre	(soft) init'ed(this.myParser.currentSocketState)
pre	(soft) this.myParser.hChanModesOther != null
pre	(soft) this.myParser.hChannelList != null
pre	(soft) this.myParser.myCallbackManager != null
pre	(soft) this.myParser.myCallbackManager. callbackHash != null
pre	(soft) init'ed(this.myParser.out)
pre	(soft) init'ed(this.sNickname)
presumption	java.util.List:get(...)@398 != null
post	init'ed(java.lang.String:substring(...)._tainted)
post	possibly_updated(this...myAwayReason)
post	this.myParser.stringConverter == One-of{old this.myParser.stringConverter, &new IRCStringConverter(getIRCStringConverter#1)}
post	init'ed(this.myParser.stringConverter)
post	new IRCStringConverter(getIRCStringConverter#1) num objects <= 1
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	init'ed(new char[](IRCStringConverter#1).length)
post	possibly_updated(new char[](IRCStringConverter#1)[...])
post	new char[](IRCStringConverter#2) num objects <= 1
post	init'ed(new char[](IRCStringConverter#2).length)
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on java.util.List:clear
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 call
unanalyzed	call on callDebugInfo
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Integer:valueOf
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:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.Byte:byteValue
unanalyzed	call on doSendString
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.io.PrintWriter:printf
unanalyzed	call on setAwayReason
unanalyzed	call on java.util.LinkedList
unanalyzed	call on getListModeQueue
unanalyzed	call on java.util.LinkedList:contains
unanalyzed	call on java.util.Queue:offer
unanalyzed	call on java.util.LinkedList:offer
unanalyzed	call on java.lang.System:currentTimeMillis
test_vector	java.lang.String:charAt(...)@399: {0..42, 44..2¹⁶-1}, {43}
test_vector	java.lang.StringBuilder:length(...)@406: {-2³¹..0}, {1..2³²-1}
test_vector	java.lang.StringBuilder:length(...)@407: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.List:isEmpty(...)@391: {0}, {1}

method	void clearModeQueue()
pre	this.lModeQueue != null

method	IRCParser getParser()
post	return_value == this.myParser
post	init'ed(return_value)