RedirectServlet.java

RedirectServlet.java

current inspection = 2009-09-04 18:33:31 (id #2)

base = 2009-09-04 18:33:31 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

+ void doGet(HttpServletRequest, HttpServletResponse)

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/OldCommentsRequest.log != null	2009-09-04 18:33:31
+	pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/OldFeedRequest.feedServlets != null	2009-09-04 18:33:31
+	pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/OldFeedRequest.mLogger != null	2009-09-04 18:33:31
+	pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/OldPageRequest.mLogger != null	2009-09-04 18:33:31
+	pre	log != null	2009-09-04 18:33:31
+	pre	request != null	2009-09-04 18:33:31
+	pre	response != null	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Boolean:booleanValue	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Boolean:valueOf	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Exception	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:equals	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:length	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:split	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:startsWith	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:substring	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:trim	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Throwable:__curr_excep_obj	2009-09-04 18:33:31
+	unanalyzed	call on java.util.HashMap	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Map:put	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Set:contains	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa thInfo	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURL	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getSe rvletPath	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.lang.StringUtils:isNumer ic	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.logging.Log:debug	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. URLStrategy:getXmlrpcURL	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getProperty	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getRelativeContextURL	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.util. URLUtilities:encode	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.roller.weblogger.util. URLUtilities:getQueryString	2009-09-04 18:33:31
+	test_vector	java.lang.String:endsWith(...)@89: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@101: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@105: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@109: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@113: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@117: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@121: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@125: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@129: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@133: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@137: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@141: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:equals(...)@145: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:length(...)@83: {0,1}, {2..2³²-1}	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpServletRequest:getServletPat h(...)@82: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31

+ String figureAdminRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	post	java.lang.StringBuilder:toString(...)._tainted == 0	2009-09-04 18:33:31
+	post	return_value == &java.lang.StringBuilder:toStri ng(...)	2009-09-04 18:33:31

+ String figureCommentsRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/OldCommentsRequest.log != null	2009-09-04 18:33:31
+	pre	(soft) request != null	2009-09-04 18:33:31
+	post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&java.lang. StringBuffer:toString(...)}	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Exception	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:equals	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:length	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:split	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:substring	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:trim	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa thInfo	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURL	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getSe rvletPath	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.lang.StringUtils:isNumer ic	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.logging.Log:debug	2009-09-04 18:33:31

+ String figureEditorRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	post	java.lang.StringBuilder:toString(...)._tainted == 0	2009-09-04 18:33:31
+	post	return_value == &java.lang.StringBuilder:toStri ng(...)	2009-09-04 18:33:31

+ String figureFeedRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/OldFeedRequest.feedServlets != null	2009-09-04 18:33:31
+	pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/OldFeedRequest.mLogger != null	2009-09-04 18:33:31
+	pre	(soft) request != null	2009-09-04 18:33:31
+	post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...)}	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Boolean:booleanValue	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Boolean:valueOf	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Exception	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:equals	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:length	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:split	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:substring	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:trim	2009-09-04 18:33:31
+	unanalyzed	call on java.util.Set:contains	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa thInfo	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURL	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getSe rvletPath	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.logging.Log:debug	2009-09-04 18:33:31

+ String figureLanguageRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	pre	request != null	2009-09-04 18:33:31
+	post	java.lang.StringBuilder:toString(...)._tainted == 0	2009-09-04 18:33:31
+	post	return_value == One-of{null, &java.lang. StringBuilder:toString(...)}	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...)}	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@167: Inverse{null}, Addr_Set{null}	2009-09-04 18:33:31

+ String figurePageRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	pre	(soft) org/apache/roller/weblogger/ui/rendering/vel ocity/deprecated/OldPageRequest.mLogger != null	2009-09-04 18:33:31
+	pre	(soft) request != null	2009-09-04 18:33:31
+	post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...)}	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Exception	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:equals	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:length	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:split	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:substring	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.String:trim	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa thInfo	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURL	2009-09-04 18:33:31
+	unanalyzed	call on javax.servlet.http.HttpServletRequest:getSe rvletPath	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.lang.StringUtils:isNumer ic	2009-09-04 18:33:31
+	unanalyzed	call on org.apache.commons.logging.Log:debug	2009-09-04 18:33:31
+	test_vector	java.lang.String:startsWith(...)@319: {0}, {1}	2009-09-04 18:33:31

+ String figureResourceRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	pre	request != null	2009-09-04 18:33:31
+	post	java.lang.StringBuilder:toString(...)._tainted == 0	2009-09-04 18:33:31
+	post	return_value == null	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@213: Inverse{null}, Addr_Set{null}	2009-09-04 18:33:31

+ String figureRsdRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	pre	request != null	2009-09-04 18:33:31
+	post	java.lang.StringBuilder:toString(...)._tainted == 0	2009-09-04 18:33:31
+	post	return_value == One-of{null, &java.lang. StringBuilder:toString(...)}	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...)}	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@234: Inverse{null}, Addr_Set{null}	2009-09-04 18:33:31

+ String figureSearchRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	pre	request != null	2009-09-04 18:33:31
+	presumption	javax.servlet.http.HttpServletRequest:getParameter( ...)@358 != null	2009-09-04 18:33:31
+	presumption	javax.servlet.http.HttpServletRequest:getParameter( ...)@363 != null	2009-09-04 18:33:31
+	post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&java.lang. StringBuilder:toString(...)}	2009-09-04 18:33:31
+	test_vector	java.lang.String:length(...)@358: {0}, {1..2³²-1}	2009-09-04 18:33:31
+	test_vector	java.lang.String:length(...)@363: {0}, {1..2³²-1}	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@358: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@363: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@346: Inverse{null}, Addr_Set{null}	2009-09-04 18:33:31

+ String figureXmlrpcRedirect(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	presumption	org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@376 != null	2009-09-04 18:33:31
+	presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@376 != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31

+ void org.apache.roller.weblogger.ui.rendering.velocity.deprecated.RedirectServlet()

-/+	Kind	Annotation Text	Date

+ org.apache.roller.weblogger.ui.rendering.velocity.deprecated.RedirectServlet__static_init

-/+	Kind	Annotation Text	Date
+	post	init'ed(log)	2009-09-04 18:33:31