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


  • + MemberEntrySet createMembers(MemberEntrySet)

    • -/+ 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@266 <= 232-12009-09-04 18:33:31
    +presumptiongetEntries(...).length@266 <= getEntries(...). length@2672009-09-04 18:33:31
    +presumptiongetEntries(...).length@267 in range2009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...).length@275 <= 232-12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@275 != null2009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@72 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@263 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(toMemberEntrySet#2). entries)2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)2009-09-04 18:33:31
    +unanalyzedcall on getUrlPrefix2009-09-04 18:33:31
    +unanalyzedcall on getUserData2009-09-04 18:33:31
    +unanalyzedcall on getWebsiteData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2009-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 org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle2009-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:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setPending2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setWebsite2009-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.EntrySet2009-09-04 18:33:31

  • + EntrySet deleteEntry()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.memberUri.handle)2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.memberUri != null2009-09-04 18:33:31
    +prethis.memberUri.username != null2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getPermissions(...)@302 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@362 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(toMemberEntrySet#2). entries)2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)2009-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 getWebsiteData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-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 org.apache.roller.weblogger.business. UserManager:getPermissions2009-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:getWebsiteByHandle2009-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:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-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.EntrySet2009-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
    +presumptionjava.util.List:toArray(...).length@152 <= 232-12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@152 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getAllPermissions(...)@146 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getUsers(...)@142 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@142 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@146 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(toMemberEntrySet#2). entries)2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)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.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 org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-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.EntrySet2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@144: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.util.Iterator:hasNext(...)@147: {0}, {1}2009-09-04 18:33:31

  • + EntrySet getEntry()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.memberUri.handle)2009-09-04 18:33:31
    +preinit'ed(this.memberUri.username)2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.memberUri != null2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +presumptionjava.util.Collections:singletonList(...)@187 != null2009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...).length@190 <= 232-12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@190 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getAllPermissions(...)@172 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getPermissions(...)@183 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@172 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@183 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(toMemberEntrySet#2). entries)2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)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.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 org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle2009-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:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-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.EntrySet2009-09-04 18:33:31
    +test_vectorthis.memberUri.username: Inverse{null}, Addr_Set{null}2009-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 MemberEntrySet(getEntrySet#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(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.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.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

  • + String getHandle()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.handle)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.handle2009-09-04 18:33:31

  • + WeblogPermission getPermissionsData(String, String)

    • -/+ Kind Annotation Text Date
    +prethis.roller != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@302 != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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:getWebsiteByHandle2009-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.webservices. adminprotocol.HandlerException2009-09-04 18:33:31

  • + WeblogPermission getPermissionsData(MemberEntry)

    • -/+ Kind Annotation Text Date
    +preentry != null2009-09-04 18:33:31
    +preinit'ed(entry.handle)2009-09-04 18:33:31
    +preinit'ed(entry.name)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +unanalyzedcall on getRoller2009-09-04 18:33:31
    +unanalyzedcall on getUserData2009-09-04 18:33:31
    +unanalyzedcall on getWebsiteData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getPermissions2009-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:getWebsiteByHandle2009-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.webservices. adminprotocol.HandlerException2009-09-04 18:33:31

  • + Handler$URI getUri()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.memberUri)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.memberUri2009-09-04 18:33:31

  • + String getUsername()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.username)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == this.username2009-09-04 18:33:31

  • + bool hasUsername()

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.username)2009-09-04 18:33:31
    +postinit'ed(return_value)2009-09-04 18:33:31

  • + String maskToString(short)

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR)2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.LIMITED)2009-09-04 18:33:31
    +postreturn_value in Addr_Set{null,&"LIMITED", &"AUTHOR",&"ADMIN"}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.RollerMemberHandler$MemberURI(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +pre(soft) org/apache/roller/weblogger/webservices/admi nprotocol/Handler$URI.PATHINFO_PATTERN != null2009-09-04 18:33:31
    +prereq != null2009-09-04 18:33:31
    +postinit'ed(this.entryId)2009-09-04 18:33:31
    +postinit'ed(this.type)2009-09-04 18:33:31
    +postinit'ed(this.username)2009-09-04 18:33:31
    +postthis.handle == null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:length2009-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:getPa thInfo2009-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.RollerMemberHandler$MemberURI__static_init

    • -/+ Kind Annotation Text Date

  • + void org.apache.roller.weblogger.webservices.adminprotocol.RollerMemberHandler(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.memberUri.entryId)2009-09-04 18:33:31
    +postinit'ed(this.memberUri.type)2009-09-04 18:33:31
    +postinit'ed(this.memberUri.username)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
    +postnew RollerMemberHandler$MemberURI(RollerMemberHandl er#1) num objects == 12009-09-04 18:33:31
    +postthis.memberUri == &new RollerMemberHandler$Memb erURI(RollerMemberHandler#1)2009-09-04 18:33:31
    +postthis.memberUri.handle == null2009-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:split2009-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.RollerMemberHandler__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@198 != null2009-09-04 18:33:31
    +presumptionc.entries@199 != 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 MemberEntrySet(toMemberEntrySet#2). entries)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 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 == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postnew UserEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postnew WeblogEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)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 getWebsiteData2009-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:equalsIgnoreCase2009-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.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:getWebsiteByHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:savePermissions2009-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:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setPending2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setWebsite2009-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 toMemberEntrySet2009-09-04 18:33:31

  • + EntrySet processDelete()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.memberUri.type != null2009-09-04 18:33:31
    +preinit'ed(this.memberUri.handle)2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.memberUri != null2009-09-04 18:33:31
    +prethis.memberUri.entryId != null2009-09-04 18:33:31
    +prethis.memberUri.username != null2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(toMemberEntrySet#2). entries)2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)2009-09-04 18:33:31
    +unanalyzedcall on getPermissionsData2009-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 getWebsiteData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-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 org.apache.roller.weblogger.business. UserManager:getPermissions2009-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:getWebsiteByHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:removePermissions2009-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:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-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.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on toMemberEntrySet2009-09-04 18:33:31

  • + EntrySet processGet()

    • -/+ Kind Annotation Text Date
    +pre(soft) init'ed(this.memberUri.handle)2009-09-04 18:33:31
    +pre(soft) init'ed(this.memberUri.username)2009-09-04 18:33:31
    +pre(soft) this.memberUri.type != null2009-09-04 18:33:31
    +preinit'ed(this.memberUri.entryId)2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.memberUri != null2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postpossibly_updated(new MemberEntrySet(toMemberEntrySe t#2).entries)2009-09-04 18:33:31
    +postpossibly_updated(new MemberEntrySet(toMemberEntrySe t#2).href)2009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)2009-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 getWebsiteData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-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.Collections:singletonList2009-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.apache.roller.weblogger.business. UserManager:getAllPermissions2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getPermissions2009-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. UserManager:getWebsiteByHandle2009-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:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-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.EntrySet2009-09-04 18:33:31
    +unanalyzedcall on toMemberEntrySet2009-09-04 18:33:31
    +test_vector!(this.memberUri.entryId == null) | (this.memberUri.type == null & this.memberUri.entryId == null): {1}, {0}2009-09-04 18:33:31
    +test_vector!(this.memberUri.type == null) & this.memberUri.entryId == null: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.memberUri.entryId: Inverse{null}, Addr_Set{null}2009-09-04 18:33:31

  • + EntrySet processPost(Reader)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.memberUri.type != null2009-09-04 18:33:31
    +prethis.memberUri != null2009-09-04 18:33:31
    +prethis.memberUri.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 MemberEntrySet(toMemberEntrySet#2) num objects == 0, if init'ed2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == undefined2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).entries == null2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).entries == undefined2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == new MemberEntrySet(toMemberEntrySet#2).entries2009-09-04 18:33:31

  • + EntrySet processPut(Reader)

    • -/+ Kind Annotation Text Date
    +pre(soft) this.memberUri.type != null2009-09-04 18:33:31
    +preinit'ed(this.memberUri.entryId)2009-09-04 18:33:31
    +prethis.memberUri != 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 MemberEntrySet(toMemberEntrySet#2) num objects == 0, if init'ed2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == undefined2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).entries == null2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).entries == undefined2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == new MemberEntrySet(toMemberEntrySet#2).entries2009-09-04 18:33:31
    +test_vector!(this.memberUri.entryId == null) | (this.memberUri.type == null & this.memberUri.entryId == null): {1}, {0}2009-09-04 18:33:31
    +test_vector!(this.memberUri.type == null) & this.memberUri.entryId == null: {0}, {1}2009-09-04 18:33:31
    +test_vectorthis.memberUri.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@208 != null2009-09-04 18:33:31
    +presumptionc.entries@209 != 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 MemberEntrySet(toMemberEntrySet#2). entries)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 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 == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postnew UserEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postnew WeblogEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)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 getWebsiteData2009-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:equalsIgnoreCase2009-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.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getPermissions2009-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:getWebsiteByHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:savePermissions2009-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:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setPermissionMask2009-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.memberUri.handle)2009-09-04 18:33:31
    +preinit'ed(this.memberUri.username)2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prethis.memberUri != null2009-09-04 18:33:31
    +presumptionc.entries@218 != null2009-09-04 18:33:31
    +presumptionc.entries@219 != null2009-09-04 18:33:31
    +presumptionc.entries@222 != null2009-09-04 18:33:31
    +presumptionc.entries@228 != null2009-09-04 18:33:31
    +presumptiongetEntries(...).length@222 <= 12009-09-04 18:33:31
    +presumptiongetEntries(...).length@228 >= 12009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@238 == 12009-09-04 18:33:31
    +presumptionjava.lang.String:equals(...)@252 == 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 MemberEntrySet(toMemberEntrySet#2). entries)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 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 == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postnew UserEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postnew WeblogEntrySet(getEntrySet#1*) num objects == 02009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)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 getWebsiteData2009-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:equalsIgnoreCase2009-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.TimeZone:getTimeZone2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getPermissions2009-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:getWebsiteByHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:savePermissions2009-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:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setPermissionMask2009-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
    +test_vectorthis.memberUri.username: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31

  • + void setHandle(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.handle)2009-09-04 18:33:31
    +postthis.handle == handle2009-09-04 18:33:31

  • + void setUsername(String)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.username)2009-09-04 18:33:31
    +postthis.username == username2009-09-04 18:33:31

  • + short stringToMask(String)

    • -/+ Kind Annotation Text Date
    +pres != null2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR)2009-09-04 18:33:31
    +presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.LIMITED)2009-09-04 18:33:31
    +post(soft) init'ed(return_value)2009-09-04 18:33:31
    +postreturn_value == One-of{org.apache.roller.weblogger. pojos.WeblogPermission.ADMIN, org.apache.roller. weblogger.pojos.WeblogPermission.AUTHOR, org.apache.roller.weblogger.pojos.WeblogPermission .LIMITED, 0}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equalsIgnoreCase(...)@426: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equalsIgnoreCase(...)@429: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:equalsIgnoreCase(...)@432: {0}, {1}2009-09-04 18:33:31

  • + MemberEntry toMemberEntry(WeblogPermission)

    • -/+ Kind Annotation Text Date
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prepd != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogPermission: getUser(...)@386 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@386 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(return_value.handle)2009-09-04 18:33:31
    +postinit'ed(return_value.name)2009-09-04 18:33:31
    +postjava.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted2009-09-04 18:33:31
    +postnew MemberEntry(toMemberEntry#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new MemberEntry(toMemberEntry# 1)2009-09-04 18:33:31
    +postreturn_value.href == &java.lang. StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value.permission == One-of{&"ADMIN", &"AUTHOR", &"LIMITED", null}2009-09-04 18:33:31
    +postreturn_value.permission in Addr_Set{null, &"ADMIN",&"AUTHOR",&"LIMITED"}2009-09-04 18:33:31

  • + MemberEntrySet toMemberEntrySet(WeblogPermission[])

    • -/+ Kind Annotation Text Date
    +pre(soft) pds[...] != null2009-09-04 18:33:31
    +preinit'ed(this.urlPrefix)2009-09-04 18:33:31
    +prepds != null2009-09-04 18:33:31
    +prepds.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
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)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.util.Arrays:asList2009-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. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet2009-09-04 18:33:31

  • + WeblogPermission toPermissionsData(MemberEntry)

    • -/+ Kind Annotation Text Date
    +preentry != null2009-09-04 18:33:31
    +preentry.permission != null2009-09-04 18:33:31
    +preinit'ed(entry.handle)2009-09-04 18:33:31
    +preinit'ed(entry.name)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +postnew WeblogPermission(toPermissionsData#1) num objects == 12009-09-04 18:33:31
    +postreturn_value == &new WeblogPermission(toPermiss ionsData#1)2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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:getWebsiteByHandle2009-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.webservices. adminprotocol.HandlerException2009-09-04 18:33:31

  • + MemberEntrySet updateMembers(MemberEntrySet)

    • -/+ 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@312 <= 232-12009-09-04 18:33:31
    +presumptiongetEntries(...).length@312 <= getEntries(...). length@3132009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...).length@321 <= 232-12009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@321 != null2009-09-04 18:33:31
    +presumptionjava.util.List:toArray(...)@72 != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. UserManager:getPermissions(...)@302 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)2009-09-04 18:33:31
    +postinit'ed(new MemberEntrySet(toMemberEntrySet#2). entries)2009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2) num objects == 12009-09-04 18:33:31
    +postnew MemberEntrySet(toMemberEntrySet#2).href == &java.lang.StringBuilder:toString(...)2009-09-04 18:33:31
    +postreturn_value == &new MemberEntrySet(toMemberEnt rySet#2)2009-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 getWebsiteData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2009-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 org.apache.roller.weblogger.business. UserManager:getPermissions2009-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:getWebsiteByHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:savePermissions2009-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:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getPermissionMask2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getUser2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogPermission:setPermissionMask2009-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.EntrySet2009-09-04 18:33:31

  • + void updatePermissionsData(WeblogPermission, MemberEntry)

    • -/+ Kind Annotation Text Date
    +pre(soft) pd != null2009-09-04 18:33:31
    +preentry != null2009-09-04 18:33:31
    +preinit'ed(entry.handle)2009-09-04 18:33:31
    +preinit'ed(entry.name)2009-09-04 18:33:31
    +preinit'ed(entry.permission)2009-09-04 18:33:31
    +prethis.roller != null2009-09-04 18:33:31
    +presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@336 != null2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-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:getWebsiteByHandle2009-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.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +test_vectorentry.permission: Addr_Set{null}, Inverse{null}2009-09-04 18:33:31