Messages

Last Msg First Msg

method	org.apache.roller.weblogger.ui.rendering. WeblogRequestMapper__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. WeblogRequestMapper()
post	this.restricted == &new HashSet(WeblogRequestMa pper#1)
post	new HashSet(WeblogRequestMapper#1) num objects == 1
test_vector	java.lang.String:length(...)@72: {0}, {1..2³²-1}
test_vector	java.lang.String:length(...)@82: {0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@70: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@80: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

Prev Msg Next Msg

+

click for all messages in this file low

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

+

warning

test always goes same way test predetermined because i == restrict.length

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because i == restrict.length

Prev Msg Next Msg

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because i == restrict.length

Prev Msg Next Msg

method	bool handleRequest(HttpServletRequest, HttpServletResponse)
pre	log != null
pre	request != null
pre	this.restricted != null
pre	(soft) response != null
presumption	java.lang.String:indexOf(...)@125 <= 2³²-2
presumption	javax.servlet.http.HttpServletRequest:getContextPat h(...)@112 != null
presumption	javax.servlet.http.HttpServletRequest:getRequestDis patcher(...)@224 != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.commons.logging.Log:debug
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 javax.servlet.http.HttpServletRequest:getMe thod
unanalyzed	call on java.lang.String:equals
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter
test_vector	java.lang.String:endsWith(...)@118: {0}, {1}
test_vector	java.lang.String:indexOf(...)@123: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:length(...)@109: {0,1}, {2..2³²-1}
test_vector	java.util.Set:contains(...)@134: {1}, {0}
test_vector	javax.servlet.http.HttpServletRequest:getContextPat h(...)@111: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getQueryStrin g(...)@189: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getRequestURI (...)@106: Addr_Set{null}, Inverse{null}

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(urlPath.length)

+

warning

test always goes same way test predetermined because isLocale(...) == 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

Prev Msg Next Msg

+

click for all messages in this file low

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

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

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

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because weblogRequestContext == null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because weblogRequestContext == null

+

warning

dead code dead code here because weblogRequestContext == null

Prev Msg Next Msg

info dead code continues dead code continues

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

method	String calculateForwardUrl(HttpServletRequest, String, String, String, String)
pre	log != null
pre	request != null
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value in Addr_Set{null,&java.lang. StringBuffer:toString(...)}
test_vector	context: Inverse{null}, Addr_Set{null}
test_vector	data: Addr_Set{null}, Inverse{null}
test_vector	locale: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:equals(...)@247: {0}, {1}
test_vector	java.lang.String:equals(...)@249: {0}, {1}
test_vector	java.lang.String:equals(...)@303: {1}, {0}
test_vector	java.lang.String:equals(...)@303: {0}, {1}
test_vector	java.lang.String:equals(...)@322: {0}, {1}
test_vector	java.lang.String:equals(...)@337: {0}, {1}
test_vector	java.lang.String:equals(...)@348: {0}, {1}
test_vector	java.lang.String:equals(...)@355: {0}, {1}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@251: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@268: Addr_Set{null}, Inverse{null}

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 context != null

Prev Msg Next Msg

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

method	bool isWeblog(String)
pre	log != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@386 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@386 != null
post	init'ed(return_value)
test_vector	org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@387: Addr_Set{null}, Inverse{null}

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

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)

method	bool isLocale(String)
post	return_value == 0
test_vector	potentialLocale: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@409: {2}, {0,1, 3..2³²-1}
test_vector	java.lang.String:length(...)@409: {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

	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()