CompressionFilter.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 clear()

    • -/+ Kind Annotation Text Date
    +postnew ByteArrayOutputStream(clear#1) num objects == 12009-09-04 18:33:31
    +postthis.baStream == &new ByteArrayOutputStream(cle ar#1)2009-09-04 18:33:31

  • + void close()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.baStream != null2009-09-04 18:33:31
    +pre(soft) this.intStream != null2009-09-04 18:33:31
    +preinit'ed(this.finallized)2009-09-04 18:33:31
    +unanalyzedcall on java.io.ByteArrayOutputStream:toByteArray2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:flush2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:write2009-09-04 18:33:31
    +test_vectorthis.finallized: {0}, {1}2009-09-04 18:33:31

  • + 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) request != null2009-09-04 18:33:31
    +pre(soft) response != null2009-09-04 18:33:31
    +prechain != null2009-09-04 18:33:31
    +preinit'ed(this.enabled)2009-09-04 18:33:31
    +presumptionjavax.servlet.ServletResponse:getOutputStream(... )@150 != null2009-09-04 18:33:31
    +unanalyzedcall on java.io.ByteArrayOutputStream2009-09-04 18:33:31
    +unanalyzedcall on java.io.ByteArrayOutputStream:toByteArray2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:close2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:flush2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:write2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStreamWriter2009-09-04 18:33:31
    +unanalyzedcall on java.io.PrintWriter2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.ServletOutputStream2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.ServletResponse:getOutputStre am2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getHe ader2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletResponseWrapp er2009-09-04 18:33:31
    +test_vectorthis.enabled: {0}, {1}2009-09-04 18:33:31

  • + void flush()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.finallized)2009-09-04 18:33:31
    +pre(soft) init'ed(this.flushOnFinalizeOnly)2009-09-04 18:33:31
    +pre(soft) this.intStream != null2009-09-04 18:33:31
    +prethis.baStream != null2009-09-04 18:33:31
    +postnew ByteArrayOutputStream(flush#1) num objects <= 12009-09-04 18:33:31
    +postthis.baStream != null2009-09-04 18:33:31
    +postthis.baStream == One-of{old this.baStream, &new ByteArrayOutputStream(flush#1)}2009-09-04 18:33:31
    +unanalyzedcall on java.io.ByteArrayOutputStream:toByteArray2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:flush2009-09-04 18:33:31
    +unanalyzedcall on java.io.OutputStream:write2009-09-04 18:33:31
    +test_vectorjava.io.ByteArrayOutputStream:size(...)@225: {0}, {-231..-1, 1..232-1}2009-09-04 18:33:31
    +test_vectorthis.finallized: {0}, {1}2009-09-04 18:33:31

  • + ByteArrayOutputStream getByteArrayOutputStream()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.tpStream.baStream)2009-09-04 18:33:31
    +prethis.tpStream != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.tpStream.baStream2009-09-04 18:33:31

  • + ByteArrayOutputStream getByteArrayStream()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.baStream)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.baStream2009-09-04 18:33:31

  • + ServletOutputStream getOutputStream()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.tpStream)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.tpStream2009-09-04 18:33:31

  • + PrintWriter getWriter()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.tpWriter)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.tpWriter2009-09-04 18:33:31

  • + void init(FilterConfig)

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +postinit'ed(this.enabled)2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@119: {0}, {1}2009-09-04 18:33:31

  • + bool isFinallized()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.finallized)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.finallized2009-09-04 18:33:31

  • + bool isGzipSupported(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +prereq != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.core.filters.CompressionFilter$ByteArrayOutputStreamWrapper(CompressionFilter)

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.lang.System.out)2009-09-04 18:33:31
    +post(soft) init'ed(this.intStream)2009-09-04 18:33:31
    +postnew ByteArrayOutputStream(CompressionFilter$ByteArr ayOutputStreamWrapper#1) num objects == 12009-09-04 18:33:31
    +postthis.baStream == &new ByteArrayOutputStream(Com pressionFilter$ByteArrayOutputStreamWrapper#1)2009-09-04 18:33:31
    +postthis.finallized == 02009-09-04 18:33:31
    +postthis.flushOnFinalizeOnly == 12009-09-04 18:33:31
    +postthis.intStream == java.lang.System.out2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.core.filters.CompressionFilter$ByteArrayOutputStreamWrapper(CompressionFilter, OutputStream)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.intStream)2009-09-04 18:33:31
    +postnew ByteArrayOutputStream(CompressionFilter$ByteArr ayOutputStreamWrapper#1) num objects == 12009-09-04 18:33:31
    +postthis.baStream == &new ByteArrayOutputStream(Com pressionFilter$ByteArrayOutputStreamWrapper#1)2009-09-04 18:33:31
    +postthis.finallized == 02009-09-04 18:33:31
    +postthis.flushOnFinalizeOnly == 12009-09-04 18:33:31
    +postthis.intStream == outStream2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.core.filters.CompressionFilter$ByteArrayOutputStreamWrapper__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.ui.core.filters.CompressionFilter$ByteArrayResponseWrapper(CompressionFilter, ServletResponse)

    • -/+ Kind Annotation Text Date
    +preinResp != null2009-09-04 18:33:31
    +postinit'ed(this.tpStream.finallized)2009-09-04 18:33:31
    +postinit'ed(this.tpStream.intStream)2009-09-04 18:33:31
    +postnew ByteArrayOutputStream(CompressionFilter$ByteArr ayOutputStreamWrapper#1) num objects == 12009-09-04 18:33:31
    +postnew CompressionFilter$ByteArrayOutputStreamWrapper( CompressionFilter$ByteArrayResponseWrapper#1) num objects == 12009-09-04 18:33:31
    +postnew PrintWriter(CompressionFilter$ByteArrayResponse Wrapper#2) num objects == 12009-09-04 18:33:31
    +postthis.tpStream == &new CompressionFilter$ByteArr ayOutputStreamWrapper(CompressionFilter$ByteArrayRe sponseWrapper#1)2009-09-04 18:33:31
    +postthis.tpStream.baStream == &new ByteArrayOutputS tream(CompressionFilter$ByteArrayOutputStreamWrappe r#1)2009-09-04 18:33:31
    +postthis.tpStream.flushOnFinalizeOnly == 12009-09-04 18:33:31
    +postthis.tpWriter == &new PrintWriter(CompressionFi lter$ByteArrayResponseWrapper#2)2009-09-04 18:33:31
    +unanalyzedcall on java.io.ByteArrayOutputStream2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.ServletOutputStream2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.core.filters.CompressionFilter$ByteArrayResponseWrapper__static_init

    • -/+ Kind Annotation Text Date

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

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

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

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

  • + void processStream()

    • -/+ Kind Annotation Text Date
    +prethis.baStream != null2009-09-04 18:33:31
    +prethis.intStream != null2009-09-04 18:33:31

  • + void setFinallized()

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

  • + String toString()

    • -/+ Kind Annotation Text Date
    +prethis.tpStream != null2009-09-04 18:33:31
    +prethis.tpStream.baStream != null2009-09-04 18:33:31
    +postinit'ed(java.io.ByteArrayOutputStream:toString(... )._tainted)2009-09-04 18:33:31
    +postjava.io.ByteArrayOutputStream:toString(...)._ tainted == this.tpStream.baStream._tainted2009-09-04 18:33:31
    +postreturn_value == &java.io.ByteArrayOutputStream: toString(...)2009-09-04 18:33:31

  • + void write(int)

    • -/+ Kind Annotation Text Date
    +prethis.baStream != null2009-09-04 18:33:31