TrackbackServlet.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


  • + void doGet(HttpServletRequest, HttpServletResponse)

    • -/+ Kind Annotation Text Date
    +preresponse != null2009-09-04 18:33:31

  • + void doPost(HttpServletRequest, HttpServletResponse)

    • -/+ Kind Annotation Text Date
    +pre(soft) logger != null2009-09-04 18:33:31
    +pre(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null2009-09-04 18:33:31
    +pre(soft) request != null2009-09-04 18:33:31
    +pre(soft) this.commentValidationManager != null2009-09-04 18:33:31
    +preresponse != null2009-09-04 18:33:31
    +presumptioninit'ed(java.lang.Boolean.FALSE)2009-09-04 18:33:31
    +presumptionjava.lang.Object:getClass(...)@217 != null2009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletResponse:getWriter(.. .)@93 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@122 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor(...)@131 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@121 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@130 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@184 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@121 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@130 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@184 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@186 != null2009-09-04 18:33:31
    +unanalyzedcall on getPathInfo2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:endsWith2009-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.String:substring2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.net.URLDecoder:decode2009-09-04 18:33:31
    +unanalyzedcall on java.security.Principal:getName2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa rameter2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa thInfo2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getRe questURL2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getSe rvletPath2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getUs erPrincipal2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:debug2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:error2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.logging.Log:isDebugEnabl ed2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger. WebloggerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.ParsedRequest2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.ui.rendering. util.WeblogRequest2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@109: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@181: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equals(...)@199: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@116: {0..254}, {255..232-1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@101: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@181: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.Weblog:getComment ModerationRequired(...)@169: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.Weblog:getComment ModerationRequired(...)@189: {1}, {0}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:getCo mmentsStillAllowed(...)@153: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@153: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.ui.rendering.plugins. comments.CommentValidationManager:validateComment(. ..)@166: {-231..99, 101..232-1}, {100}2009-09-04 18:33:31

  • + String getErrorResponse(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == message._tainted2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31

  • + String getSuccessResponse(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == message._tainted2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31

  • + void init(ServletConfig)

    • -/+ Kind Annotation Text Date
    +postnew CommentValidationManager(init#1) num objects == 12009-09-04 18:33:31
    +postthis.commentValidationManager == &new CommentValidationManager(init#1)2009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date
    +postthis.commentValidationManager == null2009-09-04 18:33:31

  • + org.apache.roller.weblogger.ui.rendering.servlets.TrackbackServlet__static_init

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