| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) mLinkPattern != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:matcher(...)@331 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuffer:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | post | return_value == One-of{html, &java.lang. StringBuffer:toString(...)} | 2009-09-04 18:33:31 |
| + | test_vector | html: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:indexOf(...)@338: {-231. .-2, 0..232-1}, {-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@328: {1.. 232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.regex.Matcher:find(...)@333: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | post | init'ed(BR_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(CLOSING_A_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(CLOSING_BLOCKQUOTE_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(CLOSING_B_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(CLOSING_I_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(CLOSING_LI_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(CLOSING_OL_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(CLOSING_PRE_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(CLOSING_P_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(CLOSING_UL_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(OPENING_A_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(OPENING_BLOCKQUOTE_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(OPENING_B_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(OPENING_I_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(OPENING_LI_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(OPENING_OL_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(OPENING_PRE_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(OPENING_P_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(OPENING_UL_TAG_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(QUOTE_PATTERN) | 2009-09-04 18:33:31 |
| + | post | init'ed(mLinkPattern) | 2009-09-04 18:33:31 |
| + | post | init'ed(mLogger) | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | str != null | 2009-09-04 18:33:31 |
| + | presumption | java.lang.StringBuffer:indexOf(...)@544 + java.lang.String:length(...)@546 in -231..232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.lang.StringBuffer:indexOf(...)@544 + java.lang.String:length(...)@547 in -231..232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.lang.StringBuffer:indexOf(...)@550 <= 232-2 | 2009-09-04 18:33:31 |
| + | presumption | java.lang.StringBuffer:indexOf(...)@568 <= 232-2 | 2009-09-04 18:33:31 |
| + | presumption | java.lang.StringBuffer:indexOf(...)@571 + java.lang.String:length(...)@574 in -231..232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.lang.StringBuffer:indexOf(...)@571 + java.lang.String:length(...)@575 in -231..232-1 | 2009-09-04 18:33:31 |
| + | presumption | java.lang.StringBuffer:indexOf(...)@578 <= 232-2 | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuffer:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | return_value == &java.lang.StringBuffer:toStrin g(...) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:replaceAll | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:endsWith(...)@545: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.StringBuffer:charAt(...)@580: {0..46, 48..216-1}, {47} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.StringBuffer:indexOf(...)@544: {-1}, {-231..-2, 0..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.StringBuffer:indexOf(...)@550: {-231..-1}, {0..232-2} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.StringBuffer:indexOf(...)@568: {-231..-1}, {0..232-3} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.StringBuffer:indexOf(...)@571: {-231..-1}, {0..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.StringBuffer:indexOf(...)@579: {-231..-2, 0..232-2}, {-1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | java.util.regex.Matcher:replaceAll(...)@406 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@48 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@50 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@52 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@54 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@56 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@58 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@60 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@62 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@64 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@66 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@68 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@70 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@72 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@74 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@76 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@78 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@80 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@82 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@84 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:compile(...)@86 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.regex.Pattern:matcher(...)@386 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(return_value) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Matcher:replaceAll | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.regex.Pattern:matcher | 2009-09-04 18:33:31 |
| + | test_vector | java.util.regex.Matcher:find(...)@387: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | s: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |