Messages

method	void org.apache.roller.weblogger.ui.rendering. model.UtilitiesModel()
post	this.parsedRequest == null
post	this.weblog == null

method	org.apache.roller.weblogger.ui.rendering.model. UtilitiesModel__static_init
post	init'ed(BR_TAG_PATTERN)
post	init'ed(CLOSING_A_TAG_PATTERN)
post	init'ed(CLOSING_BLOCKQUOTE_TAG_PATTERN)
post	init'ed(CLOSING_B_TAG_PATTERN)
post	init'ed(CLOSING_I_TAG_PATTERN)
post	init'ed(CLOSING_LI_TAG_PATTERN)
post	init'ed(CLOSING_OL_TAG_PATTERN)
post	init'ed(CLOSING_PRE_TAG_PATTERN)
post	init'ed(CLOSING_P_TAG_PATTERN)
post	init'ed(CLOSING_UL_TAG_PATTERN)
post	init'ed(OPENING_A_TAG_PATTERN)
post	init'ed(OPENING_BLOCKQUOTE_TAG_PATTERN)
post	init'ed(OPENING_B_TAG_PATTERN)
post	init'ed(OPENING_I_TAG_PATTERN)
post	init'ed(OPENING_LI_TAG_PATTERN)
post	init'ed(OPENING_OL_TAG_PATTERN)
post	init'ed(OPENING_PRE_TAG_PATTERN)
post	init'ed(OPENING_P_TAG_PATTERN)
post	init'ed(OPENING_UL_TAG_PATTERN)
post	init'ed(QUOTE_PATTERN)
post	init'ed(log)
post	init'ed(mLinkPattern)

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

method	String getModelName()
post	return_value == &"utils"

method	void init(Map)
pre	initData != null
presumption	java.util.Map:get(...)@107 != null
post	(soft) this.parsedRequest != null
post	possibly_updated(this.weblog)
test_vector	org.apache.roller.weblogger.ui.rendering.util. WeblogRequest:instanceof(...)@113: {0}, {1}

info method not available -- call on Weblog org.apache.roller.weblogger.ui. rendering.util.WeblogRequest:getWeblog()

method	bool isUserAuthorizedToAuthor(WeblogWrapper)
pre	(soft) log != null
pre	(soft) this.parsedRequest != null
pre	(soft) weblog != null
pre	(soft) weblog.pojo != null
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR)
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.ParsedRequest:getAuthenticUser()

info method not available -- call on User org.apache.roller.weblogger.ui. rendering.util.ParsedRequest:getUser()

info method not available -- call on bool org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions(User, short)

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

method	bool isUserAuthorizedToAdmin(WeblogWrapper)
pre	(soft) log != null
pre	(soft) this.parsedRequest != null
pre	(soft) weblog != null
pre	(soft) weblog.pojo != null
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.ParsedRequest:getAuthenticUser()

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

method	bool isUserAuthenticated()
pre	this.parsedRequest != null
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.weblogger.ui. rendering.util.ParsedRequest:getAuthenticUser()

method	Date getNow()
post	return_value == &new Date(getNow#1)
post	new Date(getNow#1) num objects == 1

method	String formatDate(Date, String)
pre	this.weblog != null
post	init'ed(return_value)
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getLocaleInstance
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on java.text.SimpleDateFormat:setTimeZone
unanalyzed	call on java.text.SimpleDateFormat:format

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

method	String formatDate(Date, String, TimeZone)
pre	(soft) this.weblog != null
post	init'ed(return_value)
test_vector	d: Addr_Set{null}, Inverse{null}
test_vector	fmt: Inverse{null}, Addr_Set{null}
test_vector	tzOverride: Addr_Set{null}, Inverse{null}

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

method	String formatIso8601Date(Date)
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.util. DateUtil:formatIso8601(Date)

method	String formatIso8601Day(Date)
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.util. DateUtil:formatIso8601Day(Date)

method	String formatRfc822Date(Date)
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.util. DateUtil:formatRfc822(Date)

method	String format8charsDate(Date)
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.util. DateUtil:format8chars(Date)

method	bool isEmpty(String)
post	init'ed(return_value)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

method	bool isNotEmpty(String)
post	init'ed(return_value)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)

method	String[] split(String, String)
post	init'ed(return_value)

info method not available -- call on String[] org.apache.commons.lang. StringUtils:split(String, String)

method	bool equals(String, String)
post	init'ed(return_value)

info method not available -- call on bool org.apache.commons.lang. StringUtils:equals(String, String)

method	bool isAlphanumeric(String)
post	init'ed(return_value)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isAlphanumeric(String)

method	String[] stripAll(String[])
post	init'ed(return_value)

info method not available -- call on String[] org.apache.commons.lang. StringUtils:stripAll(String[])

method	String left(String, int)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringUtils:left(String, int)

method	String escapeHTML(String)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeHtml(String)

method	String unescapeHTML(String)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:unescapeHtml(String)

method	String escapeXML(String)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeXml(String)

method	String unescapeXML(String)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:unescapeXml(String)

method	String escapeJavaScript(String)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:escapeJavaScript(String)

method	String unescapeJavaScript(String)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringEscapeUtils:unescapeJavaScript(String)

method	String replace(String, String, String)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringUtils:replace(String, String, String)

method	String replace(String, String, String, int)
post	init'ed(return_value)

info method not available -- call on String org.apache.commons.lang. StringUtils:replace(String, String, String, int)

method	String replace(String, Pattern, String)
pre	pattern != null
presumption	java.util.regex.Pattern:matcher(...)@273 != null
post	init'ed(return_value)

method	String removeHTML(String)
post	return_value != null
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:trim

method	String removeHTML(String, bool)
post	return_value != null
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:trim

method	String autoformat(String)
post	init'ed(return_value)
unanalyzed	call on org.apache.commons.lang.StringUtils:replace

method	String truncate(String, int, int, String)
pre	str != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == One-of{str, &java.lang. StringBuilder:toString(...)}
post	return_value != null
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:lastIndexOf

method	String truncateNicely(String, int, int, String)
pre	str != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == One-of{str, &java.lang. StringBuilder:toString(...)}
post	return_value != null
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:lastIndexOf

method	String truncateText(String, int, int, String)
pre	str != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == One-of{str, &java.lang. StringBuilder:toString(...)}
post	return_value != null
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:lastIndexOf

method	String hexEncode(String)
post	init'ed(return_value)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@319: {0}, {1}

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on String org.apache.roller.util. RegexUtil:encode(String)

method	String encodeEmail(String)
post	init'ed(return_value)

info method not available -- call on String org.apache.roller.util. RegexUtil:encodeEmail(String)

method	String encode(String)
post	init'ed(return_value)
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	s: Addr_Set{null}, Inverse{null}

method	String decode(String)
post	init'ed(return_value)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.net.URLDecoder:decode
test_vector	s: Addr_Set{null}, Inverse{null}

method	String addNofollow(String)
pre	(soft) org/apache/roller/weblogger/util/Utilities. mLinkPattern != null
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == One-of{html, &java.lang. StringBuffer:toString(...)}
post	init'ed(return_value)
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end

method	String transformToHTMLSubset(String)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.util.regex.Matcher:replaceAll

method	String toBase64(byte[])
pre	aValue != null
pre	(soft) aValue.length in {0, 3..2³²-1}
pre	(soft) init'ed(aValue[...])
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on java.lang.String:charAt

	info	method not available	-- call on User org.apache.roller.weblogger.ui. rendering.util.ParsedRequest:getUser()
	info	method not available	-- call on bool org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions(User, short)