| method | void doGet(HttpServletRequest, HttpServletResponse ) |
| pre | log != null |
| pre | (soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null |
| pre | (soft) request != null |
| pre | (soft) response != null |
| presumption | javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@157 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getLastMod ified(...)@100 != null |
| presumption | org.apache.roller.weblogger.ui.rendering. RendererManager:getRenderer(...)@123 != null |
| presumption | org.apache.roller.weblogger.util.cache. CachedContent:getContent(...).length@156 <= 232-1 |
| presumption | org.apache.roller.weblogger.util.cache. CachedContent:getContent(...)@156 != null |
| unanalyzed | call on java.lang.String:length |
| 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:trim |
| 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:getRe questURL |
| unanalyzed | call on org.apache.roller.weblogger. WebloggerException |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getUs erPrincipal |
| unanalyzed | call on java.security.Principal:getName |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getDa teHeader |
| unanalyzed | call on javax.servlet.http.HttpServletResponse:setS tatus |
| unanalyzed | call on javax.servlet.http.HttpServletResponse:setD ateHeader |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:getLastMod ified(...)@99: Addr_Set{null}, Inverse{null} |