method com.dmdirc.addons.mediasource_windows. WindowsMediaSourcePlugin__static_init
post"plugins.windowsmediasource_files."._tainted == 0
postjava.lang.StringBuilder:toString(...)._tainted == 0
postfilesDir == &java.lang.StringBuilder:toString(. ..)









  method not available - call not analyzedInfocall on String com.dmdirc.Main:getConfigDir()











method void com.dmdirc.addons.mediasource_windows. WindowsMediaSourcePlugin()
postthis.sources == &new ArrayList(WindowsMediaSour cePlugin#1)
postnew ArrayList(WindowsMediaSourcePlugin#1) num objects == 1









  method not available - call not analyzedInfocall on void com.dmdirc.plugins.Plugin()











method List getSources()
postreturn_value == this.sources
postinit'ed(return_value)










method MediaInfoOutput getOutput(String, String)
presumptionjava.lang.Runtime:exec(...)@77 != null
presumptionjava.lang.Runtime:getRuntime(...)@77 != null
postjava.lang.StringBuffer:toString(...)._tainted == 0
postreturn_value in Addr_Set{&new MediaInfoOutput(g etOutput#6),&new MediaInfoOutput(getOutput#7)}
postnew MediaInfoOutput(getOutput#6) num objects <= 1
postinit'ed(new MediaInfoOutput(getOutput#6).exitCode)
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"









  method not available - call not analyzedInfocall on void com.dmdirc.installer.StreamReader(Inpu tStream)
  method not available - call not analyzedInfocall on void com.dmdirc.installer.StreamReader:star t()










  method not available - call not analyzedInfocall on void com.dmdirc.installer.StreamReader(Inpu tStream, StringBuffer)
  method not available - call not analyzedInfocall on void com.dmdirc.installer.StreamReader:star t()











method void extractFiles(ResourceManager, File, String)
preres != null
presumptioninit'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@111 != null
presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourcesEndingWithAsBytes(...)@101 != null
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}









  method not available - call not analyzedInfocall on Map com.dmdirc.util.resourcemanager. ResourceManager:getResourcesEndingWithAsBytes(Strin g)










  method not available - call not analyzedInfocall on ResourceManager com.dmdirc.util. resourcemanager.ResourceManager:getResourceManager( )
  method not available - call not analyzedInfocall on void com.dmdirc.util.resourcemanager. ResourceManager:resourceToFile(byte[], File)










  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:userError(Err orLevel, String, Throwable)











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









  method not available - call not analyzedInfocall on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
  method not available - call not analyzedInfocall on PluginInfo com.dmdirc.plugins. PluginManager:getPluginInfoByName(String)










  method not available - call not analyzedInfocall on ResourceManager com.dmdirc.plugins. PluginInfo:getResourceManager()










  method not available - call not analyzedInfocall on void com.dmdirc.logger.Logger:userError(Err orLevel, String, Throwable)











method void onUnload()