Last Msg First Msg
























method org.apache.roller.weblogger.ui.core.security. AuthoritiesPopulator__static_init










method void org.apache.roller.weblogger.ui.core.security. AuthoritiesPopulator()
postthis.defaultRole == null










method GrantedAuthority[] getGrantedAuthorities(LdapUserD etails)
preinit'ed(this.defaultRole)
preuserDetails != null
presumptioninit'ed(java.lang.Boolean.TRUE)
presumptionjava.util.Iterator:next(...)@70 != null
presumptionjava.util.Set:size(...)@65 in 1..232-2
presumptionorg.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@56 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@55 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@54 != null
presumptionorg.apache.roller.weblogger.pojos.User:getRoles(... )@65 != null
presumptionorg.apache.roller.weblogger.pojos.User:getRoles(... )@69 != null
postreturn_value == &new GrantedAuthorityImpl[](get GrantedAuthorities#4)
postinit'ed(new GrantedAuthorityImpl(getGrantedAuthorit ies#5) num objects)
postnew GrantedAuthorityImpl[](getGrantedAuthorities#4) num objects == 1
post(soft) new GrantedAuthorityImpl[](getGrantedAuthori ties#4).length in 1..232-1
postnew GrantedAuthorityImpl[](getGrantedAuthorities#4) [...] != null
test_vectorthis.defaultRole: Addr_Set{null}, Inverse{null}
test_vectorjava.util.Iterator:hasNext(...)@69: {0}, {1}









  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()










  infomethod not available-- call on String org.acegisecurity.userdetails. ldap.LdapUserDetails:getUsername()
  infomethod not available-- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String, Boolean)










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. User:getRoles()










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. User:getRoles()










Prev Msg Next Msg
+
medium
array index out of boundscheck might fail: requires i < authorities.length
+
low
overflowcheck might fail: requires i in -231-1.. 232-2
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.UserRole:getRole()
  infomethod not available-- call on void org.acegisecurity.GrantedAuthorityI mpl(String)
Prev Msg Next Msg











method void setDefaultRole(String)
postthis.defaultRole == &new GrantedAuthorityImpl(s etDefaultRole#1)
postnew GrantedAuthorityImpl(setDefaultRole#1) num objects == 1









  infomethod not available-- call on void org.springframework.util. Assert:notNull(Object, String)










  infomethod not available-- call on void org.acegisecurity.GrantedAuthorityI mpl(String)