| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.activationCode) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@205 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@205 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@217 != null | 2009-09-04 18:33:31 |
| + | post | return_value == &"success" | 2009-09-04 18:33:31 |
| + | post | this.activationStatus == One-of{old this.activationStatus, &"active", &"error"} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business. UserManager:getUserByActivationCode(...)@210: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.struts2.core. Register:hasActionErrors(...)@231: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | this.activationCode: Inverse{null}, Addr_Set{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.bean != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Locale:getDefault(...)@85 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.TimeZone:getDefault(...)@86 != null | 2009-09-04 18:33:31 |
| + | post | java.util.Locale:toString(...)._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.emailAddress) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.fullName) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.id) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.locale) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.password) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.screenName) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.timeZone) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.bean.userName) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.fromSS0) | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&"input", &"disabled"} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getFullName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getId | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getScreenName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@91: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@80: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.core.security. CustomUserRegistry:getUserDetailsFromAuthentication (...)@93: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(DEFAULT_ALLOWED_CHARS) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.passwordConfirm) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.userName) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.bean.passwordText != null | 2009-09-04 18:33:31 |
| + | pre | this.bean != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.lang.CharSetUtils:keep(...)@268 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@280 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@280 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@251 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.pojos.User:getPassword( ...)@253 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.bean.passwordConfirm) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.bean.userName) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.fromSS0) | 2009-09-04 18:33:31 |
| + | post | this.bean.passwordText != null | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@269: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@274: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@263: {1.. 232-1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@279: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@281: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@246: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@248: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@262: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.core.security. CustomUserRegistry:getUserDetailsFromAuthentication (...)@249: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | post | new ProfileBean(Register#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | this.activationCode == null | 2009-09-04 18:33:31 |
| + | post | this.activationStatus == null | 2009-09-04 18:33:31 |
| + | post | this.bean == &new ProfileBean(Register#1) | 2009-09-04 18:33:31 |
| + | post | this.bean.emailAddress == null | 2009-09-04 18:33:31 |
| + | post | this.bean.fullName == null | 2009-09-04 18:33:31 |
| + | post | this.bean.id == null | 2009-09-04 18:33:31 |
| + | post | this.bean.locale == null | 2009-09-04 18:33:31 |
| + | post | this.bean.password == null | 2009-09-04 18:33:31 |
| + | post | this.bean.passwordConfirm == null | 2009-09-04 18:33:31 |
| + | post | this.bean.passwordText == null | 2009-09-04 18:33:31 |
| + | post | this.bean.screenName == null | 2009-09-04 18:33:31 |
| + | post | this.bean.timeZone == null | 2009-09-04 18:33:31 |
| + | post | this.bean.userName == null | 2009-09-04 18:33:31 |
| + | post | this.fromSS0 == 0 | 2009-09-04 18:33:31 |
| + | post | this.pageTitle == &"newUser.addNewUser" | 2009-09-04 18:33:31 |
| + | post | this.servletRequest == null | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(DEFAULT_ALLOWED_CHARS) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.emailAddress) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.fullName) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.locale) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.passwordConfirm) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.screenName) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.timeZone) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.bean.userName) | 2009-09-04 18:33:31 |
| + | pre | (soft) log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.bean != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.bean.passwordText != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.servletRequest != null | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.FALSE) | 2009-09-04 18:33:31 |
| + | presumption | init'ed(java.lang.Boolean.TRUE) | 2009-09-04 18:33:31 |
| + | presumption | java.util.UUID:randomUUID(...)@142 != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.UUID:randomUUID(...)@150 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.servlet.http.HttpServletRequest:getSession(.. .)@184 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@119 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@119 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@167 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.bean.passwordConfirm) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.bean.userName) | 2009-09-04 18:33:31 |
| + | post | possibly_updated(this.fromSS0) | 2009-09-04 18:33:31 |
| + | post | return_value in Addr_Set{&"success", &"input",&"disabled"} | 2009-09-04 18:33:31 |
| + | post | this.activationStatus == One-of{old this.activationStatus, &"pending"} | 2009-09-04 18:33:31 |
| + | post | this.bean.passwordText != null | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:trim | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.CharSetUtils:keep | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:error | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setEmailAddress | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setFullName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setLocale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setScreenName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.pojos. User:setTimeZone | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.core. security.CustomUserRegistry:getUserDetailsFromAuthe ntication | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.struts2. core.Register:addError | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@129: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.business. UserManager:getUserByActivationCode(...)@144: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@111: {1}, {0} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@135: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.pojos.User:getActivatio nCode(...)@170: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.ui.struts2.core. Register:hasActionErrors(...)@117: {1}, {0} | 2009-09-04 18:33:31 |