method

com.dmdirc.addons.mediasource_dcop.NoatunSource__ static_init

method

void com.dmdirc.addons.mediasource_dcop. NoatunSource()

method	MediaSourceState getState()
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
presumption	java.util.List:get(...)@47 != 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 com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
test_vector	java.lang.Integer:parseInt(...)@49: {0}, {1}, {2}, {-231..-1, 3..232-1}
test_vector	java.util.List:size(...)@46: {-231..0}, {1..232-1}

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

method	String getArtist()
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
presumption	java.util.List:get(...)@77 != null
post	java.lang.String:substring(...)._tainted == 0
post	return_value in Addr_Set{&java.lang. String:substring(...),&""}
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
test_vector	java.lang.String:indexOf(...)@79: {-231.. -2, 0..232-1}, {-1}

method	String getTitle()
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
presumption	java.lang.String:indexOf(...)@93 <= 232-4
presumption	java.util.List:get(...)@88 != null
post	java.lang.String:substring(...)._tainted == 0
post	return_value in Addr_Set{&amp;java.lang. String:substring(...),&amp;""}
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute
test_vector	java.lang.String:indexOf(...)@90: {-231.. -2, 0..232-1}, {-1}

method	String getAlbum()
post	return_value == null

method	String getLength()
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute

method	String getTime()
presumption	com.dmdirc.plugins.ExportedService:execute(...)@61 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.ExportedService:execute

method	String getFormat()
post	return_value == null

method	String getBitrate()
post	return_value == null

method	String duration(long)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
test_vector	secondsInput: {-263..3_599}, {3_600..264-1}
test_vector	secondsInput/3_600: {-2_562_047_788_015_215..0}, {1..5_124_095_576_030_431}
test_vector	secondsInput/60: {-153_722_867_280_912_930..59}, {60..307_445_734_561_825_860}