| method | void doFilter(ServletRequest, ServletResponse, FilterChain) |
| pre | chain != null |
| pre | init'ed(this.initialized) |
| pre | (soft) log != null |
| pre | (soft) req != null |
| post | this.initialized == 1 |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getRe questURL |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getRe questURI |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getSe rverName |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getCo ntextPath |
| unanalyzed | call on java.lang.String:endsWith |
| test_vector | this.initialized: {1}, {0} |
| method | String getAbsoluteUrl(HttpServletRequest) |
| pre | request != null |
| pre | (soft) log != null |
| presumption | javax.servlet.http.HttpServletRequest:getRequestURL (...)@79 != null |
| post | java.lang.String:substring(...)._tainted == 0 |
| post | java.lang.StringBuilder:toString(...)._tainted == 0 |
| post | return_value in Addr_Set{&java.lang. StringBuilder:toString(...),&java.lang. String:substring(...),&java.lang. String:substring(...)} |
| test_vector | java.lang.String:endsWith(...)@97: {0}, {1} |
| test_vector | java.lang.String:equals(...)@82: {0}, {1} |