Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest__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.WeblogPageRequest()
post	this.authenticUser == null
post	this.context == null
post	this.locale == null
post	this.localeInstance == null
post	this.pathInfo == null
post	this.request == null
post	this.tags == null
post	this.user == null
post	this.weblog == null
post	this.weblogAnchor == null
post	this.weblogCategory == null
post	this.weblogCategoryName == null
post	this.weblogDate == null
post	this.weblogEntry == null
post	this.weblogHandle == null
post	this.weblogPage == null
post	this.weblogPageName == null
post	this.customParams == &new HashMap(WeblogPageReq uest#1)
post	this.pageNum == 0
post	new HashMap(WeblogPageRequest#1) num objects == 1
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest

method	void org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest(HttpServletRequest)
pre	log != null
pre	org/apache/roller/weblogger/ui/rendering/util/Weblo gRequest.log != null
pre	request != null
presumption	javax.servlet.http.HttpServletRequest:getParameter( ...)@201 == null \| org.apache.commons.lang. StringUtils:isNumeric(...)@262 == 0 \| java.lang.String:length(...)@262 == 6 \| java.lang.String:length(...)@262 == 8
presumption	(!(javax.servlet.http.HttpServletRequest:getParamet er(...)@201 == null) & org.apache.commons.lang. StringUtils:isNumeric(...)@262 != 0 & java.lang.String:length(...)@262 == 6) \| (!(javax.servlet.http.HttpServletRequest:getParame ter(...)@201...
presumption	java.lang.String:equals(...)@159 == 1
presumption	java.lang.String:equals(...)@256 == 1
presumption	java.lang.String:equals(...)@74 == 1
presumption	javax.servlet.http.HttpServletRequest:getParameter( ...)@201 != null
presumption	javax.servlet.http.HttpServletRequest:getServletPat h(...)@84 != null
presumption	org.apache.commons.lang.StringUtils:isNumeric(... )@262 == 1
presumption	org.apache.roller.weblogger.util.URLUtilities:decod e(...)@211 != null
post	java.lang.String:substring(...)._tainted == 0
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(this.authenticUser)
post	possibly_updated(this.context)
post	this.customParams == &new HashMap(WeblogPageReq uest#17)
post	init'ed(this.locale)
post	init'ed(this.localeInstance)
post	init'ed(this.pageNum)
post	init'ed(this.pathInfo)
post	this.request == request
post	this.request != null
post	init'ed(this.tags)
post	init'ed(this.user)
post	init'ed(this.weblog)
post	init'ed(this.weblogAnchor)
post	init'ed(this.weblogCategory)
post	init'ed(this.weblogCategoryName)
post	init'ed(this.weblogDate)
post	init'ed(this.weblogEntry)
post	this.weblogHandle == One-of{null, undefined}
post	this.weblogHandle == null
post	init'ed(this.weblogPage)
post	init'ed(this.weblogPageName)
post	new HashMap(WeblogPageRequest#1) num objects == 1
post	new HashMap(WeblogPageRequest#17) num objects == 1
unanalyzed	call on org.apache.commons.lang.StringUtils:isNumer ic
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa thInfo
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURL
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:length(...)@112: {0}, {1..2³²-1}
test_vector	java.lang.String:startsWith(...)@215: {1}, {0}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@186: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@191: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@200: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@210: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@223: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@188: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@193: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@243: {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 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

info dead code continues dead code continues

info method not available -- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)

info method not available -- call on String org.apache.roller.weblogger.util. URLUtilities:decode(String)

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 isValidDestination(String)
post	init'ed(return_value)

method	bool isValidDateString(String)
post	init'ed(return_value)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isNumeric(String)

method	String getContext()
pre	init'ed(this.context)
post	return_value == this.context
post	init'ed(return_value)

method	void setContext(String)
post	this.context == context
post	init'ed(this.context)

method	String getWeblogAnchor()
pre	init'ed(this.weblogAnchor)
post	return_value == this.weblogAnchor
post	init'ed(return_value)

method	void setWeblogAnchor(String)
post	this.weblogAnchor == weblogAnchor
post	init'ed(this.weblogAnchor)

method	String getWeblogPageName()
pre	init'ed(this.weblogPageName)
post	return_value == this.weblogPageName
post	init'ed(return_value)

method	void setWeblogPageName(String)
post	this.weblogPageName == weblogPage
post	init'ed(this.weblogPageName)

method	String getWeblogCategoryName()
pre	init'ed(this.weblogCategoryName)
post	return_value == this.weblogCategoryName
post	init'ed(return_value)

method	void setWeblogCategoryName(String)
post	this.weblogCategoryName == weblogCategory
post	init'ed(this.weblogCategoryName)

method	String getWeblogDate()
pre	init'ed(this.weblogDate)
post	return_value == this.weblogDate
post	init'ed(return_value)

method	void setWeblogDate(String)
post	this.weblogDate == weblogDate
post	init'ed(this.weblogDate)

method	int getPageNum()
pre	init'ed(this.pageNum)
post	return_value == this.pageNum
post	init'ed(return_value)

method	void setPageNum(int)
post	this.pageNum == pageNum
post	init'ed(this.pageNum)

method	Map getCustomParams()
pre	init'ed(this.customParams)
post	return_value == this.customParams
post	init'ed(return_value)

method	void setCustomParams(Map)
post	this.customParams == customParams
post	init'ed(this.customParams)

method	List getTags()
pre	init'ed(this.tags)
post	return_value == this.tags
post	init'ed(return_value)

method	void setTags(List)
post	this.tags == tags
post	init'ed(this.tags)

method	WeblogEntry getWeblogEntry()
pre	init'ed(this.weblogEntry)
pre	(soft) log != null
pre	(soft) init'ed(this.weblog)
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) init'ed(this.weblogAnchor)
pre	(soft) init'ed(this.weblogHandle)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@334 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@334 != null
post	init'ed(return_value)
post	this.weblogEntry == return_value
post	init'ed(this.weblog)
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.weblogEntry: Inverse{null}, Addr_Set{null}
test_vector	this.weblogAnchor: 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 WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryByAnchor(Weblo g, String)

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

method	void setWeblogEntry(WeblogEntry)
post	this.weblogEntry == weblogEntry
post	init'ed(this.weblogEntry)

method	ThemeTemplate getWeblogPage()
pre	init'ed(this.weblogPage)
pre	(soft) log != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) init'ed(this.weblogHandle)
pre	(soft) init'ed(this.weblogPageName)
presumption	org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@352 != null
post	init'ed(return_value)
post	this.weblogPage == return_value
post	possibly_updated(this.weblog)
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.weblogPage: Inverse{null}, Addr_Set{null}
test_vector	this.weblogPageName: Addr_Set{null}, Inverse{null}

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 WeblogTheme org.apache.roller.weblogger. pojos.Weblog:getTheme()

info method not available -- call on ThemeTemplate org.apache.roller. weblogger.pojos.WeblogTheme:getTemplateByLink(Strin g)

Prev Msg Next Msg

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

method	void setWeblogPage(WeblogTemplate)
post	this.weblogPage == weblogPage
post	init'ed(this.weblogPage)

method	WeblogCategory getWeblogCategory()
pre	init'ed(this.weblogCategory)
pre	(soft) log != null
pre	(soft) init'ed(this.weblog)
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) init'ed(this.weblogCategoryName)
pre	(soft) init'ed(this.weblogHandle)
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@369 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@369 != null
post	init'ed(return_value)
post	this.weblogCategory == return_value
post	init'ed(this.weblog)
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.weblogCategory: Inverse{null}, Addr_Set{null}
test_vector	this.weblogCategoryName: Addr_Set{null}, Inverse{null}

info method not available -- call on WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getWeblogCategoryB yPath(Weblog, String)

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

method	void setWeblogCategory(WeblogCategory)
post	this.weblogCategory == weblogCategory
post	init'ed(this.weblogCategory)

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