Messages

Last Msg First Msg

method

void org.apache.roller.weblogger.ui.rendering. velocity.deprecated.OldUtilities()

method	org.apache.roller.weblogger.ui.rendering.velocity. deprecated.OldUtilities__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(mLinkPattern)
post	init'ed(mLogger)

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

method	bool isEmpty(String)
post	init'ed(return_value)
test_vector	str: Inverse{null}, Addr_Set{null}

method	bool isNotEmpty(String)
post	init'ed(return_value)
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:equals

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	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	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 removeHTML(String)
post	init'ed(return_value)
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:removeHTML

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

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:removeHTML(String, bool)

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

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

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

method	String formatDate(Date, String)
post	init'ed(return_value)

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	String truncate(String, int, int, String)
presumption	org.apache.roller.weblogger.util.Utilities:removeHT ML(...)@149 != null
post	java.lang.String:substring(...)._tainted == 0
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	(soft) return_value != null
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:removeHTML
test_vector	lower - upper: {-6_442_450_943..0}, {1..6_442_450_943}

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into loc

Prev Msg Next Msg

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

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:truncateNicely(String, int, int, String)

method	String truncateText(String, int, int, String)
pre	str != null
presumption	org.apache.roller.weblogger.util.Utilities:removeHT ML(...)@149 != 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 org.apache.roller.weblogger.util. Utilities:removeHTML
test_vector	lower - upper: {-6_442_450_943..0}, {1..6_442_450_943}

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into diff

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into loc

Prev Msg Next Msg

method	String hexEncode(String)
post	init'ed(return_value)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@281: {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)
test_vector	s: Addr_Set{null}, Inverse{null}

method	String decode(String)
post	init'ed(return_value)
test_vector	s: Addr_Set{null}, Inverse{null}

method	String addNofollow(String)
pre	(soft) mLinkPattern != null
presumption	java.util.regex.Pattern:matcher(...)@331 != null
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == One-of{html, &java.lang. StringBuffer:toString(...)}
post	init'ed(return_value)
test_vector	html: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:indexOf(...)@338: {-2³¹. .-2, 0..2³²-1}, {-1}
test_vector	java.lang.String:length(...)@328: {1.. 2³²-1}, {0}
test_vector	java.util.regex.Matcher:find(...)@333: {0}, {1}

method	String transformToHTMLSubset(String)
presumption	java.util.regex.Matcher:replaceAll(...)@406 != null
presumption	java.util.regex.Pattern:compile(...)@48 != null
presumption	java.util.regex.Pattern:compile(...)@50 != null
presumption	java.util.regex.Pattern:compile(...)@52 != null
presumption	java.util.regex.Pattern:compile(...)@54 != null
presumption	java.util.regex.Pattern:compile(...)@56 != null
presumption	java.util.regex.Pattern:compile(...)@58 != null
presumption	java.util.regex.Pattern:compile(...)@60 != null
presumption	java.util.regex.Pattern:compile(...)@62 != null
presumption	java.util.regex.Pattern:compile(...)@64 != null
presumption	java.util.regex.Pattern:compile(...)@66 != null
presumption	java.util.regex.Pattern:compile(...)@68 != null
presumption	java.util.regex.Pattern:compile(...)@70 != null
presumption	java.util.regex.Pattern:compile(...)@72 != null
presumption	java.util.regex.Pattern:compile(...)@74 != null
presumption	java.util.regex.Pattern:compile(...)@76 != null
presumption	java.util.regex.Pattern:compile(...)@78 != null
presumption	java.util.regex.Pattern:compile(...)@80 != null
presumption	java.util.regex.Pattern:compile(...)@82 != null
presumption	java.util.regex.Pattern:compile(...)@84 != null
presumption	java.util.regex.Pattern:compile(...)@86 != null
presumption	java.util.regex.Pattern:matcher(...)@386 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:replaceAll
test_vector	s: Inverse{null}, Addr_Set{null}
test_vector	java.util.regex.Matcher:find(...)@387: {0}, {1}

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

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(...)

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into m_strBase64Chars

Prev Msg Next Msg

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

info method not available -- call on String org.apache.roller.weblogger.util. Utilities:escapeHTML(String, bool)

method	String stringReplace(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 stringReplace(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 encodeString(String)
pre	str != null
post	return_value != null

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into base64

info method not available -- call on void org.apache.commons.codec.binary. Base64()

Prev Msg Next Msg

info method not available -- call on byte[] org.apache.commons.codec.binary. Base64:encodeBase64(byte[])

method	String decodeString(String)
pre	str != null
post	return_value == &new String(decodeString#2)
post	new String(decodeString#2) num objects == 1

info method not available -- call on byte[] org.apache.commons.codec.binary. Base64:decodeBase64(byte[])

method	String stripLineBreaks(String)
pre	str != null
post	return_value != null

method	String removeVisibleHTMLTags(String)
pre	str != null
presumption	java.lang.StringBuffer:indexOf(...)@544 + java.lang.String:length(...)@546 in -2³¹..2³²-1
presumption	java.lang.StringBuffer:indexOf(...)@544 + java.lang.String:length(...)@547 in -2³¹..2³²-1
presumption	java.lang.StringBuffer:indexOf(...)@550 <= 2³²-2
presumption	java.lang.StringBuffer:indexOf(...)@568 <= 2³²-2
presumption	java.lang.StringBuffer:indexOf(...)@571 + java.lang.String:length(...)@574 in -2³¹..2³²-1
presumption	java.lang.StringBuffer:indexOf(...)@571 + java.lang.String:length(...)@575 in -2³¹..2³²-1
presumption	java.lang.StringBuffer:indexOf(...)@578 <= 2³²-2
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on java.lang.String:replaceAll
test_vector	java.lang.String:endsWith(...)@545: {0}, {1}
test_vector	java.lang.StringBuffer:charAt(...)@580: {0..46, 48..2¹⁶-1}, {47}
test_vector	java.lang.StringBuffer:indexOf(...)@544: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.StringBuffer:indexOf(...)@550: {-2³¹..-1}, {0..2³²-2}
test_vector	java.lang.StringBuffer:indexOf(...)@568: {-2³¹..-1}, {0..2³²-3}
test_vector	java.lang.StringBuffer:indexOf(...)@571: {-2³¹..-1}, {0..2³²-1}
test_vector	java.lang.StringBuffer:indexOf(...)@579: {-2³¹..-2, 0..2³²-2}, {-1}

method	String charToHTML(char, bool)
post	java.lang.String:valueOf(...)._tainted == 0
post	return_value in Addr_Set{&"&quot;", &"&#39;",&java.lang. String:valueOf(...),&"&amp;", &"&gt;",&"&lt;"}
test_vector	ch: {39}, {60}, {62}, {38}, {34}
test_vector	xml: {0}, {1}

method	String textToHTML(String, bool)
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value in Addr_Set{&java.lang. StringBuffer:toString(...),&"null"}
unanalyzed	call on java.lang.String:valueOf
test_vector	text: Inverse{null}, Addr_Set{null}

method	String textToHTML(String)
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == One-of{&"null", &java.lang.StringBuffer:toString(...)}
post	return_value in Addr_Set{&"null",&java. lang.StringBuffer:toString(...)}
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf

method	String textToXML(String)
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == One-of{&"null", &java.lang.StringBuffer:toString(...)}
post	return_value in Addr_Set{&"null",&java. lang.StringBuffer:toString(...)}
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:valueOf

method	String textToCDATA(String)
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value in Addr_Set{&java.lang. StringBuffer:toString(...),&"null"}
unanalyzed	call on java.lang.String:valueOf
test_vector	text: Inverse{null}, Addr_Set{null}

method	String charToCDATA(char)
post	java.lang.String:valueOf(...)._tainted == 0
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&java.lang. String:valueOf(...),&java.lang.StringBuilder:to String(...)}
test_vector	ch: {0..127}, {128..2¹⁶-1}