Messages

Last Msg First Msg

method

void org.apache.roller.weblogger.util.Utilities()

method	org.apache.roller.weblogger.util.Utilities__ 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	String stripJsessionId(String)
pre	url != null
post	init'ed(java.lang.String:substring(...)._tainted)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == One-of{url, &java.lang. String:substring(...), &java.lang. StringBuilder:toString(...)}
post	return_value != null
test_vector	java.lang.String:indexOf(...)@89: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:indexOf(...)@91: {-2³¹.. -2, 0..2³²-1}, {-1}

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

method	String escapeHTML(String, bool)
post	init'ed(return_value)
test_vector	escapeAmpersand: {0}, {1}

info method not available -- call on String org.apache.commons.lang. StringUtils:replace(String, String, 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	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)
presumption	java.lang.String:indexOf(...)@168 <= 2³²-2
post	return_value != null
test_vector	addSpace: {0}, {1}
test_vector	str: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:indexOf(...)@156: {-2³¹. .-2, 0..2³²-1}, {-1}
test_vector	java.lang.String:indexOf(...)@168: {-2³¹. .-1}, {0..2³²-2}

method	String removeAndEscapeHTML(String)
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 org.apache.commons.lang.StringUtils:replace
unanalyzed	call on java.lang.String:trim
test_vector	s: Inverse{null}, Addr_Set{null}

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	String addNofollow(String)
pre	(soft) mLinkPattern != null
presumption	java.util.regex.Pattern:matcher(...)@215 != 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(...)@222: {-2³¹. .-2, 0..2³²-1}, {-1}
test_vector	java.lang.String:length(...)@212: {1.. 2³²-1}, {0}
test_vector	java.util.regex.Matcher:find(...)@217: {0}, {1}

method	String replaceNonAlphanumeric(String)
pre	str != null
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.Character:isLetterOrDigit

method	String replaceNonAlphanumeric(String, char)
pre	str != null
presumption	testChars.length@251 <= 2³²-1
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
test_vector	java.lang.Character:isLetterOrDigit(...)@253: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(testChars[i])

Prev Msg Next Msg

method	String removeNonAlphanumeric(String)
pre	str != null
presumption	testChars.length@268 <= 2³²-1
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 low

use of default init check might fail: requires init'ed(testChars[i])

Prev Msg Next Msg

method	String stringArrayToString(String[], String)
pre	stringArray != null
pre	stringArray.length <= 2³²-1
pre	(soft) init'ed(stringArray[...])
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
test_vector	java.lang.String:length(...)@288: {0}, {1..2³²-1}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires ret != null

Prev Msg Next Msg

method	String[] stringToStringArray(String, String)
presumption	java.util.StringTokenizer:countTokens(...)@301 >= 1
post	init'ed(java.util.StringTokenizer:nextToken(...)._ tainted)
post	return_value == &new String[](stringToStringArr ay#2)
post	new String[](stringToStringArray#2) num objects == 1
post	(soft) return_value.length in 1..2³²-1
post	return_value[...] == &java.util. StringTokenizer:nextToken(...)
test_vector	java.util.StringTokenizer:hasMoreTokens(...)@304: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

array index out of bounds check might fail: requires i < stringArray.length

+

low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	int[] stringToIntArray(String, String)
presumption	java.util.StringTokenizer:countTokens(...)@315 >= 1
post	return_value == &new int[](stringToIntArray#2)
post	new int[](stringToIntArray#2) num objects == 1
post	(soft) return_value.length in 1..2³²-1
post	init'ed(return_value[...])
test_vector	java.util.StringTokenizer:hasMoreTokens(...)@318: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

array index out of bounds check might fail: requires i < intArray.length

+

low

overflow check might fail: requires i in -2³¹-1.. 2³²-2

Prev Msg Next Msg

method	String intArrayToString(int[])
pre	intArray != null
pre	intArray.length <= 2³²-1
pre	(soft) init'ed(intArray[...])
post	java.lang.Integer:toString(...)._tainted == 0
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&"",&java.lang. StringBuilder:toString(...),&java.lang. Integer:toString(...)}
test_vector	java.lang.String:length(...)@331: {0}, {1..2³²-1}

method	void copyFile(File, File)
pre	from != null
unanalyzed	call on java.io.BufferedInputStream
unanalyzed	call on java.io.BufferedOutputStream
unanalyzed	call on java.io.BufferedInputStream:read
unanalyzed	call on java.io.BufferedOutputStream:write
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.io.BufferedInputStream:close
unanalyzed	call on java.io.BufferedOutputStream:close
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.io.IOException

method

void copyInputToOutput(InputStream, OutputStream, long)

method	void copyInputToOutput(InputStream, OutputStream)
test_vector	java.io.BufferedInputStream:read(...)@440: {-1}, {-2³¹..-2, 0..2³²-1}

method	String encodePassword(String, String)
pre	password != null
pre	(soft) mLogger != null
presumption	encodedPassword.length@484 <= 2³²-1
presumption	java.security.MessageDigest:digest(...)@484 != null
presumption	java.security.MessageDigest:getInstance(...)@471 != null
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == One-of{password, &java.lang. StringBuffer:toString(...)}
post	return_value != null

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

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(encodedPassword[ i])

+

warning

test always goes same way test predetermined because encodedPassword[i] mod 256 == 0

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(encodedPassword[ i])

Prev Msg Next Msg

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 truncate(String, int, int, String)
post	init'ed(java.lang.String:substring(...)._tainted)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
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
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)
pre	str != null
presumption	java.lang.String:indexOf(...)@619 + java.lang.String:length(...)@619 in -2³¹..2³²-1
presumption	java.lang.String:lastIndexOf(...)@613 <= 2³²-2
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
test_vector	lower - upper: {-6_442_450_943..0}, {1..6_442_450_943}

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

method	String removeVisibleHTMLTags(String)
pre	str != null
presumption	java.lang.StringBuffer:indexOf(...)@714 + java.lang.String:length(...)@716 in -2³¹..2³²-1
presumption	java.lang.StringBuffer:indexOf(...)@714 + java.lang.String:length(...)@717 in -2³¹..2³²-1
presumption	java.lang.StringBuffer:indexOf(...)@720 <= 2³²-2
presumption	java.lang.StringBuffer:indexOf(...)@738 <= 2³²-2
presumption	java.lang.StringBuffer:indexOf(...)@741 + java.lang.String:length(...)@744 in -2³¹..2³²-1
presumption	java.lang.StringBuffer:indexOf(...)@741 + java.lang.String:length(...)@745 in -2³¹..2³²-1
presumption	java.lang.StringBuffer:indexOf(...)@748 <= 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(...)@715: {0}, {1}
test_vector	java.lang.StringBuffer:charAt(...)@750: {0..46, 48..2¹⁶-1}, {47}
test_vector	java.lang.StringBuffer:indexOf(...)@714: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.StringBuffer:indexOf(...)@720: {-2³¹..-1}, {0..2³²-2}
test_vector	java.lang.StringBuffer:indexOf(...)@738: {-2³¹..-1}, {0..2³²-3}
test_vector	java.lang.StringBuffer:indexOf(...)@741: {-2³¹..-1}, {0..2³²-1}
test_vector	java.lang.StringBuffer:indexOf(...)@749: {-2³¹..-2, 0..2³²-2}, {-1}

method	String extractHTML(String)
presumption	java.lang.String:indexOf(...)@778 <= 2³²-2
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == One-of{&"", str, &java.lang.StringBuffer:toString(...)}
post	return_value != null
test_vector	str: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:indexOf(...)@772: {-2³¹. .-2, 0..2³²-1}, {-1}
test_vector	java.lang.String:indexOf(...)@778: {-2³¹. .-1}, {0..2³²-2}

method	String hexEncode(String)
post	init'ed(return_value)
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@798: {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	int stringToInt(String)
pre	(soft) mLogger != null
presumption	java.lang.Integer:valueOf(...)@847 != null
post	init'ed(return_value)

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

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 stripInvalidTagCharacters(String)
pre	tag != null
presumption	charArray.length@893 <= 2³²-1
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
test_vector	java.lang.Character:isUnicodeIdentifierPart(... )@904: {1}, {0}
test_vector	java.lang.Character:isUnicodeIdentifierStart(... )@904: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(charArray[i])

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(c)

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(charArray[i])

Prev Msg Next Msg

method	String normalizeTag(String, Locale)
pre	tag != null
post	return_value != null
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on java.lang.Character:isUnicodeIdentifierPart
unanalyzed	call on java.lang.Character:isUnicodeIdentifierStar t
test_vector	locale: Inverse{null}, Addr_Set{null}

method	List splitStringAsTags(String)
presumption	init'ed(java.util.Collections.EMPTY_LIST)
post	init'ed(return_value)
test_vector	org.apache.commons.lang.StringUtils:split(... )@922: Inverse{null}, Addr_Set{null}

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

method	String transformToHTMLSubset(String)
presumption	java.util.regex.Matcher:replaceAll(...)@985 != null
presumption	java.util.regex.Pattern:compile(...)@43 != null
presumption	java.util.regex.Pattern:compile(...)@45 != null
presumption	java.util.regex.Pattern:compile(...)@47 != null
presumption	java.util.regex.Pattern:compile(...)@49 != null
presumption	java.util.regex.Pattern:compile(...)@51 != null
presumption	java.util.regex.Pattern:compile(...)@53 != null
presumption	java.util.regex.Pattern:compile(...)@55 != null
presumption	java.util.regex.Pattern:compile(...)@57 != null
presumption	java.util.regex.Pattern:compile(...)@59 != null
presumption	java.util.regex.Pattern:compile(...)@61 != null
presumption	java.util.regex.Pattern:compile(...)@63 != null
presumption	java.util.regex.Pattern:compile(...)@65 != null
presumption	java.util.regex.Pattern:compile(...)@67 != null
presumption	java.util.regex.Pattern:compile(...)@69 != null
presumption	java.util.regex.Pattern:compile(...)@71 != null
presumption	java.util.regex.Pattern:compile(...)@73 != null
presumption	java.util.regex.Pattern:compile(...)@75 != null
presumption	java.util.regex.Pattern:compile(...)@77 != null
presumption	java.util.regex.Pattern:compile(...)@79 != null
presumption	java.util.regex.Pattern:compile(...)@81 != null
presumption	java.util.regex.Pattern:matcher(...)@964 != 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(...)@965: {0}, {1}

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