| method | void org.apache.roller.weblogger.webservices. adminprotocol.sdk.UserEntrySet(Document, String) |
| pre | d != null |
| post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) |
| post | init'ed(this.entries) |
| post | this.href == &java.lang.StringBuilder:toString( ...) |
| unanalyzed | call on org.jdom.Document:getRootElement |
| unanalyzed | call on org.jdom.Element:getName |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Exception |
| unanalyzed | call on org.jdom.Element:getChildren |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.TimeZone:getTimeZone |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.lang.IllegalArgumentException |
| unanalyzed | call on org.jdom.Element:getChild |
| unanalyzed | call on org.jdom.Element:getText |
| unanalyzed | call on setHref |
| unanalyzed | call on java.lang.Long:valueOf |
| unanalyzed | call on java.lang.Long:longValue |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on java.lang.Boolean:valueOf |
| unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.List:toArray |
| unanalyzed | call on setEntries |
| unanalyzed | call on java.util.Arrays:asList |
| method | void org.apache.roller.weblogger.webservices. adminprotocol.sdk.UserEntrySet(InputStream, String) |
| presumption | org.jdom.input.SAXBuilder:build(...)@59 != null |
| post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) |
| post | init'ed(this.entries) |
| post | this.href == &java.lang.StringBuilder:toString( ...) |
| unanalyzed | call on org.jdom.Document:getRootElement |
| unanalyzed | call on org.jdom.Element:getName |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Exception |
| unanalyzed | call on org.jdom.Element:getChildren |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.util.TimeZone:getTimeZone |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.lang.IllegalArgumentException |
| unanalyzed | call on org.jdom.Element:getChild |
| unanalyzed | call on org.jdom.Element:getText |
| unanalyzed | call on setHref |
| unanalyzed | call on java.lang.Long:valueOf |
| unanalyzed | call on java.lang.Long:longValue |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on java.lang.Boolean:valueOf |
| unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.List:toArray |
| unanalyzed | call on setEntries |
| unanalyzed | call on java.util.Arrays:asList |
| method | void populate(Document, String) |
| pre | d != null |
| presumption | java.lang.String:equals(...)@67 == 1 |
| presumption | java.util.Iterator:next(...)@74 != null |
| presumption | org.jdom.Document:getRootElement(...)@65 != null |
| presumption | org.jdom.Element:getName(...)@66 != null |
| post | init'ed(java.lang.StringBuilder:toString(...)._ tainted) |
| post | possibly_updated(this.entries) |
| post | this.href == &java.lang.StringBuilder:toString( ...) |
| unanalyzed | call on java.lang.Exception |
| unanalyzed | call on java.util.TimeZone:getTimeZone |
| unanalyzed | call on java.lang.String:split |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.lang.IllegalArgumentException |
| unanalyzed | call on org.jdom.Element:getChild |
| unanalyzed | call on org.jdom.Element:getText |
| unanalyzed | call on setHref |
| unanalyzed | call on java.lang.Long:valueOf |
| unanalyzed | call on java.lang.Long:longValue |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on java.lang.Boolean:valueOf |
| unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry |
| unanalyzed | call on java.util.Arrays:asList |
| test_vector | java.util.Iterator:hasNext(...)@73: {0}, {1} |
| test_vector | org.jdom.Element:getChildren(...)@70: Addr_Set{null}, Inverse{null} |