Messages

Last Msg First Msg

method

com.dmdirc.addons.mediasource_windows.DllSource__ static_init

method	void com.dmdirc.addons.mediasource_windows. DllSource(String)
post	this.playerName == playerName
post	init'ed(this.playerName)
post	this.useArtistTitle == 0

method	void com.dmdirc.addons.mediasource_windows. DllSource(String, bool)
post	this.playerName == playerName
post	init'ed(this.playerName)
post	this.useArtistTitle == useArtistTitle
post	init'ed(this.useArtistTitle)

method	String getAppName()
post	return_value == this.playerName
post	init'ed(return_value)

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

method	MediaSourceState getState()
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 java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Process:exitValue
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}

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.StringBuffer:toStri ng(...)._tainted) in getOutput

Prev Msg Next Msg

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

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOutput(...) != null

use of default init

Low Prob.

check if init'ed(java/lang/String:split(...). length)

Prev Msg Next Msg

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

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getOutput(...) != null

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)

Prev Msg Next Msg

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

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

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

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.StringBuffer:toStri ng(...)._tainted) in getOutput

Prev Msg Next Msg

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

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.StringBuffer:toStri ng(...)._tainted) in getOutput

Prev Msg Next Msg

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

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