| method | RollerSession getRollerSession(HttpServletRequest) |
| pre | request != null |
| pre | (soft) log != null |
| pre | (soft) org/apache/roller/weblogger/ui/core/RollerCo ntext.log != null |
| pre | (soft) org/apache/roller/weblogger/ui/core/security /BasicUserAutoProvision.log != null |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.DEFAULT_EMAIL_LDAP_ATTR IBUTE) |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.DEFAULT_LOCALE_LDAP_ATT RIBUTE) |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.DEFAULT_NAME_LDAP_ATTRI BUTE) |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.DEFAULT_SNAME_LDAP_ATTR IBUTE) |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.DEFAULT_TIMEZONE_LDAP_A TTRIBUTE) |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.EMAIL_LDAP_PROPERTY) |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.LOCALE_LDAP_PROPERTY) |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.NAME_LDAP_PROPERTY) |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.SNAME_LDAP_PROPERTY) |
| pre | (soft) init'ed(org/apache/roller/weblogger/ui/core/ security/CustomUserRegistry.TIMEZONE_LDAP_PROPERTY) |
| pre | (soft) org/apache/roller/weblogger/ui/core/security /CustomUserRegistry.log != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@76 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@76 != null |
| presumption | org.apache.roller.weblogger.pojos.User:getEnabled(. ..)@93 != null |
| post | init'ed(return_value) |
| post | new RollerSession(getRollerSession#1) num objects <= 1 |
| post | init'ed(new RollerSession(getRollerSession#1). userId) |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUser |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getId |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.Class:forName |
| unanalyzed | call on java.lang.Class:getInterfaces |
| unanalyzed | call on java.lang.Object:equals |
| unanalyzed | call on java.lang.Class:newInstance |
| unanalyzed | call on javax.naming.directory.Attributes:get |
| unanalyzed | call on javax.naming.directory.Attribute:get |
| unanalyzed | call on java.lang.Object:toString |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext |
| unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication |
| unanalyzed | call on org.acegisecurity.Authentication:getPrincip al |
| unanalyzed | call on org.acegisecurity.userdetails. UserDetails:instanceof |
| unanalyzed | call on org.acegisecurity.userdetails. UserDetails:getUsername |
| unanalyzed | call on org.acegisecurity.userdetails. UserDetails:getPassword |
| unanalyzed | call on org.acegisecurity.userdetails. UserDetails:isEnabled |
| unanalyzed | call on org.apache.roller.weblogger.pojos.User |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setId |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setUserName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setPassword |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setEnabled |
| unanalyzed | call on java.util.Locale:getDefault |
| unanalyzed | call on java.util.Locale:toString |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setLocale |
| unanalyzed | call on java.util.TimeZone:getDefault |
| unanalyzed | call on java.util.TimeZone:getID |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setTimeZone |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setDateCreated |
| unanalyzed | call on getScreenName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setScreenName |
| unanalyzed | call on getFullName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setFullName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:setEmailAddress |
| unanalyzed | call on getTimeZone |
| unanalyzed | call on getLocale |
| unanalyzed | call on org.acegisecurity.userdetails.ldap. LdapUserDetails:instanceof |
| unanalyzed | call on org.acegisecurity.userdetails.ldap. LdapUserDetails:getAttributes |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:addUser |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:flush |
| test_vector | java.lang.Boolean:booleanValue(...)@93: {0}, {1} |
| test_vector | javax.servlet.http.HttpServletRequest:getSession(.. .)@64: Addr_Set{null}, Inverse{null} |
| test_vector | javax.servlet.http.HttpServletRequest:getUserPrinci pal(...)@73: Addr_Set{null}, Inverse{null} |
| test_vector | javax.servlet.http.HttpSession:getAttribute(... )@66: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@77: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@81: {0}, {1} |
