NoatunSource.java

NoatunSource.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_dcop.NoatunSource()

Kind	Annotation Text

com.dmdirc.addons.mediasource_dcop.NoatunSource__static_init

Kind	Annotation Text

String duration(long)

Kind	Annotation Text
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)
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}
test_vector	secondsInput: {-2⁶³..3_599}, {3_600..2⁶⁴-1}

String getAlbum()

Kind	Annotation Text
post	return_value == null

String getAppName()

Kind	Annotation Text
post	return_value == &"Noatun"

String getArtist()

Kind	Annotation Text
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.ExportedService:execute
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
test_vector	java.lang.String:indexOf(...)@79: {-2³¹.. -2, 0..2³²-1}, {-1}

String getBitrate()

Kind	Annotation Text
post	return_value == null

String getFormat()

Kind	Annotation Text
post	return_value == null

String getLength()

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

MediaSourceState getState()

Kind	Annotation Text
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.ExportedService:execute
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
test_vector	java.lang.Integer:parseInt(...)@49: {0}, {1}, {2}, {-2³¹..-1, 3..2³²-1}
test_vector	java.util.List:size(...)@46: {-2³¹..0}, {1..2³²-1}

String getTime()

Kind	Annotation Text
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.ExportedService:execute
unanalyzed	call on com.dmdirc.plugins.PluginManager:getExporte dService
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager

String getTitle()

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