Messages

method	void org.apache.roller.weblogger.ui.rendering. servlets.TrackbackServlet()
post	this.commentValidationManager == null

method	org.apache.roller.weblogger.ui.rendering.servlets. TrackbackServlet__static_init
post	init'ed(logger)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	void init(ServletConfig)
post	this.commentValidationManager == &new CommentValidationManager(init#1)
post	new CommentValidationManager(init#1) num objects == 1

info method not available -- call on void org.apache.roller.weblogger.ui. rendering.plugins.comments.CommentValidationManager ()

info method not available -- call on void org.apache.roller.weblogger.ui. rendering.plugins.comments.TrackbackLinkbackComment Validator()

info method not available -- call on void org.apache.roller.weblogger.ui. rendering.plugins.comments.CommentValidationManager :addCommentValidator(CommentValidator)

method	void doGet(HttpServletRequest, HttpServletResponse )
pre	response != null

method	void doPost(HttpServletRequest, HttpServletRespons e)
pre	response != null
pre	(soft) logger != null
pre	(soft) org/apache/roller/weblogger/ui/rendering/uti l/WeblogRequest.log != null
pre	(soft) request != null
pre	(soft) this.commentValidationManager != null
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	java.lang.Object:getClass(...)@217 != null
presumption	javax.servlet.http.HttpServletResponse:getWriter(.. .)@93 != null
presumption	org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@122 != null
presumption	org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryByAnchor(...)@131 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@121 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@130 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@184 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@121 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@130 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@184 != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@186 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 java.lang.String:equals
unanalyzed	call on javax.servlet.http.HttpServletRequest:getRe questURL
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.net.URLDecoder:decode
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa rameter
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on org.apache.commons.logging.Log:debug
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:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on javax.servlet.http.HttpServletRequest:getUs erPrincipal
unanalyzed	call on java.security.Principal:getName
test_vector	java.lang.String:equals(...)@109: {0}, {1}
test_vector	java.lang.String:equals(...)@181: {0}, {1}
test_vector	java.lang.String:equals(...)@199: {0}, {1}
test_vector	java.lang.String:length(...)@116: {0..254}, {255..2³²-1}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@101: {1}, {0}
test_vector	org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@181: {1}, {0}
test_vector	org.apache.roller.weblogger.pojos.Weblog:getComment ModerationRequired(...)@169: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.Weblog:getComment ModerationRequired(...)@189: {1}, {0}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:getCo mmentsStillAllowed(...)@153: {0}, {1}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@153: {0}, {1}
test_vector	org.apache.roller.weblogger.ui.rendering.plugins. comments.CommentValidationManager:validateComment(. ..)@166: {-2³¹..99, 101..2³²-1}, {100}

info method not available -- call on void org.apache.roller.weblogger.util. RollerMessages()

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogTrackbackRequest:getWeblogHand le()

info method not available -- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()

info method not available -- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntryByAnchor(Weblo g, String)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object, Throwable)

info method not available -- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:getCommentsStillAllowed()

info method not available -- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:isPublished()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryComment()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryComment:setContent(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryComment:setName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryComment:setUrl(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryComment:setWeblogEntry(WeblogEntry)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryComment:setRemoteHost(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryComment:setNotify(Boolean)

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryComment:setPostTime(Timestamp)

info method not available -- call on int org.apache.roller.weblogger.ui. rendering.plugins.comments.CommentValidationManager :validateComment(WeblogEntryComment, RollerMessages)

info method not available -- call on void org.apache.commons.logging. Log:debug(Object)

info method not available -- call on bool org.apache.roller.weblogger.pojos. Weblog:getCommentModerationRequired()

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntryComment:setStatus(String)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntryComment:getStatus()

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty(String)

info method not available -- call on void org.apache.roller.weblogger. business.WeblogManager:saveComment(WeblogEntryComme nt)

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on void org.apache.roller.weblogger. business.Weblogger:flush()

info method not available -- call on bool org.apache.roller.weblogger.pojos. Weblog:getCommentModerationRequired()

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(WeblogEntryComment)

info method not available -- call on Locale org.apache.roller.weblogger.ui. rendering.util.WeblogTrackbackRequest:getLocaleInst ance()

info method not available -- call on I18nMessages org.apache.roller. weblogger.util.I18nMessages:getMessages(Locale)

info method not available -- call on void org.apache.roller.weblogger.util. MailUtil:sendEmailNotification(WeblogEntryComment, RollerMessages, I18nMessages, bool)

info method not available -- call on String org.apache.roller.weblogger. pojos.WeblogEntryComment:getStatus()

method	String getSuccessResponse(String)
post	java.lang.StringBuffer:toString(...)._tainted == message._tainted
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)

method	String getErrorResponse(String)
post	java.lang.StringBuffer:toString(...)._tainted == message._tainted
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)

	info	method not available	-- call on void org.apache.roller.weblogger.ui. rendering.plugins.comments.TrackbackLinkbackComment Validator()
	info	method not available	-- call on void org.apache.roller.weblogger.ui. rendering.plugins.comments.CommentValidationManager :addCommentValidator(CommentValidator)

	info	method not available	-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
	info	method not available	-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

	info	method not available	-- call on String org.apache.roller.weblogger.ui. rendering.util.WeblogTrackbackRequest:getWeblogHand le()
	info	method not available	-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)

	info	method not available	-- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:getCommentsStillAllowed()
	info	method not available	-- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:isPublished()

info	method not available	-- call on Locale org.apache.roller.weblogger.ui. rendering.util.WeblogTrackbackRequest:getLocaleInst ance()
info	method not available	-- call on I18nMessages org.apache.roller. weblogger.util.I18nMessages:getMessages(Locale)
info	method not available	-- call on void org.apache.roller.weblogger.util. MailUtil:sendEmailNotification(WeblogEntryComment, RollerMessages, I18nMessages, bool)