Last Msg First Msg
























method com.dmdirc.parser.irc.callbacks.CallbackManager__ static_init
postCLASSES == &new Class[](CallbackManager__ static_init#1)
postnew Class[](CallbackManager__static_init#1) num objects == 1
postCLASSES.length == 59










method void com.dmdirc.parser.irc.callbacks. CallbackManager(IRCParser)
pre(soft) CLASSES[...] != null
presumptionjava.lang.Class:asSubclass(...)@77 != null
presumptionjava.lang.Class:asSubclass(...)@80 != null
postthis.callbackHash == &new Hashtable(CallbackMan ager#1)
postthis.myParser == parser
postinit'ed(this.myParser)
postnew Hashtable(CallbackManager#1) num objects == 1
unanalyzedcall on java.lang.Class:getSimpleName
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on java.util.Map:containsKey
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.Hashtable
test_vectorjava.lang.Class:isAnnotationPresent(...)@76: {0}, {1}










method bool addCallbackType(CallbackObject)
precallback != null
precallback.type != null
prethis.callbackHash != null
postinit'ed(return_value)
unanalyzedcall on java.lang.Class:getSimpleName
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:toLowerCase
test_vectorjava.util.Map:containsKey(...)@93: {1}, {0}










method bool delCallbackType(CallbackObject)
precallback != null
precallback.type != null
prethis.callbackHash != null
postinit'ed(return_value)
unanalyzedcall on java.lang.Class:getSimpleName
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:toLowerCase
test_vectorjava.util.Map:containsKey(...)@107: {0}, {1}










method CallbackObject getCallbackType(String)
precallbackName != null
prethis.callbackHash != null
presumptionjava.util.Map:containsKey(...)@121 == 1
postinit'ed(return_value)
unanalyzedcall on java.lang.RuntimeException










method void delAllCallback(ICallbackInterface)
prethis.callbackHash != null
presumptioncb.callbackInfo@134 != null
presumptionjava.util.Map:values(...)@134 != null
unanalyzedcall on java.util.Hashtable:containsKey
unanalyzedcall on java.util.Hashtable:remove
unanalyzedcall on java.util.List:remove
test_vectorjava.util.Iterator:hasNext(...)@134: {0}, {1}
test_vectorjava.util.Iterator:next(...)@134: Addr_Set{null}, Inverse{null}










method void addAllCallback(ICallbackInterface)
prethis.callbackHash != null
presumptioncb.callbackInfo@145 != null
presumptionjava.util.Map:values(...)@145 != null
unanalyzedcall on java.util.List:contains
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Hashtable:containsKey
unanalyzedcall on java.util.Hashtable:remove
test_vectorjava.util.Iterator:hasNext(...)@145: {0}, {1}
test_vectorjava.util.Iterator:next(...)@145: Addr_Set{null}, Inverse{null}










method void addCallback(String, ICallbackInterface)
precallbackName != null
preo != null
prethis.callbackHash != null
presumptioncb.callbackInfo != null
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.List:contains
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Hashtable:containsKey
unanalyzedcall on java.util.Hashtable:remove










method void addCallback(String, ICallbackInterface, String)
precallbackName != null
preo != null
pretarget != null
prethis.callbackHash != null
presumptiongetCallbackType(...).callbackInfo != null
presumptiongetCallbackType(...).specificData != null
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.List:contains
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Hashtable:containsKey
unanalyzedcall on java.util.Hashtable:remove
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on java.util.Hashtable:put









Prev Msg Next Msg
  null dereference
Medium Prob.
check that getCallbackType(...) != null
Prev Msg Next Msg











method bool addNonCriticalCallback(String, ICallbackInterface)
pre(soft) callbackName != null
pre(soft) o != null
pre(soft) this.callbackHash != null
postinit'ed(return_value)
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.List:contains
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Hashtable:containsKey
unanalyzedcall on java.util.Hashtable:remove










method bool addNonCriticalCallback(String, ICallbackInterface, String)
pre(soft) callbackName != null
pre(soft) o != null
pre(soft) target != null
pre(soft) this.callbackHash != null
postinit'ed(return_value)
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.List:contains
unanalyzedcall on java.util.List:add
unanalyzedcall on java.util.Hashtable:containsKey
unanalyzedcall on java.util.Hashtable:remove
unanalyzedcall on java.lang.String:isEmpty
unanalyzedcall on java.util.Hashtable:put










method void delCallback(String, ICallbackInterface)
precallbackName != null
prethis.callbackHash != null
presumptiongetCallbackType(...).callbackInfo != null
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.Hashtable:containsKey
unanalyzedcall on java.util.Hashtable:remove
unanalyzedcall on java.util.List:remove









Prev Msg Next Msg
  null dereference
Medium Prob.
check that getCallbackType(...) != null
Prev Msg Next Msg