Last Msg First Msg
























method com.dmdirc.parser.irc.ProcessNames__static_init










method void process(String, String[])
preinit'ed(this.myParser.stringConverter)
presParam != null
prethis.myParser.hChannelList != null
pretoken != null
pre(soft) this.myParser != null
pre(soft) init'ed(this.myParser.autoListMode)
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 {5..232}
pre(soft) token[...] != null
pre(soft) token[3] != null
pre(soft) token[4] != null
presumptioniChannel.hChannelUserList != null
presumptioniChannel.myParser != null
presumptioniChannel.myParser.cMyself@44 != null
presumptioniChannel.myParser.h005Info != null
presumptioniChannel.myParser.hChanModesOther != null
presumptioniChannel.myParser.hChannelList@44 != null
presumptioniChannel.myParser.hClientList != null
presumptioniChannel.myParser.hPrefixModes != null
presumptioniChannel.myParser.myCallbackManager. callbackHash@44 != null
presumptioniChannel.myParser.myCallbackManager@44 != null
presumptioniChannel.myParser.sNetworkName@44 != null
presumptioniChannel.myParser.stringConverter.lowercase != null
postinit'ed(this.myParser.stringConverter)
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1) num objects)
postnew IRCStringConverter(getIRCStringConverter#1) num objects <= 1
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).limit)
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).lowercase)
postinit'ed(new IRCStringConverter(getIRCStringConverte r#1).uppercase)
postinit'ed(new char[](IRCStringConverter#1) num objects)
postnew char[](IRCStringConverter#1) num objects <= 1
postinit'ed(new char[](IRCStringConverter#1).length)
postinit'ed(new char[](IRCStringConverter#1)[...])
postpossibly_updated(new char[](IRCStringConverter#1)[...])
postinit'ed(new char[](IRCStringConverter#2) num objects)
postnew char[](IRCStringConverter#2) num objects <= 1
postinit'ed(new char[](IRCStringConverter#2).length)
postinit'ed(new char[](IRCStringConverter#2)[...])
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 getChannelInfo
unanalyzedcall on java.lang.Byte:byteValue
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
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 java.util.Map:keySet
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on java.lang.Character:charValue
unanalyzedcall on java.lang.Character:valueOf
unanalyzedcall on java.lang.Long:longValue
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on java.lang.String:matches
unanalyzedcall on callDebugInfo
unanalyzedcall on java.lang.Integer:valueOf
unanalyzedcall on getUser
unanalyzedcall on java.lang.String:equalsIgnoreCase
unanalyzedcall on java.lang.String:equals
unanalyzedcall on getImportantModeValue
unanalyzedcall on java.lang.String:indexOf
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:split
unanalyzedcall on doSendString
unanalyzedcall on java.lang.Boolean:valueOf
unanalyzedcall on java.lang.String:charAt
unanalyzedcall on java.io.PrintWriter:printf
unanalyzedcall on setAwayReason
unanalyzedcall on java.util.LinkedList
unanalyzedcall on getListModeQueue
unanalyzedcall on java.util.LinkedList:contains
unanalyzedcall on java.util.Queue:offer
unanalyzedcall on java.util.LinkedList:offer
unanalyzedcall on getChannel
unanalyzedcall on getName
unanalyzedcall on java.util.Map:remove
unanalyzedcall on java.util.Map:isEmpty
unanalyzedcall on getNickname
unanalyzedcall on forceRemoveClient
unanalyzedcall on java.util.Map:clear
unanalyzedcall on java.lang.String:format
unanalyzedcall on getClientInfo
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on java.util.Hashtable
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.Map:put
unanalyzedcall on com.dmdirc.parser.irc.ChannelClientInfo
unanalyzedcall on java.lang.System:currentTimeMillis
unanalyzedcall on parseHost
test_vectorthis.myParser.autoListMode: {0}, {1}
test_vectoriChannel.askedForListModes@44: {1}, {0}
test_vectoriChannel.bAddingNames: {1}, {0}
test_vectorjava.lang.String:equals(...)@38: {0}, {1}









Prev Msg Next Msg
  unused assignment
Low Prob.
Unused assignment into sNameBit
Prev Msg Next Msg










Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(sNames.length)
  test always goes same way
Low Prob.
Test predetermined because j == sNames.length
  dead code continuesInfoDead code continues
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because j == sNames.length
Prev Msg Next Msg










  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues











method bool callChannelGotNames(ChannelInfo)
prethis.myParser != null
prethis.myParser.myCallbackManager != null
prethis.myParser.myCallbackManager.callbackHash != null
presumptiongetCallbackManager(...)@109 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 == 2
postreturn_value[0] == &amp;"353"
postreturn_value[1] == &amp;"366"










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