| method | int doStartTag() |
| pre | this.pageContext != null |
| presumption | javax.servlet.jsp.PageContext:getRequest(...)@28 != null |
| post | return_value in 0..1 |
| unanalyzed | call on org.acegisecurity.Authentication:getName |
| unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext |
| unanalyzed | call on org.acegisecurity.context.SecurityContext:g etAuthentication |
| unanalyzed | call on org.acegisecurity.Authentication:getAuthori ties |
| unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:isUserInRole |