method net.sourceforge.pebble.util.SecurityUtils__static_ init
postinit'ed(log)









  infomethod not available-- call on Log org.apache.commons.logging. LogFactory:getLog(Class)











method String getUsername()
presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@65 != null
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName









  infomethod not available-- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()










  infomethod not available-- call on Authentication org.acegisecurity. context.SecurityContext:getAuthentication()











method String getUsername(Authentication)
postinit'ed(return_value)
test_vectorauth: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on String org.acegisecurity. Authentication:getName()











method PebbleUserDetails getUserDetails()
pre(soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null
presumptionnet.sourceforge.pebble.Configuration:getSecurityRea lm(...)@80 != null
presumptionorg.apache.commons.logging.LogFactory:getLog(... )@62 != null
presumptionrealm.configuration@80 != null
postreturn_value in Addr_Set{null,&new PebbleUserDetails(getUser#4)}
postnew HashMap(PebbleUserDetails#1) num objects <= 1
postnew HashMap(getUser#3) num objects <= 1
postnew PebbleUserDetails(getUser#4) num objects <= 1
postinit'ed(new PebbleUserDetails(getUser#4). detailsUpdateable)
postinit'ed(new PebbleUserDetails(getUser#4). emailAddress)
postinit'ed(new PebbleUserDetails(getUser#4). grantedAuthories)
postinit'ed(new PebbleUserDetails(getUser#4).name)
postinit'ed(new PebbleUserDetails(getUser#4).password)
postnew PebbleUserDetails(getUser#4).preferences == &new HashMap(getUser#3)
postinit'ed(new PebbleUserDetails(getUser#4).profile)
postinit'ed(new PebbleUserDetails(getUser#4).username)
postinit'ed(new PebbleUserDetails(getUser#4).website)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on net.sourceforge.pebble.Configuration:getDat aDirectory
unanalyzedcall on java.io.File
unanalyzedcall on getFileForUser
unanalyzedcall on java.io.File:exists
unanalyzedcall on java.io.FileInputStream
unanalyzedcall on java.util.Properties
unanalyzedcall on java.util.Properties:load
unanalyzedcall on java.io.FileInputStream:close
unanalyzedcall on java.util.Properties:getProperty
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.lang.String:equalsIgnoreCase
unanalyzedcall on java.util.HashMap
unanalyzedcall on java.util.Properties:keySet
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.util.Map:put
unanalyzedcall on java.util.HashSet
unanalyzedcall on java.lang.String:trim
unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl
unanalyzedcall on java.util.Set:add
unanalyzedcall on java.util.Set:toArray
unanalyzedcall on net.sourceforge.pebble.PebbleException
unanalyzedcall on java.lang.String:valueOf









  infomethod not available-- call on SecurityRealm net.sourceforge.pebble. Configuration:getSecurityRealm()










  infomethod not available-- call on PebbleUserDetails getUser(String)










  infomethod not available-- call on void org.apache.commons.logging. Log:error(Object, Throwable)











method bool isUserInRole(String)
presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@89 != null
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals









  infomethod not available-- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()










  infomethod not available-- call on Authentication org.acegisecurity. context.SecurityContext:getAuthentication()











method bool isUserInRole(Authentication, String)
presumptionLocal_6[Local_4]@96 != null
presumptionauthorities.length@96 <= 232-1
presumptionorg.acegisecurity.GrantedAuthority:getAuthority(... )@99 != null
postinit'ed(return_value)
test_vectorauth: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:equals(...)@99: {0}, {1}
test_vectororg.acegisecurity.Authentication:getAuthorities(... )@96: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on GrantedAuthority[] org.acegisecurity. Authentication:getAuthorities()










  infomethod not available-- call on String org.acegisecurity. GrantedAuthority:getAuthority()











method bool isBlogAdmin()
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals










method bool isBlogOwner()
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals










method bool isBlogPublisher()
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals










method bool isBlogContributor()
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals










method bool isBlogAdmin(Authentication)
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals










method bool isBlogOwner(Authentication)
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals










method bool isBlogPublisher(Authentication)
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals










method bool isBlogContributor(Authentication)
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals










method void runAsBlogOwner()
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@182 != null









  infomethod not available-- call on void org.acegisecurity.GrantedAuthorityI mpl(String)
  infomethod not available-- call on void org.acegisecurity.providers. TestingAuthenticationToken(Object, Object, GrantedAuthority[])










  infomethod not available-- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()
  infomethod not available-- call on void org.acegisecurity.context. SecurityContext:setAuthentication(Authentication)











method void runAsBlogPublisher()
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@187 != null









  infomethod not available-- call on void org.acegisecurity.GrantedAuthorityI mpl(String)
  infomethod not available-- call on void org.acegisecurity.providers. TestingAuthenticationToken(Object, Object, GrantedAuthority[])










  infomethod not available-- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()
  infomethod not available-- call on void org.acegisecurity.context. SecurityContext:setAuthentication(Authentication)











method void runAsBlogContributor()
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@192 != null









  infomethod not available-- call on void org.acegisecurity.GrantedAuthorityI mpl(String)
  infomethod not available-- call on void org.acegisecurity.providers. TestingAuthenticationToken(Object, Object, GrantedAuthority[])










  infomethod not available-- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()
  infomethod not available-- call on void org.acegisecurity.context. SecurityContext:setAuthentication(Authentication)











method void runAsAnonymous()
presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@197 != null









  infomethod not available-- call on void org.acegisecurity.providers. TestingAuthenticationToken(Object, Object, GrantedAuthority[])










  infomethod not available-- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()
  infomethod not available-- call on void org.acegisecurity.context. SecurityContext:setAuthentication(Authentication)











method void runAsUnauthenticated()
presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@201 != null









  infomethod not available-- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()
  infomethod not available-- call on void org.acegisecurity.context. SecurityContext:setAuthentication(Authentication)











method bool isUserAuthorisedForBlogAsBlogOwner(Blog)
pre(soft) blog != null
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals
test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@206: {0}, {1}









  infomethod not available-- call on bool net.sourceforge.pebble.domain. Blog:isUserInRole(String, String)











method bool isUserAuthorisedForBlogAsBlogPublisher(Blog)
pre(soft) blog != null
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals
test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@211: {0}, {1}









  infomethod not available-- call on bool net.sourceforge.pebble.domain. Blog:isUserInRole(String, String)











method bool isUserAuthorisedForBlogAsBlogContributor(Blog )
pre(soft) blog != null
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals
test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@216: {0}, {1}









  infomethod not available-- call on bool net.sourceforge.pebble.domain. Blog:isUserInRole(String, String)











method bool isUserAuthorisedForBlogAsBlogOwner(Authentica tion, Blog)
pre(soft) blog != null
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals
test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@221: {0}, {1}









  infomethod not available-- call on bool net.sourceforge.pebble.domain. Blog:isUserInRole(String, String)











method bool isUserAuthorisedForBlogAsBlogPublisher(Authen tication, Blog)
pre(soft) blog != null
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals
test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@226: {0}, {1}









  infomethod not available-- call on bool net.sourceforge.pebble.domain. Blog:isUserInRole(String, String)











method bool isUserAuthorisedForBlogAsBlogContributor(Auth entication, Blog)
pre(soft) blog != null
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals
test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@231: {0}, {1}









  infomethod not available-- call on bool net.sourceforge.pebble.domain. Blog:isUserInRole(String, String)











method bool isUserAuthorisedForBlogAsBlogReader(Authentic ation, Blog)
preblog != null
presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ READER_ROLE)
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName









  infomethod not available-- call on bool net.sourceforge.pebble.domain. Blog:isUserInRole(String, String)











method bool isUserAuthorisedForBlog(Blog)
pre(soft) blog != null
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals
unanalyzedcall on net.sourceforge.pebble.domain. Blog:isUserInRole










method bool isUserAuthorisedForBlog(Authentication, Blog)
pre(soft) blog != null
postinit'ed(return_value)
unanalyzedcall on org.acegisecurity.Authentication:getName
unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties
unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzedcall on java.lang.String:equals
unanalyzedcall on net.sourceforge.pebble.domain. Blog:isUserInRole










method bool isUserAuthenticated()
presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@252 != null
postinit'ed(return_value)
test_vectororg.acegisecurity.context.SecurityContext:getAuthen tication(...)@253: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()










  infomethod not available-- call on Authentication org.acegisecurity. context.SecurityContext:getAuthentication()










  infomethod not available-- call on void org.acegisecurity.providers. encoding.Md5PasswordEncoder()











method void net.sourceforge.pebble.util.SecurityUtils()

method void main(String[])
preargs != null
pre(soft) args[0] != null
pre(soft) init'ed(args[1])
pre(soft) init'ed(args[2])
presumptionjava.lang.System.out != null
test_vectorargs.length: {3}, {0..2, 4..+Inf}
test_vectorjava.lang.String:equals(...)@259: {0}, {1}
test_vectorjava.lang.String:equals(...)@262: {0}, {1}
test_vectorjava.lang.String:equals(...)@265: {0}, {1}









  infomethod not available-- call on String org.acegisecurity.providers. encoding.PasswordEncoder:encodePassword(String, Object)










  infomethod not available-- call on void org.acegisecurity.providers. encoding.ShaPasswordEncoder()










  infomethod not available-- call on String org.acegisecurity.providers. encoding.PasswordEncoder:encodePassword(String, Object)










  infomethod not available-- call on void org.acegisecurity.providers. encoding.PlaintextPasswordEncoder()










  infomethod not available-- call on String org.acegisecurity.providers. encoding.PasswordEncoder:encodePassword(String, Object)