DllSource.java

DllSource.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.DllSource(String)

Kind	Annotation Text
post	init'ed(this.playerName)
post	this.playerName == playerName
post	this.useArtistTitle == 0

void com.dmdirc.addons.mediasource_windows.DllSource(String, bool)

Kind	Annotation Text
post	init'ed(this.playerName)
post	init'ed(this.useArtistTitle)
post	this.playerName == playerName
post	this.useArtistTitle == useArtistTitle

com.dmdirc.addons.mediasource_windows.DllSource__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	init'ed(return_value)
post	java.lang.StringBuffer:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

String getAppName()

Kind	Annotation Text
post	init'ed(return_value)
post	return_value == this.playerName

String getArtist()

Kind	Annotation Text
presumption	getOutput(...)@103 init'ed
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	possibly_updated(return_value)
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	this.useArtistTitle: {0}, {1}

String getBitrate()

Kind	Annotation Text
post	init'ed(return_value)
post	java.lang.StringBuffer:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

String getFormat()

Kind	Annotation Text
post	init'ed(return_value)
post	java.lang.StringBuffer:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

String getLength()

Kind	Annotation Text
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&"Unknown"}
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

String getOutput(String)

Kind	Annotation Text
post	init'ed(return_value)
post	java.lang.StringBuffer:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

MediaSourceState getState()

Kind	Annotation Text
presumption	result.output != 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.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	java.lang.String:equalsIgnoreCase(...)@85: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@87: {0}, {1}
test_vector	java.lang.String:equalsIgnoreCase(...)@89: {0}, {1}
test_vector	result.exitCode: {-2³¹..-1, 1..2³²-1}, {0}

String getTime()

Kind	Annotation Text
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&"Unknown"}
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.String:format
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

String getTitle()

Kind	Annotation Text
presumption	getOutput(...)@113 init'ed
post	init'ed(return_value)
post	java.lang.StringBuffer:toString(...)._tainted == 0
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	this.useArtistTitle: {0}, {1}