BasicAuthenticator.java

current inspection = 2009-09-04 18:33:31 (id #2) base = 2009-09-04 18:33:31 (id #1)

Filter Options
History:
+ added
- dropped
U unchanged
Annotation Kind:
pre
presumption
post
unanalyzed
test


  • + void authenticate()

    • -/+ Kind Annotation Text Date
    +pre(soft) this.roller != null2009-09-04 18:33:31
    +prethis.request != null2009-09-04 18:33:31
    +presumptionjava.lang.String:indexOf(...)@47 <= 232-22009-09-04 18:33:31
    +presumptionjavax.servlet.http.HttpServletRequest:getHeader(... )@36 != null2009-09-04 18:33:31
    +postinit'ed(java.lang.String:substring(...)._tainted)2009-09-04 18:33:31
    +postthis.userName == One-of{null, &java.lang. String:substring(...)}2009-09-04 18:33:31
    +unanalyzedcall on getUserData2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:booleanValue2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Boolean:valueOf2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Exception2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:equals2009-09-04 18:33:31
    +unanalyzedcall on java.lang.String:trim2009-09-04 18:33:31
    +unanalyzedcall on java.lang.Throwable:__curr_excep_obj2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:getProperty2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getPassword2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.pojos. User:hasRole2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.util. Utilities:encodePassword2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException2009-09-04 18:33:31
    +test_vectorjava.lang.String:equalsIgnoreCase(...)@44: {0}, {1}2009-09-04 18:33:31
    +test_vectorjava.lang.String:indexOf(...)@47: {-1}, {-231..-2, 0..232-2}2009-09-04 18:33:31
    +test_vectorjava.util.StringTokenizer:hasMoreTokens(...)@42: {0}, {1}2009-09-04 18:33:31

  • + void org.apache.roller.weblogger.webservices.adminprotocol.BasicAuthenticator(HttpServletRequest)

    • -/+ Kind Annotation Text Date
    +postinit'ed(this.request)2009-09-04 18:33:31
    +postinit'ed(this.roller)2009-09-04 18:33:31
    +postthis.request == req2009-09-04 18:33:31
    +unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger2009-09-04 18:33:31

  • + org.apache.roller.weblogger.webservices.adminprotocol.BasicAuthenticator__static_init

    • -/+ Kind Annotation Text Date