InitFilter.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 destroy()

    • -/+ Kind Annotation Text Date

  • + void doFilter(ServletRequest, ServletResponse, FilterChain)

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +pre(soft) req != null2009-09-04 18:33:31
    +prechain != null2009-09-04 18:33:31
    +preinit'ed(this.initialized)2009-09-04 18:33:31
    +postthis.initialized == 12009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:endsWith2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:substring2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getCo ntextPath2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getRe questURI2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getRe questURL2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getSe rverName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:info2009-09-04 18:33:31
    +test_vectorthis.initialized: {1}, {0}2009-09-04 18:33:31

  • + String getAbsoluteUrl(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +pre(soft) log != null2009-09-04 18:33:31
    +prerequest != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getRequestURL (...)@79 != null2009-09-04 18:33:31
    +postjava.lang.String:substring(...)._tainted == 02009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. String:substring(...),&java.lang. String:substring(...)}2009-09-04 18:33:31
    +test_vectorjava.lang.String:endsWith(...)@97: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@82: {0}, {1}2009-09-04 18:33:31

  • + void init(FilterConfig)

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.ui.core.filters.InitFilter()

    • -/+ Kind Annotation Text Date
    +postthis.initialized == 02009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.core.filters.InitFilter__static_init

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