Process004005.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • bool callGotNetwork()

    • Kind Annotation Text
    pre(soft) this.myParser.sNetworkName != null
    prethis.myParser != null
    prethis.myParser.h005Info != null
    prethis.myParser.myCallbackManager != null
    prethis.myParser.myCallbackManager.callbackHash != null
    presumptiongetCallbackManager(...)@130 init'ed
    postinit'ed(return_value)
    unanalyzedcall on getCallbackManager
    unanalyzedcall on java.lang.RuntimeException
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:matches
    unanalyzedcall on java.lang.String:toLowerCase
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get

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

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

  • com.dmdirc.parser.irc.Process004005__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 == 3
    postreturn_value[0] == &"003"
    postreturn_value[1] == &"004"
    postreturn_value[2] == &"005"

  • void process(String, String[])

    • Kind Annotation Text
    pre(soft) init'ed(this.myParser.lastLine)
    pre(soft) init'ed(this.myParser.stringConverter)
    pre(soft) this.myParser != null
    pre(soft) this.myParser...myCallbackManager != null
    pre(soft) this.myParser...myCallbackManager. callbackHash != null
    pre(soft) this.myParser.cMyself != null
    pre(soft) this.myParser.cMyself.sNickname != null
    pre(soft) this.myParser.h005Info != null
    pre(soft) this.myParser.hChanModesBool != null
    pre(soft) this.myParser.hChanModesOther != null
    pre(soft) this.myParser.hChanPrefix != null
    pre(soft) this.myParser.hClientList != null
    pre(soft) this.myParser.hPrefixMap != null
    pre(soft) this.myParser.hPrefixModes != null
    pre(soft) this.myParser.hUserModes != null
    pre(soft) this.myParser.myCallbackManager != null
    pre(soft) this.myParser.myCallbackManager. callbackHash != null
    pre(soft) this.myParser.myProcessingManager != null
    pre(soft) this.myParser.myProcessingManager.myParser != null
    pre(soft) this.myParser.myProcessingManager. processHash != null
    pre(soft) this.myParser.sNetworkName != null
    pre(soft) token != null
    pre(soft) token.length in {4, 7..232-1}
    pre(soft) token[...] != null
    pre(soft) token[3] != null
    pre(soft) token[4] != null
    pre(soft) token[5] != null
    pre(soft) token[6] != null
    presParam != null
    presumptionjava.lang.Integer:parseInt(...)@96 <= 232-2
    postinit'ed(new IRCStringConverter(getIRCStringConverte r#1) num objects)
    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 IRCStringConverter(updateCharArrays#1). limit)
    postinit'ed(new IRCStringConverter(updateCharArrays#1). lowercase)
    postinit'ed(new IRCStringConverter(updateCharArrays#1). uppercase)
    postinit'ed(new char[](IRCStringConverter#1) num objects)
    postinit'ed(new char[](IRCStringConverter#1).length)
    postinit'ed(new char[](IRCStringConverter#1)[...])
    postinit'ed(new char[](IRCStringConverter#2) num objects)
    postinit'ed(new char[](IRCStringConverter#2).length)
    postinit'ed(new char[](IRCStringConverter#2)[...])
    postinit'ed(this.myParser.stringConverter)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew IRCStringConverter(getIRCStringConverter#1) num objects == 0
    postnew IRCStringConverter(updateCharArrays#1) num objects <= 232-4
    postnew char[](IRCStringConverter#1) num objects <= 232-4
    postnew char[](IRCStringConverter#1) num objects == 0
    postnew char[](IRCStringConverter#2) num objects <= 232-4
    postnew char[](IRCStringConverter#2) num objects == 0
    postpossibly_updated(this.myParser.nNextKeyCMBool)
    postpossibly_updated(this.myParser.nNextKeyPrefix)
    postpossibly_updated(this.myParser.nNextKeyUser)
    postthis.myParser.sNetworkName != null
    unanalyzedcall on call
    unanalyzedcall on callDebugInfo
    unanalyzedcall on doDebug
    unanalyzedcall on forceRemoveClient
    unanalyzedcall on getCallbackManager
    unanalyzedcall on getCallbackType
    unanalyzedcall on getIRCD
    unanalyzedcall on getNickname
    unanalyzedcall on java.lang.Boolean:valueOf
    unanalyzedcall on java.lang.Byte:valueOf
    unanalyzedcall on java.lang.Character:toString
    unanalyzedcall on java.lang.Character:valueOf
    unanalyzedcall on java.lang.Class:getName
    unanalyzedcall on java.lang.Class:getPackage
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.Long:valueOf
    unanalyzedcall on java.lang.Object:getClass
    unanalyzedcall on java.lang.Package:getName
    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:format
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:matches
    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.util.Hashtable:containsKey
    unanalyzedcall on java.util.Hashtable:get
    unanalyzedcall on java.util.Hashtable:put
    unanalyzedcall on java.util.Hashtable:remove
    unanalyzedcall on java.util.Map:clear
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Map:size
    test_vectorjava.lang.String:equals(...)@37: {0}, {1}
    test_vectorjava.lang.String:equals(...)@39: {0}, {1}
    test_vectorjava.lang.String:equals(...)@52: {0}, {1}
    test_vectorjava.lang.String:equals(...)@62: {0}, {1}
    test_vectorjava.lang.String:equals(...)@65: {0}, {1}
    test_vectorjava.lang.String:equals(...)@83: {0}, {1}
    test_vectorjava.lang.String:equals(...)@85: {0}, {1}
    test_vectorjava.lang.String:equals(...)@87: {0}, {1}
    test_vectorjava.lang.String:equals(...)@89: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@67: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@69: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@71: {1}, {0}
    test_vectorjava.util.Map:size(...)@2007: {-231..0, 2..232-1}, {1}
    test_vectortoken.length: {4}, {7..232-1}