Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.util. WeblogRequest__static_init
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void org.apache.roller.weblogger.ui.rendering. util.WeblogRequest()
post	this.authenticUser == null
post	this.locale == null
post	this.localeInstance == null
post	this.pathInfo == null
post	this.request == null
post	this.user == null
post	this.weblog == null
post	this.weblogHandle == null

method	void org.apache.roller.weblogger.ui.rendering. util.WeblogRequest(HttpServletRequest)
pre	log != null
pre	request != null
presumption	java.lang.String:length(...)@89 >= 1
post	java.lang.String:substring(...)._tainted == 0
post	init'ed(this.authenticUser)
post	init'ed(this.locale)
post	this.localeInstance == null
post	this.user == null
post	this.weblog == null
post	init'ed(this.pathInfo)
post	this.request == request
post	this.request != null
post	this.weblogHandle == null
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on javax.servlet.http.HttpServletRequest:getUs erPrincipal
unanalyzed	call on java.security.Principal:getName
test_vector	java.lang.String:endsWith(...)@84: {0}, {1}
test_vector	java.lang.String:length(...)@106: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@78: {0,1}, {2..2³²-1}
test_vector	javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@73: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@122: {0}, {1}

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires not_init'ed(pathElements [0])

+

low

use of default init check might fail: requires init'ed(pathElements. length)

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(pathElements. length)

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(pathElements. length)

+

warning

test always goes same way test predetermined because pathElements.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because pathElements.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because isLocale(...) == 0

Prev Msg Next Msg

info dead code continues dead code continues

info method not available -- call on bool org.apache.commons.logging. Log:isDebugEnabled()

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

method	bool isLocale(String)
post	return_value == 0
test_vector	potentialLocale: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@139: {2}, {0,1, 3..2³²-1}
test_vector	java.lang.String:length(...)@139: {0..4, 6..2³²-1}, {5}

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(langCountry. length)

+

warning

test always goes same way test predetermined because langCountry.length == 0

+

click for all messages in this file warning

dead code dead code here because langCountry.length == 0

info dead code continues dead code continues

Prev Msg Next Msg

info dead code continues dead code continues

method	String getWeblogHandle()
pre	init'ed(this.weblogHandle)
post	return_value == this.weblogHandle
post	init'ed(return_value)

method	void setWeblogHandle(String)
post	this.weblogHandle == weblogHandle
post	init'ed(this.weblogHandle)

method	String getLocale()
pre	init'ed(this.locale)
post	return_value == this.locale
post	init'ed(return_value)

method	void setLocale(String)
post	this.locale == locale
post	init'ed(this.locale)

method	String getPathInfo()
pre	init'ed(this.pathInfo)
post	return_value == this.pathInfo
post	init'ed(return_value)

method	void setPathInfo(String)
post	this.pathInfo == pathInfo
post	init'ed(this.pathInfo)

method	Weblog getWeblog()
pre	init'ed(this.weblog)
pre	(soft) log != null
pre	(soft) init'ed(this.weblogHandle)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@189 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@189 != null
post	init'ed(return_value)
post	this.weblog == return_value
test_vector	this.weblog: Inverse{null}, Addr_Set{null}
test_vector	this.weblogHandle: Addr_Set{null}, Inverse{null}

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String, Boolean)

info method not available -- call on void org.apache.commons.logging. Log:error(Object, Throwable)

method	void setWeblog(Weblog)
post	this.weblog == weblog
post	init'ed(this.weblog)

method	Locale getLocaleInstance()
pre	init'ed(this.localeInstance)
pre	(soft) log != null
pre	(soft) init'ed(this.locale)
pre	(soft) init'ed(this.weblogHandle)
post	init'ed(return_value)
post	this.localeInstance == return_value
post	possibly_updated(this.weblog)
post	new Locale(getLocaleInstance#1) num objects == 0
post	new Locale(getLocaleInstance#2) num objects == 0
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
test_vector	this.localeInstance: Inverse{null}, Addr_Set{null}
test_vector	this.locale: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because langCountry.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires getWeblog(...) != null

info method not available -- call on Locale org.apache.roller.weblogger. pojos.Weblog:getLocaleInstance()

Prev Msg Next Msg

method	void setLocaleInstance(Locale)
post	this.localeInstance == localeInstance
post	init'ed(this.localeInstance)

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()