MathCommentAuthenticator.java

MathCommentAuthenticator.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

+ bool authenticate(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	pre	(soft) mLogger != null	2009-09-04 18:33:31
+	pre	request != null	2009-09-04 18:33:31
+	post	init'ed(return_value)	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@84: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpServletRequest:getSession(.. .)@83: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpSession:getAttribute(... )@89: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31

+ String getHtml(HttpServletRequest)

-/+	Kind	Annotation Text	Date
+	pre	request != null	2009-09-04 18:33:31
+	pre	this.bundle != null	2009-09-04 18:33:31
+	presumption	(int) (java.lang.Math:random(...)@4610) + (int) (java.lang.Math:random(...)@47100) in -2³¹..2³²-1	2009-09-04 18:33:31
+	presumption	(int) (java.lang.Math:random(...)@46*10) in -2³¹..2³²-1	2009-09-04 18:33:31
+	presumption	(int) (java.lang.Math:random(...)@47*100) in -2³¹..2³²-1	2009-09-04 18:33:31
+	presumption	javax.servlet.http.HttpServletRequest:getSession(.. .)@43 != null	2009-09-04 18:33:31
+	presumption	javax.servlet.http.HttpServletRequest:getSession(.. .)@59 != null	2009-09-04 18:33:31
+	presumption	javax.servlet.http.HttpServletRequest:getSession(.. .)@60 != null	2009-09-04 18:33:31
+	post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)	2009-09-04 18:33:31
+	post	return_value == &java.lang.StringBuffer:toStrin g(...)	2009-09-04 18:33:31
+	test_vector	javax.servlet.http.HttpSession:getAttribute(... )@44: Inverse{null}, Addr_Set{null}	2009-09-04 18:33:31

+ void org.apache.roller.weblogger.ui.rendering.plugins.comments.MathCommentAuthenticator()

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

+ org.apache.roller.weblogger.ui.rendering.plugins.comments.MathCommentAuthenticator__static_init

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