Messages

method

void org.apache.roller.weblogger.ui.core.security. CustomUserRegistry()

method	org.apache.roller.weblogger.ui.core.security. CustomUserRegistry__static_init
post	DEFAULT_EMAIL_LDAP_ATTRIBUTE == &"mail"
post	DEFAULT_LOCALE_LDAP_ATTRIBUTE == &"locale"
post	DEFAULT_NAME_LDAP_ATTRIBUTE == &"cn"
post	DEFAULT_SNAME_LDAP_ATTRIBUTE == &"screenname"
post	DEFAULT_TIMEZONE_LDAP_ATTRIBUTE == &"timezone"
post	EMAIL_LDAP_PROPERTY == &"users.sso.registry. ldap.attributes.email"
post	LOCALE_LDAP_PROPERTY == &"users.sso.registry. ldap.attributes.locale"
post	NAME_LDAP_PROPERTY == &"users.sso.registry. ldap.attributes.name"
post	SNAME_LDAP_PROPERTY == &"users.sso.registry. ldap.attributes.screenname"
post	TIMEZONE_LDAP_PROPERTY == &"users.sso.registry. ldap.attributes.timezone"
post	init'ed(log)

info method not available -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method	User getUserDetailsFromAuthentication()
pre	(soft) init'ed(DEFAULT_EMAIL_LDAP_ATTRIBUTE)
pre	(soft) init'ed(DEFAULT_LOCALE_LDAP_ATTRIBUTE)
pre	(soft) init'ed(DEFAULT_NAME_LDAP_ATTRIBUTE)
pre	(soft) init'ed(DEFAULT_SNAME_LDAP_ATTRIBUTE)
pre	(soft) init'ed(DEFAULT_TIMEZONE_LDAP_ATTRIBUTE)
pre	(soft) init'ed(EMAIL_LDAP_PROPERTY)
pre	(soft) init'ed(LOCALE_LDAP_PROPERTY)
pre	(soft) init'ed(NAME_LDAP_PROPERTY)
pre	(soft) init'ed(SNAME_LDAP_PROPERTY)
pre	(soft) init'ed(TIMEZONE_LDAP_PROPERTY)
pre	(soft) log != null
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	java.util.Locale:getDefault(...)@98 != null
presumption	java.util.TimeZone:getDefault(...)@99 != null
presumption	org.acegisecurity.context.SecurityContextHolder:get Context(...)@63 != null
post	return_value in Addr_Set{null,&new User(getUserDetailsFromAuthentication#1)}
post	new User(getUserDetailsFromAuthentication#1) num objects <= 1
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 java.lang.Throwable:__curr_excep_obj
test_vector	getLocale(...)@115: Addr_Set{null}, Inverse{null}
test_vector	getTimeZone(...)@111: Addr_Set{null}, Inverse{null}
test_vector	org.acegisecurity.Authentication:getPrincipal(... )@70: Inverse{null}, Addr_Set{null}
test_vector	org.acegisecurity.context.SecurityContext:getAuthen tication(...)@63: Inverse{null}, Addr_Set{null}
test_vector	org.acegisecurity.userdetails.UserDetails:instanceo f(...)@77: {1}, {0}
test_vector	org.acegisecurity.userdetails.ldap.LdapUserDetails: instanceof(...)@119: {0}, {1}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@57: {1}, {0}
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@92: {1}, {0}

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)

info method not available -- call on void org.apache.commons.logging. Log:info(Object)

info method not available -- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()

info method not available -- call on Authentication org.acegisecurity. context.SecurityContext:getAuthentication()

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

info method not available -- call on Object org.acegisecurity. Authentication:getPrincipal()

info method not available -- call on void org.apache.commons.logging. Log:warn(Object)

info method not available -- call on String org.acegisecurity.userdetails. UserDetails:getUsername()

info method not available -- call on String org.acegisecurity.userdetails. UserDetails:getPassword()

info method not available -- call on bool org.acegisecurity.userdetails. UserDetails:isEnabled()

info method not available -- call on void org.apache.roller.weblogger.pojos. User()

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setId(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setUserName(String)

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String, String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setPassword(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setEnabled(Boolean)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setLocale(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setTimeZone(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setDateCreated(Date)

info method not available -- call on String getScreenName()

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setScreenName(String)

info method not available -- call on String getFullName()

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setFullName(String)

info method not available -- call on String getFullName()

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setEmailAddress(String)

info method not available -- call on String getTimeZone()

info method not available -- call on String getTimeZone()

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setTimeZone(String)

info method not available -- call on String getLocale()

info method not available -- call on String getLocale()

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setLocale(String)

info method not available -- call on Attributes org.acegisecurity. userdetails.ldap.LdapUserDetails:getAttributes()

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String, String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setScreenName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setFullName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setEmailAddress(String)

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String, String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setLocale(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setTimeZone(String)

method	String getLdapAttribute(Attributes, String)
post	java.lang.Object:toString(...)._tainted == 0
post	return_value in Addr_Set{null,&java.lang. Object:toString(...)}
test_vector	attributes: Inverse{null}, Addr_Set{null}
test_vector	javax.naming.directory.Attribute:get(...)@157: Inverse{null}, Addr_Set{null}
test_vector	javax.naming.directory.Attributes:get(...)@149: Inverse{null}, Addr_Set{null}

	info	method not available	-- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()
	info	method not available	-- call on Authentication org.acegisecurity. context.SecurityContext:getAuthentication()

	info	method not available	-- call on String getScreenName()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. User:setScreenName(String)

	info	method not available	-- call on String getFullName()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. User:setFullName(String)

	info	method not available	-- call on String getTimeZone()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. User:setTimeZone(String)

	info	method not available	-- call on String getLocale()
	info	method not available	-- call on void org.apache.roller.weblogger.pojos. User:setLocale(String)