| method | void org.apache.roller.weblogger.webservices. adminprotocol.IntrospectionHandler(HttpServletReque st) |
| pre | request != null |
| pre | (soft) org/apache/roller/weblogger/webservices/admi nprotocol/Handler$URI.PATHINFO_PATTERN != null |
| post | init'ed(java.lang.String:substring(...)._tainted) |
| post | java.lang.StringBuilder:toString(...)._tainted == 0 |
| post | this.request == request |
| post | this.request != null |
| post | init'ed(this.roller) |
| post | this.uri == &new Handler$URI(Handler#1) |
| post | this.urlPrefix == &java.lang.StringBuilder:toSt ring(...) |
| post | this.userName == One-of{null, &java.lang. String:substring(...)} |
| post | this.userName in Addr_Set{null,&java.lang. String:substring(...)} |
| post | new Handler$URI(Handler#1) num objects == 1 |
| post | init'ed(new Handler$URI(Handler#1).entryId) |
| post | init'ed(new Handler$URI(Handler#1).type) |
| unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException |
| unanalyzed | call on java.lang.Exception |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa thInfo |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.util.regex.Matcher:matches |
| unanalyzed | call on java.util.regex.Matcher:group |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getHe ader |
| unanalyzed | call on java.util.StringTokenizer |
| unanalyzed | call on java.util.StringTokenizer:hasMoreTokens |
| unanalyzed | call on java.util.StringTokenizer:nextToken |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on java.lang.String:getBytes |
| unanalyzed | call on org.apache.commons.codec.binary. Base64:decodeBase64 |
| unanalyzed | call on java.lang.String |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on 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.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 |
| unanalyzed | call on authenticate |
| method | EntrySet processGet() |
| pre | init'ed(this.request) |
| pre | this.uri != null |
| pre | this.uri.entryId == null |
| pre | init'ed(this.urlPrefix) |
| pre | (soft) this.uri.type == null |
| post | return_value == &new Service(getIntrospection#1 ) |
| post | new Service(getIntrospection#1) num objects == 1 |
| post | init'ed(new Service(getIntrospection#1).entries) |
| post | new Service(getIntrospection#1).href == this.urlPrefix |
| post | init'ed(new Service(getIntrospection#1).href) |
| unanalyzed | call on getUrlPrefix |
| unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet |
| unanalyzed | call on java.util.Arrays:asList |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.List:toArray |
| method | Service getIntrospection(HttpServletRequest) |
| pre | init'ed(this.urlPrefix) |
| post | return_value == &new Service(getIntrospection#1 ) |
| post | new Service(getIntrospection#1) num objects == 1 |
| post | init'ed(return_value.entries) |
| post | return_value.href == this.urlPrefix |
| post | init'ed(return_value.href) |
| unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet |
| unanalyzed | call on java.util.Arrays:asList |
| unanalyzed | call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry |
