PluginComponent.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.updater.components.PluginComponent(PluginInfo)

    • Kind Annotation Text
    preplugin != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@45 != null
    presumptioncom.dmdirc.plugins.PluginInfo:getVersion(...)@56 != null
    postthis.plugin != null
    postthis.plugin == plugin
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOption
    unanalyzedcall on com.dmdirc.plugins.PluginInfo:getAddonID
    unanalyzedcall on com.dmdirc.plugins.PluginInfo:getName
    unanalyzedcall on getName
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionInt(... )@56: {0}, {1}
    test_vectorcom.dmdirc.plugins.PluginInfo:getAddonID(...)@56: {-231..0}, {1..232-1}

  • com.dmdirc.updater.components.PluginComponent__static_init

    • Kind Annotation Text
    postinit'ed(config)

  • bool doInstall(String)

    • Kind Annotation Text
    prethis.plugin != null
    postinit'ed(return_value)
    test_vectorcom.dmdirc.plugins.PluginInfo:isLoaded(...)@100: {1}, {0}
    test_vectorcom.dmdirc.plugins.PluginInfo:isLoaded(...)@114: {0}, {1}
    test_vectorcom.dmdirc.plugins.PluginInfo:isLoaded(...)@96: {1}, {0}
    test_vectorcom.dmdirc.plugins.PluginInfo:isUnloadable(... )@100: {1}, {0}
    test_vectorcom.dmdirc.plugins.PluginInfo:isUnloadable(... )@96: {1}, {0}
    test_vectorjava.io.File:exists(...)@104: {0}, {1}
    test_vectorjava.io.File:exists(...)@96: {0}, {1}
    test_vectorjava.io.File:renameTo(...)@100: {1}, {0}

  • String getFriendlyName()

    • Kind Annotation Text
    prethis.plugin != null
    postinit'ed(return_value)

  • String getFriendlyVersion()

    • Kind Annotation Text
    prethis.plugin != null
    postinit'ed(return_value)

  • String getName()

    • Kind Annotation Text
    prethis.plugin != null
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@45 != null
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. StringBuilder:toString(...)}
    test_vectorcom.dmdirc.plugins.PluginInfo:getAddonID(...)@66: {-231..0}, {1..232-1}

  • Version getVersion()

    • Kind Annotation Text
    prethis.plugin != null
    postinit'ed(return_value)