ProcessNickInUse.java

current inspection = 2009-09-03 21:56:13 (id #1)


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool callNickInUse(String)

    • Kind Annotation Text
    prethis.myParser != null
    prethis.myParser.myCallbackManager != null
    prethis.myParser.myCallbackManager.callbackHash != null
    presumptiongetCallbackManager(...)@76 init'ed
    postinit'ed(return_value)
    unanalyzedcall on getCallbackManager
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

  • void com.dmdirc.parser.irc.ProcessNickInUse(IRCParser, ProcessingManager)

    • Kind Annotation Text
    postinit'ed(this.myManager)
    postinit'ed(this.myParser)
    postthis.myManager == manager
    postthis.myParser == parser

  • com.dmdirc.parser.irc.ProcessNickInUse__static_init

    • Kind Annotation Text

  • String[] handles()

    • Kind Annotation Text
    postnew String[](handles#1) num objects == 1
    postreturn_value == &new String[](handles#1)
    postreturn_value.length == 1
    postreturn_value[0] == &"433"

  • void process(String, String[])

    • Kind Annotation Text
    pre(soft) init'ed(this.myParser.cMyself.bIsFake)
    pre(soft) init'ed(this.myParser.currentSocketState)
    pre(soft) init'ed(this.myParser.got001)
    pre(soft) init'ed(this.myParser.me.altNickname)
    pre(soft) init'ed(this.myParser.me.nickname)
    pre(soft) init'ed(this.myParser.me.prependChar)
    pre(soft) init'ed(this.myParser.out)
    pre(soft) init'ed(this.myParser.sThinkNickname)
    pre(soft) init'ed(this.myParser.stringConverter)
    pre(soft) init'ed(this.myParser.triedAlt)
    pre(soft) this.myParser != null
    pre(soft) this.myParser.cMyself != null
    pre(soft) this.myParser.cMyself.sNickname != null
    pre(soft) this.myParser.hChanModesOther != null
    pre(soft) this.myParser.hChannelList != null
    pre(soft) this.myParser.me != null
    pre(soft) this.myParser.myCallbackManager != null
    pre(soft) this.myParser.myCallbackManager. callbackHash != null
    preinit'ed(token[3])
    pretoken != null
    pretoken.length >= 4
    presumptiongetIRCStringConverter(...).lowercase != null
    presumptiongetIRCStringConverter(...).lowercase.length >= 1
    postinit'ed(java.lang.String:substring(...)._tainted)
    postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
    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).length)
    postinit'ed(new char[](IRCStringConverter#1)[...])
    postinit'ed(new char[](IRCStringConverter#2).length)
    postinit'ed(this.myParser.me.nickname)
    postinit'ed(this.myParser.sThinkNickname)
    postinit'ed(this.myParser.stringConverter)
    postinit'ed(this.myParser.triedAlt)
    postnew IRCStringConverter(getIRCStringConverter#1) num objects <= 1
    postnew IRCStringConverter(getIRCStringConverter#1) num objects == 0
    postnew char[](IRCStringConverter#1) num objects <= 1
    postnew char[](IRCStringConverter#1) num objects == 0
    postnew char[](IRCStringConverter#2) num objects <= 1
    postnew char[](IRCStringConverter#2) num objects == 0
    postpossibly_updated(new char[](IRCStringConverter#1)[...])
    postpossibly_updated(new char[](IRCStringConverter#2)[...])
    postpossibly_updated(this.myParser.cMyself. myAwayReason)
    postthis.myParser.me.nickname == One-of{old this.myParser.me.nickname, &amp;java.lang. StringBuilder:toString(...), this.myParser.me. altNickname}
    postthis.myParser.sThinkNickname == One-of{old this.myParser.sThinkNickname, old this.myParser. me.nickname, &amp;java.lang.StringBuilder:toString( ...), this.myParser.me.altNickname}
    unanalyzedcall on call
    unanalyzedcall on callDebugInfo
    unanalyzedcall on doSendString
    unanalyzedcall on getCallbackManager
    unanalyzedcall on getCallbackType
    unanalyzedcall on getListModeQueue
    unanalyzedcall on getNickname
    unanalyzedcall on isFake
    unanalyzedcall on java.io.PrintWriter:printf
    unanalyzedcall on java.lang.Boolean:valueOf
    unanalyzedcall on java.lang.Byte:byteValue
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String
    unanalyzedcall on java.lang.String:charAt
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:indexOf
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:split
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.String:toCharArray
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.lang.System:currentTimeMillis
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.LinkedList
    unanalyzedcall on java.util.LinkedList:contains
    unanalyzedcall on java.util.LinkedList:offer
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Queue:offer
    unanalyzedcall on setAwayReason
    test_vectorcall(...)@76: {1}, {0}
    test_vectorthis.myParser.got001: {1}, {0}
    test_vectorthis.myParser.triedAlt: {0}, {1}