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

    • -/+ Kind Annotation Text Date
    +postreturn_value == &"members"2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet$Tags__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(InputStream, String)

    • -/+ Kind Annotation Text Date
    +presumptionorg.jdom.input.SAXBuilder:build(...)@57 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.entries)2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Document:getRootElement2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChild2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChildren2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getName2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getText2009-09-04 18:33:31
    +unanalyzedcall on setEntries2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == urlPrefix._tainted2009-09-04 18:33:31
    +postthis.entries == null2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet(Document, String)

    • -/+ Kind Annotation Text Date
    +pred != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(this.entries)2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.util.ArrayList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:add2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:iterator2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Document:getRootElement2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChild2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChildren2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getName2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getText2009-09-04 18:33:31
    +unanalyzedcall on setEntries2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.sdk.MemberEntrySet__static_init

    • -/+ Kind Annotation Text Date

  • + void populate(Document, String)

    • -/+ Kind Annotation Text Date
    +pred != null2009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@65 == 12009-09-04 18:33:31
    +presumptionjava.util.Iterator:next(...)@72 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Document:getRootElement(...)@63 != null2009-09-04 18:33:31
    +presumptionorg.jdom.Element:getName(...)@64 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postpossibly_updated(this.entries)2009-09-04 18:33:31
    +postthis.href == &java.lang.StringBuilder:toString( ...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getChild2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.Element:getText2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@71: {0}, {1}2009-09-04 18:33:31
    +test_vectororg.jdom.Element:getChildren(...)@68: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31