| method | void doPost(HttpServletRequest, HttpServletRespons e) |
| pre | request != null |
| pre | response != null |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa thInfo |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on javax.servlet.http.HttpServletResponse:send Error |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on javax.servlet.http.HttpServletResponse:setC ontentType |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getWeblogManager |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle |
| unanalyzed | call on org.apache.roller.weblogger.business. WeblogManager:getTags |
| unanalyzed | call on javax.servlet.http.HttpServletResponse:getW riter |
| unanalyzed | call on java.io.PrintWriter:println |
| unanalyzed | call on java.io.PrintWriter:print |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on javax.servlet.http.HttpServletResponse:flus hBuffer |
| unanalyzed | call on org.apache.roller.weblogger. WebloggerException:getMessage |
| unanalyzed | call on javax.servlet.ServletException |
| method | void doGet(HttpServletRequest, HttpServletResponse ) |
| pre | request != null |
| pre | response != null |
| presumption | init'ed(java.lang.Boolean.TRUE) |
| presumption | java.lang.String:indexOf(...)@82 <= 232-2 |
| presumption | java.util.Iterator:next(...)@133 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@124 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@125 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@126 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@127 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@128 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@129 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@130 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@131 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@134 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@135 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@136 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@137 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@138 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@139 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@141 != null |
| presumption | javax.servlet.http.HttpServletResponse:getWriter(.. .)@143 != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@113 != null |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getTags(...)@122 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@112 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@105 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@101 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@112 != null |
| test_vector | this.MAX_LENGTH: {-231..-1}, {0..232-2} |
| test_vector | java.lang.String:indexOf(...)@82: {-231.. -1}, {0..232-2} |
| test_vector | java.lang.String:indexOf(...)@91: {-231.. -1}, {0..232-1} |
| test_vector | java.lang.String:length(...)@97: {0}, {1..232-1} |
| test_vector | java.lang.String:startsWith(...)@78: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@132: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@140: {0}, {1} |
| test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@61: Addr_Set{null}, Inverse{null} |
| test_vector | javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@71: Addr_Set{null}, Inverse{null} |