method net.sourceforge.pebble.web.security. SecurityTokenValidator__static_init
postrandom == &new SecureRandom(SecurityTokenValida tor__static_init#1)
postnew SecureRandom(SecurityTokenValidator__static_ init#1) num objects == 1










method void net.sourceforge.pebble.web.security. SecurityTokenValidator()










method bool validateSecurityToken(HttpServletRequest, HttpServletResponse, Action)
preaction != null
pre(soft) request != null
presumptionensureSecurityTokenExists(...)@79 != null
postinit'ed(return_value)
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getAnnotation
unanalyzedcall on value
unanalyzedcall on java.lang.Class:newInstance
unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzedcall on shouldValidate
unanalyzedcall on java.lang.RuntimeException
test_vectorjava.lang.String:equals(...)@83: {0}, {1}









  infomethod not available-- call on String ensureSecurityTokenExists(HttpSer vletRequest, HttpServletResponse)











method bool shouldValidate(Action, HttpServletRequest)
preaction != null
presumptionjava.lang.Object:getClass(...)@97 != null
postinit'ed(return_value)
unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa rameter
test_vectorjava.lang.Class:getAnnotation(...)@97: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on Class value()










  infomethod not available-- call on bool shouldValidate(HttpServletRequest)