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


  • + UserEntrySet createUsers(UserEntrySet)

    • -/+ Kind Annotation Text Date
    +prec != null2009-09-04 18:33:31
    +prec.entries != null2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +presumptiongetEntries(...).length@154 <= 232-12009-09-04 18:33:31
    +presumptiongetEntries(...).length@154 <= getEntries(...). length@1552009-09-04 18:33:31
    +presumptiongetEntries(...).length@155 >= 12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...).length@166 <= 232-12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@166 != null2009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@72 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@151 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(toUserEntrySet#1). entries)2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-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:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale:toString2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getID2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos.User2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setPassword2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31
    +test_vectorgetEntries(...).length@154: {1..232-1}, {0}2009-09-04 18:33:31

  • + EntrySet deleteEntry()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.uri.entryId)2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +preinit'ed(this.userName)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +prethis.uri != null2009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@222 == 02009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@229 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.User:getUserName( ...)@222 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(toUserEntrySet#1). entries)2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

  • + EntrySet getCollection()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +presumptioninit'ed(java.util.Collections.EMPTY_LIST)2009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...).length@94 <= 232-12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@94 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@90 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(toUserEntrySet#1). entries)2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-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:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31
    +test_vectororg.apache.roller.weblogger.business. UserManager:getUsers(...)@90: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + EntrySet getEntry()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.uri.entryId)2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +prethis.uri != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(toUserEntrySet#1). entries)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

  • + EntrySet getEntrySet(Document)

    • -/+ Kind Annotation Text Date
    +pred != null2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(return_value.entries)2009-09-04 18:33:31
    +postnew UserEntrySet(getEntrySet#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(getEntrySet#1 )2009-09-04 18:33:31
    +postreturn_value.href == &java.lang. StringBuilder:toString(...)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:longValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-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.Date2009-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 java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-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
    +unanalyzedcall on setHref2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.RollerUserHandler(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +pre(soft) org/apache/roller/weblogger/webservices/admi nprotocol/Handler$URI.PATHINFO_PATTERN != null2009-09-04 18:33:31
    +prerequest != null2009-09-04 18:33:31
    +postinit'ed(java.lang.String:substring(...)._tainted)2009-09-04 18:33:31
    +postinit'ed(new Handler$URI(Handler#1).entryId)2009-09-04 18:33:31
    +postinit'ed(new Handler$URI(Handler#1).type)2009-09-04 18:33:31
    +postinit'ed(this.roller)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == 02009-09-04 18:33:31
    +postnew Handler$URI(Handler#1) num objects == 12009-09-04 18:33:31
    +postthis.request != null2009-09-04 18:33:31
    +postthis.request == request2009-09-04 18:33:31
    +postthis.uri == &new Handler$URI(Handler#1)2009-09-04 18:33:31
    +postthis.urlPrefix == &java.lang.StringBuilder:toSt ring(...)2009-09-04 18:33:31
    +postthis.userName == One-of{null, &java.lang. String:substring(...)}2009-09-04 18:33:31
    +postthis.userName in Addr_Set{null,&java.lang. String:substring(...)}2009-09-04 18:33:31
    +unanalyzedcall on authenticate2009-09-04 18:33:31
    +unanalyzedcall on getUserData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:booleanValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:getBytes2009-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 java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on java.util.StringTokenizer2009-09-04 18:33:31
    +unanalyzedcall on java.util.StringTokenizer:hasMoreTokens2009-09-04 18:33:31
    +unanalyzedcall on java.util.StringTokenizer:nextToken2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:group2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Matcher:matches2009-09-04 18:33:31
    +unanalyzedcall on java.util.regex.Pattern:matcher2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getHe ader2009-09-04 18:33:31
    +unanalyzedcall on javax.servlet.http.HttpServletRequest:getPa thInfo2009-09-04 18:33:31
    +unanalyzedcall on org.apache.commons.codec.binary. Base64:decodeBase642009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:getProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getPassword2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:hasRole2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. Utilities:encodePassword2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.RollerUserHandler__static_init

    • -/+ Kind Annotation Text Date

  • + EntrySet postCollection(Reader)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +presumptionc.entries@111 != null2009-09-04 18:33:31
    +presumptionc.entries@112 != null2009-09-04 18:33:31
    +presumptionjava.util.List:size(...)@82 != 02009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(getEntrySet#1*). entries)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(getEntrySet#1*).href)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(getEntrySet#1*).entries)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(getEntrySet#1*).href)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(toUserEntrySet#1). entries)2009-09-04 18:33:31
    +postinit'ed(new WeblogEntrySet(getEntrySet#1*). entries)2009-09-04 18:33:31
    +postinit'ed(new WeblogEntrySet(getEntrySet#1*).href)2009-09-04 18:33:31
    +postnew MemberEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postnew MemberEntrySet(getEntrySet#1*)._tainted == 02009-09-04 18:33:31
    +postnew UserEntrySet(getEntrySet#1*) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(getEntrySet#1*)._tainted == 02009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postnew WeblogEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postnew WeblogEntrySet(getEntrySet#1*)._tainted == 02009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getEntrySet2009-09-04 18:33:31
    +unanalyzedcall on getRoller2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:longValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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.Date2009-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:size2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale:toString2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getID2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:addUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:flush2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos.User2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setPassword2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. CacheManager:invalidate2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-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 org.jdom.input.SAXBuilder2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.input.SAXBuilder:build2009-09-04 18:33:31
    +unanalyzedcall on setEntries2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31
    +unanalyzedcall on toUserData2009-09-04 18:33:31
    +unanalyzedcall on toUserEntrySet2009-09-04 18:33:31

  • + EntrySet processDelete()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.uri.type != null2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +preinit'ed(this.userName)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +prethis.uri != null2009-09-04 18:33:31
    +prethis.uri.entryId != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(toUserEntrySet#1). entries)2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getRoller2009-09-04 18:33:31
    +unanalyzedcall on getUri2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on getUserData2009-09-04 18:33:31
    +unanalyzedcall on getUserName2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:removeUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:flush2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. CacheManager:invalidate2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31
    +unanalyzedcall on toUserEntrySet2009-09-04 18:33:31

  • + EntrySet processGet()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.uri.type != null2009-09-04 18:33:31
    +preinit'ed(this.uri.entryId)2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +prethis.uri != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postpossibly_updated(new UserEntrySet(toUserEntrySet#1) .entries)2009-09-04 18:33:31
    +postpossibly_updated(new UserEntrySet(toUserEntrySet#1) .href)2009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getRoller2009-09-04 18:33:31
    +unanalyzedcall on getUri2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on getUserData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUsers2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31
    +unanalyzedcall on toUserEntrySet2009-09-04 18:33:31
    +test_vector!(this.uri.entryId == null) | (this.uri.type == null & this.uri.entryId == null): {1}, {0}2009-09-04 18:33:31
    +test_vector!(this.uri.type == null) & this.uri.entryId == null: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.uri.entryId: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + EntrySet processPost(Reader)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.uri.type != null2009-09-04 18:33:31
    +prethis.uri != null2009-09-04 18:33:31
    +prethis.uri.entryId == null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == 02009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 0, if init'ed2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == undefined2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).entries == null2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).entries == undefined2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == new UserEntrySet(toUserEntrySet#1).entries2009-09-04 18:33:31

  • + EntrySet processPut(Reader)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.uri.type != null2009-09-04 18:33:31
    +preinit'ed(this.uri.entryId)2009-09-04 18:33:31
    +prethis.uri != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == 02009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 0, if init'ed2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == undefined2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).entries == null2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).entries == undefined2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == new UserEntrySet(toUserEntrySet#1).entries2009-09-04 18:33:31
    +test_vector!(this.uri.entryId == null) | (this.uri.type == null & this.uri.entryId == null): {1}, {0}2009-09-04 18:33:31
    +test_vector!(this.uri.type == null) & this.uri.entryId == null: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.uri.entryId: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + EntrySet putCollection(Reader)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.roller != null2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +presumptionc.entries@121 != null2009-09-04 18:33:31
    +presumptionc.entries@122 != null2009-09-04 18:33:31
    +presumptionjava.util.List:size(...)@82 != 02009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(getEntrySet#1*). entries)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(getEntrySet#1*).href)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(getEntrySet#1*).entries)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(getEntrySet#1*).href)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(toUserEntrySet#1). entries)2009-09-04 18:33:31
    +postinit'ed(new WeblogEntrySet(getEntrySet#1*). entries)2009-09-04 18:33:31
    +postinit'ed(new WeblogEntrySet(getEntrySet#1*).href)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted2009-09-04 18:33:31
    +postnew MemberEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postnew UserEntrySet(getEntrySet#1*) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postnew WeblogEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getEntrySet2009-09-04 18:33:31
    +unanalyzedcall on getRoller2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on getUserData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:longValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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.Date2009-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:size2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale:toString2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getID2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:saveUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:flush2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setPassword2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. CacheManager:invalidate2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-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 org.jdom.input.SAXBuilder2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.input.SAXBuilder:build2009-09-04 18:33:31
    +unanalyzedcall on setEntries2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

  • + EntrySet putEntry(Reader)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.roller != null2009-09-04 18:33:31
    +preinit'ed(this.uri.entryId)2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.uri != null2009-09-04 18:33:31
    +presumptionc.entries@131 != null2009-09-04 18:33:31
    +presumptionc.entries@132 != null2009-09-04 18:33:31
    +presumptionc.entries@135 != null2009-09-04 18:33:31
    +presumptionc.entries@139 != null2009-09-04 18:33:31
    +presumptiongetEntries(...).length@135 <= 12009-09-04 18:33:31
    +presumptiongetEntries(...).length@139 >= 12009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@140 == 12009-09-04 18:33:31
    +presumptionjava.util.List:size(...)@82 != 02009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@72 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(getEntrySet#1*). entries)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(getEntrySet#1*).href)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(getEntrySet#1*).entries)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(getEntrySet#1*).href)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(toUserEntrySet#1). entries)2009-09-04 18:33:31
    +postinit'ed(new WeblogEntrySet(getEntrySet#1*). entries)2009-09-04 18:33:31
    +postinit'ed(new WeblogEntrySet(getEntrySet#1*).href)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted2009-09-04 18:33:31
    +postnew MemberEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postnew UserEntrySet(getEntrySet#1*) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postnew WeblogEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getEntrySet2009-09-04 18:33:31
    +unanalyzedcall on getRoller2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on getUserData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:longValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Long:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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.Date2009-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:size2009-09-04 18:33:31
    +unanalyzedcall on java.util.List:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale:toString2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getID2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:saveUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:flush2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setPassword2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. CacheManager:invalidate2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-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 org.jdom.input.SAXBuilder2009-09-04 18:33:31
    +unanalyzedcall on org.jdom.input.SAXBuilder:build2009-09-04 18:33:31
    +unanalyzedcall on setEntries2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

  • + User toUserData(UserEntry)

    • -/+ Kind Annotation Text Date
    +preinit'ed(ue.dateCreated)2009-09-04 18:33:31
    +preinit'ed(ue.emailAddress)2009-09-04 18:33:31
    +preinit'ed(ue.enabled)2009-09-04 18:33:31
    +preinit'ed(ue.fullName)2009-09-04 18:33:31
    +preinit'ed(ue.locale)2009-09-04 18:33:31
    +preinit'ed(ue.name)2009-09-04 18:33:31
    +preinit'ed(ue.password)2009-09-04 18:33:31
    +preinit'ed(ue.screenName)2009-09-04 18:33:31
    +preinit'ed(ue.timezone)2009-09-04 18:33:31
    +preue != null2009-09-04 18:33:31
    +postnew User(toUserData#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new User(toUserData#1)2009-09-04 18:33:31
    +test_vectorue.dateCreated: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorue.emailAddress: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorue.enabled: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorue.fullName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorue.locale: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorue.password: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorue.screenName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorue.timezone: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + UserEntry toUserEntry(User)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +preud != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.User:getLocale(.. .)@253 == null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(return_value.dateCreated)2009-09-04 18:33:31
    +postinit'ed(return_value.emailAddress)2009-09-04 18:33:31
    +postinit'ed(return_value.enabled)2009-09-04 18:33:31
    +postinit'ed(return_value.fullName)2009-09-04 18:33:31
    +postinit'ed(return_value.name)2009-09-04 18:33:31
    +postinit'ed(return_value.screenName)2009-09-04 18:33:31
    +postinit'ed(return_value.timezone)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted2009-09-04 18:33:31
    +postnew Locale(LocaleString#1) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#2) num objects == 02009-09-04 18:33:31
    +postnew Locale(LocaleString#3) num objects == 02009-09-04 18:33:31
    +postnew UserEntry(toUserEntry#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new UserEntry(toUserEntry#1)2009-09-04 18:33:31
    +postreturn_value.href == &java.lang. StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value.locale == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

  • + UserEntrySet toUserEntrySet(User[])

    • -/+ Kind Annotation Text Date
    +pre(soft) uds[...] != null2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +preuds != null2009-09-04 18:33:31
    +preuds.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.entries)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +postreturn_value.href == &java.lang. StringBuilder:toString(...)2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.util.Arrays:asList2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31

  • + void updateUserData(User, UserEntry)

    • -/+ Kind Annotation Text Date
    +pre(soft) ud != null2009-09-04 18:33:31
    +preentry != null2009-09-04 18:33:31
    +preinit'ed(entry.emailAddress)2009-09-04 18:33:31
    +preinit'ed(entry.enabled)2009-09-04 18:33:31
    +preinit'ed(entry.fullName)2009-09-04 18:33:31
    +preinit'ed(entry.locale)2009-09-04 18:33:31
    +preinit'ed(entry.password)2009-09-04 18:33:31
    +preinit'ed(entry.screenName)2009-09-04 18:33:31
    +preinit'ed(entry.timezone)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@209 != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +test_vectorentry.emailAddress: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorentry.enabled: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorentry.fullName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorentry.locale: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorentry.password: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorentry.screenName: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31
    +test_vectorentry.timezone: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + UserEntrySet updateUsers(UserEntrySet)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.roller != null2009-09-04 18:33:31
    +prec != null2009-09-04 18:33:31
    +prec.entries != null2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +presumptiongetEntries(...).length@174 <= 232-12009-09-04 18:33:31
    +presumptiongetEntries(...).length@174 <= getEntries(...). length@1752009-09-04 18:33:31
    +presumptiongetEntries(...).length@175 >= 12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...).length@180 <= 232-12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@180 != null2009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@72 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new UserEntrySet(toUserEntrySet#1). entries)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted2009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1) num objects == 12009-09-04 18:33:31
    +postnew UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new UserEntrySet(toUserEntrySe t#1)2009-09-04 18:33:31
    +unanalyzedcall on getRoller2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.IllegalArgumentException2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:split2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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:toArray2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale2009-09-04 18:33:31
    +unanalyzedcall on java.util.Locale:toString2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getID2009-09-04 18:33:31
    +unanalyzedcall on java.util.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:saveUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:flush2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getDateCreated2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEmailAddress2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setFullName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setLocale2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setPassword2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setScreenName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:setTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util.cache. CacheManager:invalidate2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on setHref2009-09-04 18:33:31