| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.mEnd) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mMaxExcerpt) | 2009-09-04 18:33:31 |
| + | pre | init'ed(this.mStart) | 2009-09-04 18:33:31 |
| + | pre | requestURL != null | 2009-09-04 18:33:31 |
| + | pre | this.mTitle != null | 2009-09-04 18:33:31 |
| + | presumption | javax.swing.text.html.HTMLEditorKit:getParser(... )@118 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.String:substring(...)._tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mRefererURL) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.mExcerpt) | 2009-09-04 18:33:31 |
| + | post | this.mRefererURL == refererURL | 2009-09-04 18:33:31 |
| + | post | this.mRequestURL != null | 2009-09-04 18:33:31 |
| + | post | this.mRequestURL == One-of{&java.lang. StringBuilder:toString(...), requestURL} | 2009-09-04 18:33:31 |
| + | post | this.mRequestURLWWW != null | 2009-09-04 18:33:31 |
| + | post | this.mRequestURLWWW == One-of{requestURL, &java.lang.StringBuilder:toString(...)} | 2009-09-04 18:33:31 |
| + | post | this.mTitle != null | 2009-09-04 18:33:31 |
| + | post | this.mTitle == One-of{old this.mTitle, &java.lang.String:substring(...)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:indexOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.swing.text.html.HTMLEditorKit | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.swing.text.html.HTMLEditorKit$ParserC allback | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.swing.text.html.HTMLEditorKit:getPars er | 2009-09-04 18:33:31 |
| + | test_vector | java.io.BufferedReader:readLine(...)@129: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@155: {0,1}, {2..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@103: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@155: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.mEnd - this.mStart: {-6_442_450_943..0}, {1..6_442_450_943} | 2009-09-04 18:33:31 |
| + | test_vector | this.mEnd: {0}, {-231+1..-1, 1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | this.mStart: {0}, {-231..-1, 1..232-2} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.mFound) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mMaxExcerpt) | 2009-09-04 18:33:31 |
| + | pre | mLogger != null | 2009-09-04 18:33:31 |
| + | presumption | com.sun.syndication.feed.synd.SyndContent:getValue( ...)@182 != null | 2009-09-04 18:33:31 |
| + | presumption | com.sun.syndication.feed.synd.SyndEntry:getDescript ion(...)@182 != null | 2009-09-04 18:33:31 |
| + | presumption | com.sun.syndication.feed.synd.SyndEntry:getDescript ion(...)@194 != null | 2009-09-04 18:33:31 |
| + | presumption | com.sun.syndication.feed.synd.SyndEntry:getLink(... )@185 != null | 2009-09-04 18:33:31 |
| + | presumption | com.sun.syndication.feed.synd.SyndFeed:getEntries(. ..)@168 != null | 2009-09-04 18:33:31 |
| + | presumption | com.sun.syndication.io.SyndFeedInput:build(... )@166 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Iterator:next(...)@181 != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mFound) | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.String:toString(...)._tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.mExcerpt) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.mTitle) | 2009-09-04 18:33:31 |
| + | post | this.mPermalink == One-of{old this.mPermalink, &java.lang.String:toString(...)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:indexOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | test_vector | com.sun.syndication.feed.synd.SyndFeed:getTitle(... )@169: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:indexOf(...)@182: {-1}, {-231..-2, 0..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@186: {0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Iterator:hasNext(...)@178: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@173: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@204: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.mEnd) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mFound) | 2009-09-04 18:33:31 |
| + | pre | this.mList != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mEnd) | 2009-09-04 18:33:31 |
| + | post | this.mCurrentTag == One-of{old this.mCurrentTag, null} | 2009-09-04 18:33:31 |
| + | post | this.mEnd == One-of{pos, old this.mEnd} | 2009-09-04 18:33:31 |
| + | post | this.mStart == One-of{old this.mStart, pos} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:contains(...)@395: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:contains(...)@399: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.mEnd: {-231..-1, 1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | this.mFound: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) atts != null | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mEnd) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mFound) | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/util/LinkbackExt ractor.mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) tag != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.mRefererURL != null | 2009-09-04 18:33:31 |
| + | pre | this.mList != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Attribute.HREF) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Attribute. TITLE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Attribute.TYPE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.LINK) | 2009-09-04 18:33:31 |
| + | presumption | javax.swing.text.MutableAttributeSet:getAttribute(. ..)@343 != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mEnd) | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.mRssLink) | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Object:equals(...)@334: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@339: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:lastIndexOf(...)@370: {-1}, {-231..-2, 0..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@350: {0,1}, {2..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@350: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@368: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:contains(...)@330: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | javax.swing.text.MutableAttributeSet:getAttribute(. ..)@337: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | javax.swing.text.MutableAttributeSet:getAttribute(. ..)@338: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@345: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@377: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.mEnd: {-231..-1, 1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | this.mFound: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) atts != null | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mEnd) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mFound) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mRequestURL) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.mRequestURLWWW) | 2009-09-04 18:33:31 |
| + | pre | (soft) tag != null | 2009-09-04 18:33:31 |
| + | pre | this.mList != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Attribute.HREF) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.A) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mEnd) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mFound) | 2009-09-04 18:33:31 |
| + | post | this.mCurrentTag == One-of{old this.mCurrentTag, tag} | 2009-09-04 18:33:31 |
| + | post | this.mEnd == One-of{old this.mEnd, pos} | 2009-09-04 18:33:31 |
| + | post | this.mStart == One-of{old this.mStart, pos} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Object:equals(...)@298: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@308: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@308: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:lastIndexOf(...)@303: {-1}, {-231..-2, 0..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:contains(...)@290: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:contains(...)@294: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | javax.swing.text.MutableAttributeSet:getAttribute(. ..)@300: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| + | test_vector | this.mEnd: {-231..-1, 1..232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | this.mFound: {1}, {0} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.BLOCKQUOTE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.BR) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.DIV) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H1) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H2) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H3) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H4) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H5) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H6) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.HR) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.LI) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.P) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.PRE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.SPAN) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.TD) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[0]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[10]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[11]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[12]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[13]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[14]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[1]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[2]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[3]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[4]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[5]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[6]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[7]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[8]) | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.mDivTags[9]) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mList) | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 ) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.mCurrentTag == null | 2009-09-04 18:33:31 |
| + | post | this.mDivTags == &new HTML$Tag[](LinkbackExtrac tor$LinkbackCallback#1) | 2009-09-04 18:33:31 |
| + | post | this.mDivTags.length == 15 | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[0] == javax.swing.text.html.HTML$Tag. TD | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[10] == javax.swing.text.html. HTML$Tag.H2 | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[11] == javax.swing.text.html. HTML$Tag.H3 | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[12] == javax.swing.text.html. HTML$Tag.H4 | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[13] == javax.swing.text.html. HTML$Tag.H5 | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[14] == javax.swing.text.html. HTML$Tag.H6 | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[1] == javax.swing.text.html.HTML$Tag. DIV | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[2] == javax.swing.text.html.HTML$Tag. SPAN | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[3] == javax.swing.text.html.HTML$Tag. BLOCKQUOTE | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[4] == javax.swing.text.html.HTML$Tag. P | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[5] == javax.swing.text.html.HTML$Tag. LI | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[6] == javax.swing.text.html.HTML$Tag. BR | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[7] == javax.swing.text.html.HTML$Tag. HR | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[8] == javax.swing.text.html.HTML$Tag. PRE | 2009-09-04 18:33:31 |
| + | post | this.mDivTags[9] == javax.swing.text.html.HTML$Tag. H1 | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.BLOCKQUOTE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.BR) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.DIV) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H1) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H2) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H3) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H4) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H5) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.H6) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.HR) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.LI) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.P) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.PRE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.SPAN) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(javax.swing.text.html.HTML$Tag.TD) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[0]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[10]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[11]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[12]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[13]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[14]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[1]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[2]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[3]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[4]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[5]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[6]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[7]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[8]) | 2009-09-04 18:33:31 |
| + | post | init'ed(new HTML$Tag[](LinkbackExtractor$LinkbackCa llback#1)[9]) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mList) | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 ) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 ).length == 15 | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[0] == javax.swing.text.html.HTML$Tag.TD | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[10] == javax.swing.text.html.HTML$Tag.H2 | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[11] == javax.swing.text.html.HTML$Tag.H3 | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[12] == javax.swing.text.html.HTML$Tag.H4 | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[13] == javax.swing.text.html.HTML$Tag.H5 | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[14] == javax.swing.text.html.HTML$Tag.H6 | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[1] == javax.swing.text.html.HTML$Tag.DIV | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[2] == javax.swing.text.html.HTML$Tag.SPAN | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[3] == javax.swing.text.html.HTML$Tag.BLOCKQUOTE | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[4] == javax.swing.text.html.HTML$Tag.P | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[5] == javax.swing.text.html.HTML$Tag.LI | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[6] == javax.swing.text.html.HTML$Tag.BR | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[7] == javax.swing.text.html.HTML$Tag.HR | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[8] == javax.swing.text.html.HTML$Tag.PRE | 2009-09-04 18:33:31 |
| + | post | new HTML$Tag[](LinkbackExtractor$LinkbackCallback#1 )[9] == javax.swing.text.html.HTML$Tag.H1 | 2009-09-04 18:33:31 |
| + | post | this.mCurrentTag == null | 2009-09-04 18:33:31 |
| + | post | this.mDivTags == &new HTML$Tag[](LinkbackExtrac tor$LinkbackCallback#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.swing.text.html.HTMLEditorKit$ParserC allback | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) mLogger != null | 2009-09-04 18:33:31 |
| + | pre | (soft) requestURL != null | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.String:substring(...)._tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.String:toString(...)._tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mExcerpt) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mFound) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mPermalink) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mRequestURL) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mRequestURLWWW) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.mTitle) | 2009-09-04 18:33:31 |
| + | post | this.mEnd == 0 | 2009-09-04 18:33:31 |
| + | post | this.mMaxExcerpt == 500 | 2009-09-04 18:33:31 |
| + | post | this.mRefererURL == One-of{refererURL, undefined} | 2009-09-04 18:33:31 |
| + | post | this.mRequestURL == One-of{&java.lang. StringBuilder:toString(...), requestURL, null} | 2009-09-04 18:33:31 |
| + | post | this.mRequestURLWWW == One-of{requestURL, &java.lang.StringBuilder:toString(...), null} | 2009-09-04 18:33:31 |
| + | post | this.mRssLink == null | 2009-09-04 18:33:31 |
| + | post | this.mStart == 0 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.synd. SyndContent:getValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.synd. SyndEntry:getDescription | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.synd. SyndEntry:getLink | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.synd. SyndEntry:getTitle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.synd. SyndFeed:getEntries | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.feed.synd. SyndFeed:getTitle | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.io.SyndFeedInput | 2009-09-04 18:33:31 |
| + | unanalyzed | call on com.sun.syndication.io.SyndFeedInput:build | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.BufferedReader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.BufferedReader:close | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.BufferedReader:readLine | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.InputStreamReader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.io.StringReader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:indexOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:startsWith | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:toString | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.net.URL:openStream | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Arrays:asList | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.List:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.swing.text.html.HTMLEditorKit | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.swing.text.html.HTMLEditorKit$Parser: parse | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.swing.text.html.HTMLEditorKit$ParserC allback | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.swing.text.html.HTMLEditorKit:getPars er | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed | 2009-09-04 18:33:31 |
| + | test_vector | this.mRssLink: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |