| method | void doGet(HttpServletRequest, HttpServletResponse ) |
| pre | log != null |
| pre | request != null |
| pre | (soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null |
| pre | (soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogResourceRequest.log != null |
| pre | (soft) response != null |
| pre | (soft) this.context != null |
| presumption | javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@154 != null |
| presumption | org.apache.roller.weblogger.business. FileManager:getFile(...)@125 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getFileManager(...)@124 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@124 != null |
| presumption | org.apache.roller.weblogger.pojos.ThemeResource:get InputStream(...)@128 != null |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on org.apache.roller.weblogger.util. URLUtilities:decode |
| 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 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 java.lang.String:endsWith |
| 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 | java.io.InputStream:read(...)@155: {-231. .0}, {1..232-1} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@107: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogTheme:getRe source(...)@109: Addr_Set{null}, Inverse{null} |