| method | void doGet(HttpServletRequest, HttpServletResponse ) |
| pre | log != null |
| pre | request != null |
| pre | (soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogPreviewResourceRequest.log != 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(...)@165 != null |
| presumption | org.apache.roller.weblogger.business. FileManager:getFile(...)@136 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getFileManager(...)@135 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@135 != null |
| presumption | org.apache.roller.weblogger.pojos.ThemeResource:get InputStream(...)@139 != null |
| presumption | org.apache.roller.weblogger.ui.rendering.util. WeblogPreviewResourceRequest:getWeblog(...)@86 != 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 javax.servlet.http.HttpServletRequest:getPa rameter |
| 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:getThemeManager |
| unanalyzed | call on org.apache.roller.weblogger.business. themes.ThemeManager:getTheme |
| 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(...)@166: {-231. .0}, {1..232-1} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@105: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.Theme:getResource (...)@107: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@117: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogTheme:getRe source(...)@119: Addr_Set{null}, Inverse{null} |