WindowsMediaSourcePlugin.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.mediasource_windows.WindowsMediaSourcePlugin()

    • Kind Annotation Text
    postnew ArrayList(WindowsMediaSourcePlugin#1) num objects == 1
    postthis.sources == &new ArrayList(WindowsMediaSour cePlugin#1)

  • com.dmdirc.addons.mediasource_windows.WindowsMediaSourcePlugin__static_init

    • Kind Annotation Text
    post"plugins.windowsmediasource_files."._tainted == 0
    postfilesDir == &java.lang.StringBuilder:toString(. ..)
    postjava.lang.StringBuilder:toString(...)._tainted == 0

  • void extractFiles(ResourceManager, File, String)

    • Kind Annotation Text
    preres != null
    presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@111 != null
    presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourcesEndingWithAsBytes(...)@101 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    presumptionjava.util.Iterator:next(...)@102 != null
    presumptionjava.util.Map:entrySet(...)@102 != null
    presumptionjava.util.Map_Entry:getKey(...)@104 != null
    test_vectorjava.io.File:exists(...)@110: {0}, {1}
    test_vectorjava.io.File:isDirectory(...)@109: {1}, {0}
    test_vectorjava.util.Iterator:hasNext(...)@102: {0}, {1}

  • MediaInfoOutput getOutput(String, String)

    • Kind Annotation Text
    presumptionjava.lang.Runtime:exec(...)@77 != null
    presumptionjava.lang.Runtime:getRuntime(...)@77 != null
    postinit'ed(new MediaInfoOutput(getOutput#6).exitCode)
    postjava.lang.StringBuffer:toString(...)._tainted == 0
    postnew MediaInfoOutput(getOutput#6) num objects <= 1
    postnew MediaInfoOutput(getOutput#6).output == &amp;java.lang.StringBuffer:toString(...)
    postnew MediaInfoOutput(getOutput#7) num objects <= 1
    postnew MediaInfoOutput(getOutput#7).exitCode == -1
    postnew MediaInfoOutput(getOutput#7).output == &amp;"Error executing GetMediaInfo.exe"
    postreturn_value in Addr_Set{&amp;new MediaInfoOutput(g etOutput#6),&amp;new MediaInfoOutput(getOutput#7)}

  • List getSources()

    • Kind Annotation Text
    postinit'ed(return_value)
    postreturn_value == this.sources

  • void onLoad()

    • Kind Annotation Text
    presumptioncom.dmdirc.plugins.PluginInfo:getResourceManager(.. .)@130 != null
    presumptioncom.dmdirc.plugins.PluginManager:getPluginManager(. ..)@123 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourcesEndingWithAsBytes
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:delete
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.IOException:getMessage
    unanalyzedcall on java.lang.String:lastIndexOf
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Set:iterator
    test_vectorcom.dmdirc.plugins.PluginManager:getPluginInfoByNam e(...)@123: Inverse{null}, Addr_Set{null}
    test_vectorjava.io.File:exists(...)@134: {1}, {0}

  • void onUnload()

    • Kind Annotation Text