DNSPlugin.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.addons.dns.DNSPlugin()

    • Kind Annotation Text

  • com.dmdirc.addons.dns.DNSPlugin__static_init

    • Kind Annotation Text

  • String getHostname(String)

    • Kind Annotation Text
    presumptionjava.net.InetAddress:getByName(...)@92 != null
    postinit'ed(return_value)

  • String getIPs(String)

    • Kind Annotation Text
    presumptionarr$.length@70 <= 232-1
    presumptionarr$[i$]@70 != null
    presumptionjava.net.InetAddress:getAllByName(...)@70 != null
    postjava.lang.Object:toString(...)._tainted == 0
    postreturn_value == &amp;java.lang.Object:toString(... )

  • void onLoad()

    • Kind Annotation Text
    postnew DNSCommand(onLoad#1) num objects == 1
    postthis.command == &amp;new DNSCommand(onLoad#1)
    unanalyzedcall on com.dmdirc.commandparser.CommandManager:reg isterCommand
    unanalyzedcall on com.dmdirc.commandparser.commands. GlobalCommand

  • void onUnload()

    • Kind Annotation Text
    preinit'ed(this.command)