| method | void doGet(HttpServletRequest, HttpServletResponse ) |
| pre | log != null |
| pre | request != null |
| pre | (soft) response != null |
| pre | (soft) this.context != null |
| presumption | javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@116 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getThemeManager(...)@77 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@77 != null |
| presumption | org.apache.roller.weblogger.business.themes. ThemeManager:getTheme(...)@78 != null |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getDa teHeader |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getRe questURL |
| unanalyzed | call on javax.servlet.http.HttpServletResponse:setS tatus |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.servlet.http.HttpServletResponse:setD ateHeader |
| test_vector | java.io.InputStream:read(...)@117: {-231. .0}, {1..232-1} |
| test_vector | org.apache.roller.weblogger.business.themes. SharedTheme:getPreviewImage(...)@79: Addr_Set{null}, Inverse{null} |