| method | void doGet(HttpServletRequest, HttpServletResponse ) |
| pre | log != null |
| pre | response != null |
| pre | (soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null |
| pre | (soft) request != null |
| presumption | init'ed(java.lang.Boolean.TRUE) |
| presumption | javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@217 != null |
| presumption | javax.servlet.jsp.JspFactory:getDefaultFactory(... )@127 != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@86 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@85 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@147 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@163 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@85 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@104 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@108 != null |
| presumption | org.apache.roller.weblogger.ui.rendering. RendererManager:getRenderer(...)@183 != null |
| presumption | org.apache.roller.weblogger.util.cache. CachedContent:getContent(...).length@216 <= 232-1 |
| presumption | org.apache.roller.weblogger.util.cache. CachedContent:getContent(...)@216 != null |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getSe rvletPath |
| unanalyzed | call on getPathInfo |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getRe questURL |
| unanalyzed | call on org.apache.roller.weblogger. WebloggerException |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on org.apache.roller.weblogger.util. URLUtilities:decode |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa thInfo |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:endsWith |
| unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getUs erPrincipal |
| unanalyzed | call on java.security.Principal:getName |
| unanalyzed | call on java.util.HashMap |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@154: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:isShowAllL angs(...)@96: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogTheme:getTe mplateByAction(...)@104: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogSearchRequest:getLocale(...)@96: Inverse{null}, Addr_Set{null} |