Messages

method	void org.apache.roller.weblogger.ui.rendering. plugins.comments.MathCommentAuthenticator()
post	init'ed(this.bundle)

method	org.apache.roller.weblogger.ui.rendering.plugins. comments.MathCommentAuthenticator__static_init
post	init'ed(mLogger)

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

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

method	bool authenticate(HttpServletRequest)
pre	request != null
pre	(soft) mLogger != null
post	init'ed(return_value)
test_vector	javax.servlet.http.HttpServletRequest:getParameter( ...)@84: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpServletRequest:getSession(.. .)@83: Addr_Set{null}, Inverse{null}
test_vector	javax.servlet.http.HttpSession:getAttribute(... )@89: Addr_Set{null}, Inverse{null}

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