Last Msg First Msg
























method com.dmdirc.parser.irc.ProcessKick__static_init










method void process(String, String[])
prethis.myParser.hClientList != null
pretoken != null
pretoken[2] != null
pretoken[3] != null
pre(soft) init'ed(this.myParser.stringConverter)
pre(soft) this.myParser != null
pre(soft) init'ed(this.myParser.cMyself)
pre(soft) this.myParser.hChannelList != 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.removeAfterCallback)
pre(soft) this.myParser.stringConverter.lowercase != null
pre(soft) init'ed(this.myParser.stringConverter. lowercase[...])
pre(soft) token.length in {4..232}
pre(soft) token[0] != null
pre(soft) init'ed(token[...])
presumptioniChannel.hChannelUserList != null
presumptioniChannel.myParser != null
presumptioniChannel.myParser.hClientList != null
presumptioniChannel.myParser.stringConverter.lowercase@63 != null
presumptioniChannel.myParser.stringConverter.lowercase@70 != null
presumptioniChannel.sName != null
presumptioniKicker.sHost != null
presumptionthis.myParser.stringConverter.lowercase != null
postinit'ed(this.myParser.stringConverter)
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
postnew IRCStringConverter(getIRCStringConverter#1) num objects == 0
postnew char[](IRCStringConverter#1) num objects == 0
postnew char[](IRCStringConverter#2) num objects == 0
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).limit)
postnew IRCStringConverter(getIRCStringConverter#1). limit == 4
postnot_init'ed(new IRCStringConverter(getIRCStringConv erter#1).limit)
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).lowercase)
postnew IRCStringConverter(getIRCStringConverter#1). lowercase == &amp;new char[](IRCStringConverter#1)
postnot_init'ed(new IRCStringConverter(getIRCStringConv erter#1).lowercase)
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).uppercase)
postnew IRCStringConverter(getIRCStringConverter#1). uppercase == &amp;new char[](IRCStringConverter#2)
postnot_init'ed(new IRCStringConverter(getIRCStringConv erter#1).uppercase)
postnew char[](IRCStringConverter#1) num objects <= 1
postinit'ed(new char[](IRCStringConverter#1).length)
postnew char[](IRCStringConverter#1).length == 127
postnew char[](IRCStringConverter#2).length == 127
postnot_init'ed(new char[](IRCStringConverter#1). length)
postnot_init'ed(new char[](IRCStringConverter#2). length)
postpossibly_updated(new char[](IRCStringConverter#1)[...])
postinit'ed(new char[](IRCStringConverter#1)[...])
postnew char[](IRCStringConverter#2) num objects <= 1
postinit'ed(new char[](IRCStringConverter#2).length)
postpossibly_updated(new char[](IRCStringConverter#2)[...])
unanalyzedcall on getCallbackManager
unanalyzedcall on getCallbackType
unanalyzedcall on call
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 getClientInfo
unanalyzedcall on getChannelInfo
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 callErrorInfo
unanalyzedcall on java.util.Map:values
unanalyzedcall on java.util.Collection:iterator
unanalyzedcall on getClient
unanalyzedcall on java.lang.String:toCharArray
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String
unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo
unanalyzedcall on getUser
unanalyzedcall on parseHost
unanalyzedcall on java.util.Hashtable
unanalyzedcall on java.util.LinkedList
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.Map:remove
unanalyzedcall on getChannel
unanalyzedcall on getName
unanalyzedcall on java.util.Map:isEmpty
unanalyzedcall on getNickname
unanalyzedcall on forceRemoveClient
unanalyzedcall on java.util.Map:clear
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.Map:put
test_vectorthis.myParser.removeAfterCallback: {0}, {1}
test_vectortoken.length: {4}, {5..232}
test_vectorjava.lang.String:isEmpty(...)@53: {0}, {1}










method bool callChannelKick(ChannelInfo, ChannelClientInf o, ChannelClientInfo, String, 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 String[] handles()
postreturn_value == &amp;new String[](handles#1)
postnew String[](handles#1) num objects == 1
postreturn_value.length == 1
postreturn_value[0] == &amp;"KICK"










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