Messages

Last Msg First Msg

method

com.dmdirc.util.URLBuilder__static_init

method

void com.dmdirc.util.URLBuilder()

method	URL buildFileURL(String)
pre	path != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
post	return_value in Addr_Set{null,&new URL(buildFileURL#1)}
post	new URL(buildFileURL#1) num objects <= 1

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method	URL buildJarURL(String, String)
pre	(soft) jarFile != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.HIGH)
post	return_value in Addr_Set{null,&new URL(buildJarURL#3)}
post	new URL(buildJarURL#3) num objects <= 1
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.net.URL
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getContextClassLoader
unanalyzed	call on java.lang.ClassLoader:getResource
unanalyzed	call on buildJarURL
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginI nfoByName
unanalyzed	call on com.dmdirc.plugins.PluginInfo:getFullFilena me
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on com.dmdirc.logger.Logger:userError
test_vector	java.lang.String:startsWith(...)@74: {0}, {1}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(buildURL(...)._tainted)

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method	URL buildDMDircURL(String)
presumption	java.lang.Thread:currentThread(...)@92 != null
presumption	java.lang.Thread:getContextClassLoader(...)@92 != null
post	init'ed(return_value)

method	URL buildThemeURL(String, String)
post	return_value == One-of{&new URL(buildJarURL#3), null}
post	return_value in Addr_Set{null,&new URL(buildJarURL#3)}
post	new URL(buildJarURL#3) num objects <= 1
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.net.URL
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getContextClassLoader
unanalyzed	call on java.lang.ClassLoader:getResource
unanalyzed	call on buildJarURL
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginI nfoByName
unanalyzed	call on com.dmdirc.plugins.PluginInfo:getFullFilena me
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on com.dmdirc.logger.Logger:userError

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(getThemeDirectory(...)._tainted)

use of default init

Low Prob.

check if init'ed(java/lang/StringBuilder:append(... )._tainted)

Prev Msg Next Msg

method	URL buildPluginURL(String, String)
presumption	com.dmdirc.plugins.PluginInfo:getFullFilename(... )@114 != null
presumption	com.dmdirc.plugins.PluginManager:getPluginInfoByNam e(...)@114 != null
presumption	com.dmdirc.plugins.PluginManager:getPluginManager(. ..)@114 != null
post	return_value == One-of{&new URL(buildJarURL#3), null}
post	return_value in Addr_Set{null,&new URL(buildJarURL#3)}
post	new URL(buildJarURL#3) num objects <= 1
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.net.URL
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getContextClassLoader
unanalyzed	call on java.lang.ClassLoader:getResource
unanalyzed	call on buildJarURL
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginI nfoByName
unanalyzed	call on com.dmdirc.plugins.PluginInfo:getFullFilena me
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on com.dmdirc.logger.Logger:userError

method not available - call not analyzed Info call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()

method not available - call not analyzed Info call on PluginInfo com.dmdirc.plugins. PluginManager:getPluginInfoByName(String)

method not available - call not analyzed Info call on String com.dmdirc.plugins.PluginInfo:getFul lFilename()

method	URL buildURL(String)
pre	spec != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.lang.String:indexOf(...)@138 <= 2³²-2
presumption	java.lang.String:indexOf(...)@147 <= 2³²-2
presumption	java.lang.String:indexOf(...)@156 <= 2³²-2
post	init'ed(return_value)
post	new URL(buildFileURL#1) num objects <= 1
post	new URL(buildJarURL#3) num objects <= 1
post	new URL(buildURL#4) num objects <= 1
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.net.URL
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getContextClassLoader
unanalyzed	call on java.lang.ClassLoader:getResource
unanalyzed	call on buildJarURL
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginM anager
unanalyzed	call on com.dmdirc.plugins.PluginManager:getPluginI nfoByName
unanalyzed	call on com.dmdirc.plugins.PluginInfo:getFullFilena me
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on com.dmdirc.logger.Logger:userError
test_vector	java.lang.String:indexOf(...)@138: {0.. 2³²-2}, {-2³¹..-1}
test_vector	java.lang.String:indexOf(...)@147: {0.. 2³²-2}, {-2³¹..-1}
test_vector	java.lang.String:indexOf(...)@156: {0.. 2³²-2}, {-2³¹..-1}
test_vector	java.lang.String:startsWith(...)@135: {0}, {1}
test_vector	java.lang.String:startsWith(...)@137: {1}, {0}
test_vector	java.lang.String:startsWith(...)@137: {0}, {1}
test_vector	java.lang.String:startsWith(...)@146: {0}, {1}
test_vector	java.lang.String:startsWith(...)@155: {0}, {1}
test_vector	java.lang.String:startsWith(...)@164: {1}, {0}
test_vector	java.lang.String:startsWith(...)@164: {0}, {1}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String, Throwable)

method not available - call not analyzed	Info	call on PluginManager com.dmdirc.plugins. PluginManager:getPluginManager()
method not available - call not analyzed	Info	call on PluginInfo com.dmdirc.plugins. PluginManager:getPluginInfoByName(String)
method not available - call not analyzed	Info	call on String com.dmdirc.plugins.PluginInfo:getFul lFilename()