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


  • + String addNofollow(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) mLinkPattern != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:matcher(...)@215 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == One-of{html, &java.lang. StringBuffer:toString(...)}2009-09-04 18:33:31
    +test_vectorhtml: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@222: {-231. .-2, 0..232-1}, {-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@212: {1.. 232-1}, {0}2009-09-04 18:33:31
    +test_vectorjava.util.regex.Matcher:find(...)@217: {0}, {1}2009-09-04 18:33:31

  • + String autoformat(String)

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

  • + void copyFile(File, File)

    • -/+ Kind Annotation Text Date
    +prefrom != null2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedInputStream2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedInputStream:close2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedInputStream:read2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedOutputStream2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedOutputStream:close2009-09-04 18:33:31
    +unanalyzedcall on java.io.BufferedOutputStream:write2009-09-04 18:33:31
    +unanalyzedcall on java.io.IOException2009-09-04 18:33:31
    +unanalyzedcall on java.io.IOException:getMessage2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31

  • + void copyInputToOutput(InputStream, OutputStream)

    • -/+ Kind Annotation Text Date
    +test_vectorjava.io.BufferedInputStream:read(...)@440: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31

  • + void copyInputToOutput(InputStream, OutputStream, long)

    • -/+ Kind Annotation Text Date

  • + String decode(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectors: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String decodeString(String)

    • -/+ Kind Annotation Text Date
    +prestr != null2009-09-04 18:33:31
    +postnew String(decodeString#2) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new String(decodeString#2)2009-09-04 18:33:31

  • + String encode(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectors: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + String encodeEmail(String)

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

  • + String encodePassword(String, String)

    • -/+ Kind Annotation Text Date
    +pre(soft) mLogger != null2009-09-04 18:33:31
    +prepassword != null2009-09-04 18:33:31
    +presumptionencodedPassword.length@484 <= 232-12009-09-04 18:33:31
    +presumptionjava.security.MessageDigest:digest(...)@484 != null2009-09-04 18:33:31
    +presumptionjava.security.MessageDigest:getInstance(...)@471 != null2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +postreturn_value == One-of{password, &java.lang. StringBuffer:toString(...)}2009-09-04 18:33:31

  • + String encodeString(String)

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

  • + String escapeHTML(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.lang.StringUtils:replace 2009-09-04 18:33:31

  • + String escapeHTML(String, bool)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorescapeAmpersand: {0}, {1}2009-09-04 18:33:31

  • + String extractHTML(String)

    • -/+ Kind Annotation Text Date
    +presumptionjava.lang.String:indexOf(...)@778 <= 232-22009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +postreturn_value == One-of{&"", str, &java.lang.StringBuffer:toString(...)}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@772: {-231. .-2, 0..232-1}, {-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@778: {-231. .-1}, {0..232-2}2009-09-04 18:33:31
    +test_vectorstr: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String hexEncode(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:isEmpty(... )@798: {0}, {1}2009-09-04 18:33:31

  • + String intArrayToString(int[])

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(intArray[...])2009-09-04 18:33:31
    +preintArray != null2009-09-04 18:33:31
    +preintArray.length <= 232-12009-09-04 18:33:31
    +postjava.lang.Integer:toString(...)._tainted == 02009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value in Addr_Set{&"",&java.lang. StringBuilder:toString(...),&java.lang. Integer:toString(...)}2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@331: {0}, {1..232-1}2009-09-04 18:33:31

  • + String normalizeTag(String, Locale)

    • -/+ Kind Annotation Text Date
    +pretag != null2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Character:isUnicodeIdentifierPart 2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Character:isUnicodeIdentifierStar t2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:toCharArray2009-09-04 18:33:31
    +test_vectorlocale: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

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

    • -/+ Kind Annotation Text Date

  • + org.apache.roller.weblogger.util.Utilities__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(BR_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(CLOSING_A_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(CLOSING_BLOCKQUOTE_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(CLOSING_B_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(CLOSING_I_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(CLOSING_LI_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(CLOSING_OL_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(CLOSING_PRE_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(CLOSING_P_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(CLOSING_UL_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(OPENING_A_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(OPENING_BLOCKQUOTE_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(OPENING_B_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(OPENING_I_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(OPENING_LI_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(OPENING_OL_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(OPENING_PRE_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(OPENING_P_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(OPENING_UL_TAG_PATTERN)2009-09-04 18:33:31
    +postinit'ed(QUOTE_PATTERN)2009-09-04 18:33:31
    +postinit'ed(mLinkPattern)2009-09-04 18:33:31
    +postinit'ed(mLogger)2009-09-04 18:33:31

  • + String removeAndEscapeHTML(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-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 org.apache.commons.lang.StringUtils:replace 2009-09-04 18:33:31
    +test_vectors: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String removeHTML(String)

    • -/+ Kind Annotation Text Date
    +postreturn_value != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-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

  • + String removeHTML(String, bool)

    • -/+ Kind Annotation Text Date
    +presumptionjava.lang.String:indexOf(...)@168 <= 232-22009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +test_vectoraddSpace: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@156: {-231. .-2, 0..232-1}, {-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@168: {-231. .-1}, {0..232-2}2009-09-04 18:33:31
    +test_vectorstr: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String removeNonAlphanumeric(String)

    • -/+ Kind Annotation Text Date
    +prestr != null2009-09-04 18:33:31
    +presumptiontestChars.length@268 <= 232-12009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31

  • + String removeVisibleHTMLTags(String)

    • -/+ Kind Annotation Text Date
    +prestr != null2009-09-04 18:33:31
    +presumptionjava.lang.StringBuffer:indexOf(...)@714 + java.lang.String:length(...)@716 in -231..232-12009-09-04 18:33:31
    +presumptionjava.lang.StringBuffer:indexOf(...)@714 + java.lang.String:length(...)@717 in -231..232-12009-09-04 18:33:31
    +presumptionjava.lang.StringBuffer:indexOf(...)@720 <= 232-22009-09-04 18:33:31
    +presumptionjava.lang.StringBuffer:indexOf(...)@738 <= 232-22009-09-04 18:33:31
    +presumptionjava.lang.StringBuffer:indexOf(...)@741 + java.lang.String:length(...)@744 in -231..232-12009-09-04 18:33:31
    +presumptionjava.lang.StringBuffer:indexOf(...)@741 + java.lang.String:length(...)@745 in -231..232-12009-09-04 18:33:31
    +presumptionjava.lang.StringBuffer:indexOf(...)@748 <= 232-22009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuffer:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:replaceAll2009-09-04 18:33:31
    +test_vectorjava.lang.String:endsWith(...)@715: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.StringBuffer:charAt(...)@750: {0..46, 48..216-1}, {47}2009-09-04 18:33:31
    +test_vectorjava.lang.StringBuffer:indexOf(...)@714: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.StringBuffer:indexOf(...)@720: {-231..-1}, {0..232-2}2009-09-04 18:33:31
    +test_vectorjava.lang.StringBuffer:indexOf(...)@738: {-231..-1}, {0..232-3}2009-09-04 18:33:31
    +test_vectorjava.lang.StringBuffer:indexOf(...)@741: {-231..-1}, {0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.StringBuffer:indexOf(...)@749: {-231..-2, 0..232-2}, {-1}2009-09-04 18:33:31

  • + String replace(String, Pattern, String)

    • -/+ Kind Annotation Text Date
    +prepattern != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:matcher(...)@984 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String replaceNonAlphanumeric(String)

    • -/+ Kind Annotation Text Date
    +prestr != null2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Character:isLetterOrDigit2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:toCharArray2009-09-04 18:33:31

  • + String replaceNonAlphanumeric(String, char)

    • -/+ Kind Annotation Text Date
    +prestr != null2009-09-04 18:33:31
    +presumptiontestChars.length@251 <= 232-12009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +test_vectorjava.lang.Character:isLetterOrDigit(...)@253: {0}, {1}2009-09-04 18:33:31

  • + List splitStringAsTags(String)

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectororg.apache.commons.lang.StringUtils:split(... )@922: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String stringArrayToString(String[], String)

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(stringArray[...])2009-09-04 18:33:31
    +prestringArray != null2009-09-04 18:33:31
    +prestringArray.length <= 232-12009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +test_vectorjava.lang.String:length(...)@288: {0}, {1..232-1}2009-09-04 18:33:31

  • + int stringToInt(String)

    • -/+ Kind Annotation Text Date
    +pre(soft) mLogger != null2009-09-04 18:33:31
    +presumptionjava.lang.Integer:valueOf(...)@847 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + int[] stringToIntArray(String, String)

    • -/+ Kind Annotation Text Date
    +presumptionjava.util.StringTokenizer:countTokens(...)@315 >= 12009-09-04 18:33:31
    +post(soft) return_value.length in 1..232-12009-09-04 18:33:31
    +postinit'ed(return_value[...])2009-09-04 18:33:31
    +postnew int[](stringToIntArray#2) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new int[](stringToIntArray#2)2009-09-04 18:33:31
    +test_vectorjava.util.StringTokenizer:hasMoreTokens(...)@318: {0}, {1}2009-09-04 18:33:31

  • + String[] stringToStringArray(String, String)

    • -/+ Kind Annotation Text Date
    +presumptionjava.util.StringTokenizer:countTokens(...)@301 >= 12009-09-04 18:33:31
    +post(soft) return_value.length in 1..232-12009-09-04 18:33:31
    +postinit'ed(java.util.StringTokenizer:nextToken(...)._ tainted)2009-09-04 18:33:31
    +postnew String[](stringToStringArray#2) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new String[](stringToStringArr ay#2)2009-09-04 18:33:31
    +postreturn_value[...] == &java.util. StringTokenizer:nextToken(...)2009-09-04 18:33:31
    +test_vectorjava.util.StringTokenizer:hasMoreTokens(...)@304: {0}, {1}2009-09-04 18:33:31

  • + String stripInvalidTagCharacters(String)

    • -/+ Kind Annotation Text Date
    +pretag != null2009-09-04 18:33:31
    +presumptioncharArray.length@893 <= 232-12009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31
    +test_vectorjava.lang.Character:isUnicodeIdentifierPart(... )@904: {1}, {0}2009-09-04 18:33:31
    +test_vectorjava.lang.Character:isUnicodeIdentifierStart(... )@904: {0}, {1}2009-09-04 18:33:31

  • + String stripJsessionId(String)

    • -/+ Kind Annotation Text Date
    +preurl != null2009-09-04 18:33:31
    +postinit'ed(java.lang.String:substring(...)._tainted)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +postreturn_value == One-of{url, &java.lang. String:substring(...), &java.lang. StringBuilder:toString(...)}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@89: {-1}, {-231..-2, 0..232-1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@91: {-231.. -2, 0..232-1}, {-1}2009-09-04 18:33:31

  • + String stripLineBreaks(String)

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

  • + String toBase64(byte[])

    • -/+ Kind Annotation Text Date
    +pre(soft) aValue.length in {0, 3..232-1}2009-09-04 18:33:31
    +pre(soft) init'ed(aValue[...])2009-09-04 18:33:31
    +preaValue != null2009-09-04 18:33:31
    +postjava.lang.StringBuffer:toString(...)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &java.lang.StringBuffer:toStrin g(...)2009-09-04 18:33:31

  • + String transformToHTMLSubset(String)

    • -/+ Kind Annotation Text Date
    +presumptionjava.util.regex.Matcher:replaceAll(...)@985 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@43 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@45 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@47 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@49 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@51 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@53 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@55 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@57 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@59 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@61 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@63 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@65 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@67 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@69 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@71 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@73 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@75 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@77 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@79 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:compile(...)@81 != null2009-09-04 18:33:31
    +presumptionjava.util.regex.Pattern:matcher(...)@964 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:replaceAll2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Pattern:matcher2009-09-04 18:33:31
    +test_vectorjava.util.regex.Matcher:find(...)@965: {0}, {1}2009-09-04 18:33:31
    +test_vectors: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + String truncate(String, int, int, String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(java.lang.String:substring(...)._tainted)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-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
    +test_vectorlower - upper: {-6_442_450_943..0}, {1..6_442_450_943}2009-09-04 18:33:31

  • + String truncateNicely(String, int, int, String)

    • -/+ Kind Annotation Text Date
    +prestr != null2009-09-04 18:33:31
    +presumptionjava.lang.String:indexOf(...)@619 + java.lang.String:length(...)@619 in -231..232-12009-09-04 18:33:31
    +presumptionjava.lang.String:lastIndexOf(...)@613 <= 232-22009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +postreturn_value == One-of{str, &java.lang. StringBuilder:toString(...)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-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
    +test_vectorlower - upper: {-6_442_450_943..0}, {1..6_442_450_943}2009-09-04 18:33:31

  • + String truncateText(String, int, int, String)

    • -/+ Kind Annotation Text Date
    +prestr != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postreturn_value != null2009-09-04 18:33:31
    +postreturn_value == One-of{str, &java.lang. StringBuilder:toString(...)}2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:indexOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-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
    +test_vectorlower - upper: {-6_442_450_943..0}, {1..6_442_450_943}2009-09-04 18:33:31

  • + String unescapeHTML(String)

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