Messages

Last Msg First Msg

method

com.dmdirc.parser.irc.Process001__static_init

method	void process(String, String[])
pre	init'ed(this.myParser.cMyself.bIsFake)
pre	init'ed(this.myParser.pingTimer)
pre	this.myParser != null
pre	this.myParser.cMyself != null
pre	this.myParser.pingNeeded != null
pre	init'ed(this.myParser.pingTimerLength)
pre	this.myParser.pingTimerSem != null
pre	token != null
pre	token.length >= 3
pre	token[0] != null
pre	(soft) this.myParser.cMyself.sNickname != null
pre	(soft) init'ed(this.myParser.stringConverter)
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.stringConverter.lowercase != null
pre	(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre	(soft) token[2] != null
presumption	this.myParser.stringConverter.lowercase@52 != null
presumption	this.myParser.stringConverter.lowercase@56 != null
post	java.lang.String:substring(...)._tainted == token[0]._tainted
post	init'ed(java.lang.String:substring(...)._tainted)
post	this.myParser.cMyself.bIsFake == 0
post	this.myParser.cMyself.sHost == One-of{&"", undefined, old this.myParser.cMyself.sHost}
post	this.myParser.cMyself.sIdent == One-of{&"", undefined, old this.myParser.cMyself.sIdent}
post	this.myParser.cMyself.sNickname == One-of{undefined , old this.myParser.cMyself.sNickname}
post	this.myParser.got001 == 1
post	this.myParser.pingCountDown == 1
post	new Timer(startPingTimer#1) num objects == 1
post	this.myParser.pingTimer == &new Timer(startPingTimer#1)
post	this.myParser.sServerName == &java.lang. String:substring(...)
post	init'ed(this.myParser.stringConverter)
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	possibly_updated(new IRCStringConverter(getIRCStrin gConverter#1).limit)
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).lowercase)
post	possibly_updated(new IRCStringConverter(getIRCStrin gConverter#1).lowercase)
post	init'ed(new IRCStringConverter(getIRCStringConverte r#1).uppercase)
post	possibly_updated(new IRCStringConverter(getIRCStrin gConverter#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). 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). length)
post	possibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzed	call on getCallbackManager
unanalyzed	call on getCallbackType
unanalyzed	call on call
unanalyzed	call on getNickname
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: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 java.lang.String:toCharArray
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Map:remove
unanalyzed	call on parseHost
unanalyzed	call on java.util.concurrent.atomic. AtomicBoolean:set
unanalyzed	call on java.util.concurrent.Semaphore:acquireUnint erruptibly
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on java.util.concurrent.Semaphore:release
test_vector	this.myParser.cMyself.bIsFake: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@50: {1}, {0}

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

precondition failure

click for all messages in this file High Prob.

com/dmdirc/parser/irc/IRCParser.getClientInfo: sHost != null

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

method	bool callServerReady()
pre	this.myParser != null
pre	this.myParser.myCallbackManager != null
pre	this.myParser.myCallbackManager.callbackHash != null
presumption	getCallbackManager(...)@77 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	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] == &"001"

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