WeblogRequestMapper.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + String calculateForwardUrl(HttpServletRequest, String, String, String, String)

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +prerequest != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value in Addr_Set{null,&java.lang. StringBuffer:toString(...)}2009-09-04 18:33:31
    +test_vectorcontext: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31
    +test_vectordata: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@247: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@249: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@303: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@303: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@322: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@337: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@348: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@355: {0}, {1}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@251: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getParameter( ...)@268: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorlocale: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool handleRequest(HttpServletRequest, HttpServletResponse)

    • -/+ Kind Annotation Text Date
    +pre(soft) response != null2009-09-04 18:33:31
    +prelog != null2009-09-04 18:33:31
    +prerequest != null2009-09-04 18:33:31
    +prethis.restricted != null2009-09-04 18:33:31
    +presumptionjava.lang.String:indexOf(...)@125 <= 232-22009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getContextPat h(...)@112 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getRequestDis patcher(...)@224 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getMe thod2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa rameter2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +test_vectorjava.lang.String:endsWith(...)@118: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@123: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@109: {0,1}, {2..232-1}2009-09-04 18:33:31
    +test_vectorjava.util.Set:contains(...)@134: {1}, {0}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getContextPat h(...)@111: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getQueryStrin g(...)@189: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjavax.servlet.http.HttpServletRequest:getRequestURI (...)@106: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool isLocale(String)

    • -/+ Kind Annotation Text Date
    +postreturn_value == 02009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@409: {0..4, 6..232-1}, {5}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@409: {2}, {0,1, 3..232-1}2009-09-04 18:33:31
    +test_vectorpotentialLocale: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + bool isWeblog(String)

    • -/+ Kind Annotation Text Date
    +prelog != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@386 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@386 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@387: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.ui.rendering.WeblogRequestMapper()

    • -/+ Kind Annotation Text Date
    +postnew HashSet(WeblogRequestMapper#1) num objects == 12009-09-04 18:33:31
    +postthis.restricted == &new HashSet(WeblogRequestMa pper#1)2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@72: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@82: {0}, {1..232-1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@70: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@80: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.rendering.WeblogRequestMapper__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2009-09-04 18:33:31