| method | void authenticate() |
| pre | this.request != null |
| pre | (soft) this.roller != null |
| presumption | java.lang.String:indexOf(...)@47 <= 232-2 |
| presumption | javax.servlet.http.HttpServletRequest:getHeader(... )@36 != null |
| post | init'ed(java.lang.String:substring(...)._tainted) |
| post | this.userName == One-of{null, &java.lang. String:substring(...)} |
| unanalyzed | call on getUserData |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.Boolean:valueOf |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getUserName |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException |
| unanalyzed | call on java.lang.Exception |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:hasRole |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| test_vector | java.lang.String:equalsIgnoreCase(...)@44: {0}, {1} |
| test_vector | java.lang.String:indexOf(...)@47: {-1}, {-231..-2, 0..232-2} |
| test_vector | java.util.StringTokenizer:hasMoreTokens(...)@42: {0}, {1} |