method net.sourceforge.pebble.web.filter.GZIPFilter__ static_init










method void net.sourceforge.pebble.web.filter. GZIPFilter()










method void doFilter(ServletRequest, ServletResponse, FilterChain)
prechain != null
prereq != null
unanalyzedcall on javax.servlet.http.HttpServletResponseWrapp er
unanalyzedcall on java.io.PrintWriter:close
unanalyzedcall on javax.servlet.ServletOutputStream:close
test_vectorjava.lang.String:indexOf(...)@48: {-1}, {-231..-2, 0..232-1}
test_vectorjavax.servlet.http.HttpServletRequest:getHeader(... )@47: Addr_Set{null}, Inverse{null}










method void init(FilterConfig)










method void destroy()