Messages

Last Msg First Msg

method

com.dmdirc.addons.mediasource_vlc.VlcMediaSourcePl ugin__static_init

method	void com.dmdirc.addons.mediasource_vlc. VlcMediaSourcePlugin()
post	this.information == &new HashMap(VlcMediaSource Plugin#1)
post	new HashMap(VlcMediaSourcePlugin#1) num objects == 1

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

method	MediaSourceState getState()
pre	this.information != null
presumption	java.util.Map:get(...)@57 != null
post	return_value in Addr_Set{&com.dmdirc.addons. nowplaying.MediaSourceState__static_init.new MediaSourceState(MediaSourceState__static_init#1), &com.dmdirc.addons.nowplaying.MediaSourceState_ _static_init.new MediaSourceState(MediaSourceState_ _s...
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:trim
unanalyzed	call on com.dmdirc.addons.mediasource_vlc. VlcMediaSourcePlugin:getDomain
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.Map:clear
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on com.dmdirc.util.Downloader:getPage
test_vector	java.lang.String:equalsIgnoreCase(...)@58: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@60: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@62: {0}, {1}

method	String getAppName()
post	return_value == &"VLC"

method	String getArtist()
pre	this.information != null
post	init'ed(return_value)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	java.util.Map:containsKey(...)@81: {0}, {1}

method	String getFallbackArtist()
pre	this.information != null
presumption	init'ed(java.io.File.separator)
presumption	init'ed(java.io.File.separatorChar)
presumption	java.util.Map:get(...)@96 != null
post	return_value == &"unknown"
test_vector	java.util.Map:containsKey(...)@93: {0}, {1}

Prev Msg Next Msg

array index out of bounds

click for all messages in this file High Prob.

check that (bits.length - 1) >= 0

use of default init

Low Prob.

check if init'ed(bits.length)

Prev Msg Next Msg

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that not_init'ed(result)

Prev Msg Next Msg

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(bits.length)

test always goes same way

Low Prob.

Test predetermined because bits.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because bits.length == 0

Prev Msg Next Msg

method	String getTitle()
pre	this.information != null
post	java.lang.String:substring(...)._tainted == 0
post	init'ed(return_value)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:trim
test_vector	java.util.Map:containsKey(...)@117: {0}, {1}

method	String getFallbackTitle()
pre	this.information != null
presumption	init'ed(java.io.File.separatorChar)
presumption	java.lang.String:indexOf(...)@140 <= 2³²-2
presumption	java.util.Map:get(...)@133 != null
post	java.lang.String:substring(...)._tainted == 0
post	return_value != null
test_vector	java.lang.String:indexOf(...)@140: {-2³¹. .-1}, {0..2³²-2}
test_vector	java.util.Map:containsKey(...)@130: {0}, {1}

method	String getAlbum()
pre	this.information != null
post	init'ed(return_value)

method	String getLength()
pre	this.information != null
post	init'ed(return_value)

method	String getTime()
pre	this.information != null
post	init'ed(return_value)

method	String getFormat()
pre	this.information != null
post	init'ed(return_value)

method	String getBitrate()
pre	this.information != null
post	init'ed(return_value)

method

void onLoad()

method

void onUnload()

method	void showConfig(PreferencesManager)
pre	manager != null
presumption	com.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@213 != null
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. TEXT)
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.mediasource_vlc. InstructionsPanel:setLayout
unanalyzed	call on com.dmdirc.addons.ui_swing.components.text. TextLabel
unanalyzed	call on com.dmdirc.addons.mediasource_vlc. InstructionsPanel:add

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory(String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory(String, String, PreferencesInterface)

method not available - call not analyzed Info call on String com.dmdirc.addons.mediasource_vlc. VlcMediaSourcePlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

method not available - call not analyzed Info call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method not available - call not analyzed Info call on PreferencesCategory com.dmdirc.config. prefs.PreferencesCategory:setInline()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method	bool fetchInformation()
pre	this.information != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@228 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@231 != null
presumption	com.dmdirc.util.Downloader:getPage(...)@228 != null
presumption	com.dmdirc.util.Downloader:getPage(...)@231 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.Integer:toString
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:isEmpty

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.addons.mediasource_vlc. VlcMediaSourcePlugin:getDomain()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method not available - call not analyzed Info call on List com.dmdirc.util.Downloader:getPage(Str ing)

method	void parseInformation(List, List)
pre	res != null
pre	res2 != null
pre	(soft) this.information != null
presumption	java.lang.String:indexOf(...)@258 <= 2³²-2
presumption	java.lang.String:indexOf(...)@302 <= 2³²-2
presumption	java.util.Iterator:next(...)@254 != null
presumption	java.util.Iterator:next(...)@270 != null
test_vector	java.lang.String:endsWith(...)@285: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@277: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@279: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@297: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@288: {1}, {0}
test_vector	java.lang.String:startsWith(...)@257: {0}, {1}
test_vector	java.lang.String:startsWith(...)@274: {0}, {1}
test_vector	java.lang.String:startsWith(...)@281: {0}, {1}
test_vector	java.lang.String:startsWith(...)@299: {0}, {1}
test_vector	java.lang.String:startsWith(...)@301: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@254: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@270: {0}, {1}

method not available - call not analyzed	Info	call on String com.dmdirc.addons.mediasource_vlc. VlcMediaSourcePlugin:getDomain()
method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

	method not available - call not analyzed	Info	call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.mediasource_vlc. VlcMediaSourcePlugin:getDomain()
method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)
method not available - call not analyzed	Info	call on List com.dmdirc.util.Downloader:getPage(Str ing)