Last Msg First Msg
























method com.dmdirc.addons.identd.IdentClient__static_init










method void com.dmdirc.addons.identd.IdentClient(IdentdSe rver, Socket, IdentdPlugin)
postthis.myPlugin == plugin
postinit'ed(this.myPlugin)
postthis.myServer == server
postinit'ed(this.myServer)
postthis.mySocket == socket
postinit'ed(this.mySocket)
postthis.myThread == &new Thread(IdentClient#1)
postnew Thread(IdentClient#1) num objects == 1










method void run()
prethis.myServer != null
prethis.myServer.clientList != null
pre(soft) this.mySocket != null
pre(soft) init'ed(this.myThread)
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
postcom/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &new ServerManager(getServerManager#1)}
postnew ArrayList(ServerManager#1) num objects <= 1
postnew ServerManager(getServerManager#1) num objects <= 1
postinit'ed(new ServerManager(getServerManager#1). servers)
unanalyzedcall on java.lang.String:replaceAll
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:iterator
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getLocalPor t
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.lang.String:format
unanalyzedcall on java.lang.String:trim
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on java.lang.Integer:valueOf
unanalyzedcall on com.dmdirc.addons.identd.IdentdPlugin:getDo main
unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzedcall on java.lang.System:getProperty
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on java.lang.String:indexOf
unanalyzedcall on java.lang.String:equals
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyNickna me
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getMyUserna me
unanalyzedcall on java.util.List:size
unanalyzedcall on java.util.List:get
unanalyzedcall on java.util.List:remove









  method not available - call not analyzedInfocall on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()










  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:userError(Err orLevel, String)










Prev Msg Next Msg
  null dereference
High Prob.
check that out != null
Prev Msg Next Msg










Prev Msg Next Msg
  null dereference
High Prob.
check that in != null
Prev Msg Next Msg










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











method String getIdentResponse(String, ConfigManager)
preinput != null
postcom/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &amp;new ServerManager(getServerManager#1)}
postinit'ed(return_value)
postnew ArrayList(ServerManager#1) num objects == 0
postnew ServerManager(getServerManager#1) num objects == 0
postinit'ed(new ServerManager(getServerManager#1). servers)
unanalyzedcall on java.lang.String:replaceAll
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:iterator
unanalyzedcall on com.dmdirc.parser.irc.IRCParser:getLocalPor t









Prev Msg Next Msg
  use of default init
Low Prob.
check if init'ed(bits.length)
  test always goes same way
Low Prob.
Test predetermined because bits.length == 0
Prev Msg Next Msg










Prev Msg Next Msg
  dead code
Low Prob.
Dead code here because bits.length == 0
  dead code continuesInfoDead code continues
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










  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










  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










  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
  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues










  dead code continuesInfoDead code continues











method String escapeString(String)
prestr != null
postreturn_value != null










method String unescapeString(String)
prestr != null
postreturn_value != null










method void close()
preinit'ed(this.myThread)
pre(soft) this.mySocket != null
postthis.myThread == null
test_vectorthis.myThread: Addr_Set{null}, Inverse{null}









Prev Msg Next Msg
  test always goes same way
Low Prob.
Test predetermined because tmpThread != null
Prev Msg Next Msg











method Server getServerByPort(int)
preinit'ed(com/dmdirc/ServerManager.me)
presumptionjava.util.Iterator:next(...)@207 != null
presumptionserver.parser@207 != null
postcom/dmdirc/ServerManager.me == One-of{old com/dmdirc/ServerManager.me, &amp;new ServerManager(getServerManager#1)}
postcom/dmdirc/ServerManager.me != null
postinit'ed(return_value)
postnew ArrayList(ServerManager#1) num objects <= 1
postnew ServerManager(getServerManager#1) num objects == new ArrayList(ServerManager#1) num objects
postnew ServerManager(getServerManager#1).servers == &amp;new ArrayList(ServerManager#1)
unanalyzedcall on java.util.ArrayList
test_vectorjava.util.Iterator:hasNext(...)@207: {0}, {1}









  method not available - call not analyzedInfocall on int com.dmdirc.parser.irc.IRCParser:getLoca lPort()