Messages

method

com.dmdirc.ui.core.util.Info__static_init

method

void com.dmdirc.ui.core.util.Info()

method	String getDMDircVersion()
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@45 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

method	String getJavaVersion()
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method	String getOSVersion()
presumption	java.util.Locale:getDefault(...)@68 != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuilder:toStri ng(...)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on String com.dmdirc.config.ConfigManager:getO ption(String, String)