securitytokenvalidator.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • - String ensureSecurityTokenExists(HttpServletRequest, HttpServletResponse)

    • -/+ Kind Annotation Text Date

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

    • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.web.security.SecurityTokenValidator__static_init

    • -/+ Kind Annotation Text Date
    +postnew SecureRandom(SecurityTokenValidator__static_ init#1) num objects == 12010-07-22 12:56:56
    +postrandom == &new SecureRandom(SecurityTokenValida tor__static_init#1)2010-07-22 12:56:56

  • - bool shouldValidate(Action, HttpServletRequest)

    • -/+ Kind Annotation Text Date

  • + bool shouldValidate(Action, HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +preaction != null2010-07-22 12:56:56
    +presumptionjava.lang.Object:getClass(...)@97 != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa rameter2010-07-22 12:56:56
    +test_vectorjava.lang.Class:getAnnotation(...)@97: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • - bool validateSecurityToken(HttpServletRequest, HttpServletResponse, Action)

    • -/+ Kind Annotation Text Date

  • + bool validateSecurityToken(HttpServletRequest, HttpServletResponse, Action)

    • -/+ Kind Annotation Text Date
    +pre(soft) request != null2010-07-22 12:56:56
    +preaction != null2010-07-22 12:56:56
    +presumptionensureSecurityTokenExists(...)@79 != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Class:getAnnotation2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Class:newInstance2010-07-22 12:56:56
    +unanalyzedcall on java.lang.Object:getClass2010-07-22 12:56:56
    +unanalyzedcall on java.lang.RuntimeException2010-07-22 12:56:56
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa rameter2010-07-22 12:56:56
    +unanalyzedcall on shouldValidate2010-07-22 12:56:56
    +unanalyzedcall on value2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@83: {0}, {1}2010-07-22 12:56:56