Last Msg First Msg
























method com.dmdirc.parser.irc.ProcessNick__static_init










method void process(String, String[])
pretoken != null
pre(soft) init'ed(this.myParser.stringConverter)
pre(soft) this.myParser != 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.stringConverter.lowercase != null
pre(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre(soft) token.length in {1..232}
pre(soft) token[0] != null
pre(soft) token[...] != null
presumptiongetClientInfo(...).sNickname != null
presumptiongetIRCStringConverter(...).lowercase != null
presumptiongetIRCStringConverter(...).lowercase.length >= 1
presumptioniChannel.hChannelUserList@61 != null
presumptioniChannel.myParser.stringConverter.lowercase@61 != null
presumptioniChannel.myParser.stringConverter.lowercase@63 != null
presumptioniChannel.myParser@61 != null
presumptioniChannel.sName@61 != null
presumptioniClient.sNickname != null
presumptionjava.util.Iterator:next(...)@61 != null
presumptionjava.util.Map:values(...)@2067 != null
presumptionthis.myParser.stringConverter.lowercase != null
presumptionthis.myParser.stringConverter.lowercase@48 != null
postinit'ed(this.myParser.stringConverter)
postnew IRCStringConverter(getIRCStringConverter#1) num objects == 0
postnew IRCStringConverter(getIRCStringConverter#1) num objects <= 1
postnew char[](IRCStringConverter#1) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
postnew char[](IRCStringConverter#2) num objects == new IRCStringConverter(getIRCStringConverter#1) num objects
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).limit)
postpossibly_updated(new IRCStringConverter(getIRCStrin gConverter#1).limit)
postnew IRCStringConverter(getIRCStringConverter#1). limit == 4
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).lowercase)
postpossibly_updated(new IRCStringConverter(getIRCStrin gConverter#1).lowercase)
postnew IRCStringConverter(getIRCStringConverter#1). lowercase == &amp;new char[](IRCStringConverter#1)
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).uppercase)
postpossibly_updated(new IRCStringConverter(getIRCStrin gConverter#1).uppercase)
postnew IRCStringConverter(getIRCStringConverter#1). uppercase == &amp;new char[](IRCStringConverter#2)
postnew char[](IRCStringConverter#1) num objects == 0
postnew char[](IRCStringConverter#1) num objects <= 1
postinit'ed(new char[](IRCStringConverter#1).length)
postpossibly_updated(new char[](IRCStringConverter#1). length)
postnew char[](IRCStringConverter#1).length == 127
postnew char[](IRCStringConverter#2).length == 127
postinit'ed(new char[](IRCStringConverter#1)[...])
postpossibly_updated(new char[](IRCStringConverter#1)[...])
postnew char[](IRCStringConverter#2) num objects == 0
postnew char[](IRCStringConverter#2) num objects <= 1
postinit'ed(new char[](IRCStringConverter#2).length)
postpossibly_updated(new char[](IRCStringConverter#2). length)
postpossibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzedcall on getCallbackManager
unanalyzedcall on getCallbackType
unanalyzedcall on call
unanalyzedcall on getNickname
unanalyzedcall on java.lang.String:toCharArray
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String
unanalyzedcall on getClientInfo
unanalyzedcall on parseHost
unanalyzedcall on java.util.Map:containsKey
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on java.lang.RuntimeException
unanalyzedcall on java.util.Map:get
unanalyzedcall on java.util.Map:remove
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.Map:values
unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo
unanalyzedcall on getUser
unanalyzedcall on java.util.Hashtable
unanalyzedcall on java.util.LinkedList
unanalyzedcall on java.util.HashMap
unanalyzedcall on getChannel
unanalyzedcall on getName
test_vectorjava.util.Iterator:hasNext(...)@61: {0}, {1}









Prev Msg Next Msg
  precondition failure
Medium Prob.
com/dmdirc/parser/irc/IRCParser.forceRemoveClient: client != null
Prev Msg Next Msg










Prev Msg Next Msg
  precondition failure
High Prob.
com/dmdirc/parser/irc/IRCParser.getClientInfo: sHost != null
Prev Msg Next Msg










Prev Msg Next Msg
  precondition failure
High Prob.
com/dmdirc/parser/irc/IRCParser.addClient: client.sNickname != null
Prev Msg Next Msg











method bool callChannelNickChanged(ChannelInfo, ChannelClientInfo, String)
prethis.myParser != null
prethis.myParser.myCallbackManager != null
prethis.myParser.myCallbackManager.callbackHash != null
presumptiongetCallbackManager(...)@91 init'ed
postinit'ed(return_value)
unanalyzedcall on getCallbackManager
unanalyzedcall on java.util.Map:containsKey
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on java.lang.RuntimeException
unanalyzedcall on java.util.Map:get









Prev Msg Next Msg
  null dereference
Medium Prob.
check that getCallbackType(...) != null
  call too complex - analysis skippedInfocall on bool call(Object[])
Prev Msg Next Msg











method bool callNickChanged(ClientInfo, String)
prethis.myParser != null
prethis.myParser.myCallbackManager != null
prethis.myParser.myCallbackManager.callbackHash != null
presumptiongetCallbackManager(...)@103 init'ed
postinit'ed(return_value)
unanalyzedcall on getCallbackManager
unanalyzedcall on java.util.Map:containsKey
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on java.lang.RuntimeException
unanalyzedcall on java.util.Map:get









Prev Msg Next Msg
  null dereference
Medium Prob.
check that getCallbackType(...) != null
  call too complex - analysis skippedInfocall on bool call(Object[])
Prev Msg Next Msg











method String[] handles()
postreturn_value == &amp;new String[](handles#1)
postnew String[](handles#1) num objects == 1
postreturn_value.length == 1
postreturn_value[0] == &amp;"NICK"










method void com.dmdirc.parser.irc.ProcessNick(IRCParser, ProcessingManager)
postthis.myManager == manager
postinit'ed(this.myManager)
postthis.myParser == parser
postinit'ed(this.myParser)