Messages

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

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

method | String getUsername()
presumption | org.acegisecurity.context.SecurityContextHolder:get Context(...)@65 != null
post | init'ed(return_value)
unanalyzed | call on org.acegisecurity.Authentication:getName

| info | method not available | -- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()

| info | method not available | -- call on Authentication org.acegisecurity. context.SecurityContext:getAuthentication()

method | String getUsername(Authentication)
post | init'ed(return_value)
test_vector | auth: Addr_Set{null}, Inverse{null}

| info | method 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
presumption | net.sourceforge.pebble.Configuration:getSecurityRea lm(...)@80 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@62 != null
presumption | realm.configuration@80 != null
post | return_value in Addr_Set{null,&new PebbleUserDetails(getUser#4)}
post | new HashMap(PebbleUserDetails#1) num objects <= 1
post | new HashMap(getUser#3) num objects <= 1
post | new PebbleUserDetails(getUser#4) num objects <= 1
post | init'ed(new PebbleUserDetails(getUser#4). detailsUpdateable)
post | init'ed(new PebbleUserDetails(getUser#4). emailAddress)
post | init'ed(new PebbleUserDetails(getUser#4). grantedAuthories)
post | init'ed(new PebbleUserDetails(getUser#4).name)
post | init'ed(new PebbleUserDetails(getUser#4).password)
post | new PebbleUserDetails(getUser#4).preferences == &new HashMap(getUser#3)
post | init'ed(new PebbleUserDetails(getUser#4).profile)
post | init'ed(new PebbleUserDetails(getUser#4).username)
post | init'ed(new PebbleUserDetails(getUser#4).website)
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 net.sourceforge.pebble.Configuration:getDat aDirectory
unanalyzed | call on java.io.File
unanalyzed | call on getFileForUser
unanalyzed | call on java.io.File:exists
unanalyzed | call on java.io.FileInputStream
unanalyzed | call on java.util.Properties
unanalyzed | call on java.util.Properties:load
unanalyzed | call on java.io.FileInputStream:close
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on java.lang.String:split
unanalyzed | call on java.lang.String:equalsIgnoreCase
unanalyzed | call on java.util.HashMap
unanalyzed | call on java.util.Properties:keySet
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.lang.String:startsWith
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.util.Map:put
unanalyzed | call on java.util.HashSet
unanalyzed | call on java.lang.String:trim
unanalyzed | call on org.acegisecurity.GrantedAuthorityImpl
unanalyzed | call on java.util.Set:add
unanalyzed | call on java.util.Set:toArray
unanalyzed | call on net.sourceforge.pebble.PebbleException
unanalyzed | call on java.lang.String:valueOf

| info | method not available | -- call on SecurityRealm net.sourceforge.pebble. Configuration:getSecurityRealm()

| info | method not available | -- call on PebbleUserDetails getUser(String)

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

method | bool isUserInRole(String)
presumption | org.acegisecurity.context.SecurityContextHolder:get Context(...)@89 != null
post | init'ed(return_value)
unanalyzed | call on org.acegisecurity.Authentication:getAuthori ties
unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzed | call on java.lang.String:equals

| info | method not available | -- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()

| info | method not available | -- call on Authentication org.acegisecurity. context.SecurityContext:getAuthentication()

method | bool isUserInRole(Authentication, String)
presumption | Local_6[Local_4]@96 != null
presumption | authorities.length@96 <= 232-1
presumption | org.acegisecurity.GrantedAuthority:getAuthority(... )@99 != null
post | init'ed(return_value)
test_vector | auth: Addr_Set{null}, Inverse{null}
test_vector | java.lang.String:equals(...)@99: {0}, {1}
test_vector | org.acegisecurity.Authentication:getAuthorities(... )@96: Addr_Set{null}, Inverse{null}

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

| info | method not available | -- call on String org.acegisecurity. GrantedAuthority:getAuthority()

method | bool isBlogAdmin()
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)
post | init'ed(return_value)
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

method | bool isBlogOwner()
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
post | init'ed(return_value)
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

method | bool isBlogPublisher()
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
post | init'ed(return_value)
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

method | bool isBlogContributor()
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
post | init'ed(return_value)
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

method | bool isBlogAdmin(Authentication)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)
post | init'ed(return_value)
unanalyzed | call on org.acegisecurity.Authentication:getAuthori ties
unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzed | call on java.lang.String:equals

method | bool isBlogOwner(Authentication)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
post | init'ed(return_value)
unanalyzed | call on org.acegisecurity.Authentication:getAuthori ties
unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzed | call on java.lang.String:equals

method | bool isBlogPublisher(Authentication)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
post | init'ed(return_value)
unanalyzed | call on org.acegisecurity.Authentication:getAuthori ties
unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzed | call on java.lang.String:equals

method | bool isBlogContributor(Authentication)
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
post | init'ed(return_value)
unanalyzed | call on org.acegisecurity.Authentication:getAuthori ties
unanalyzed | call on org.acegisecurity.GrantedAuthority:getAutho rity
unanalyzed | call on java.lang.String:equals

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

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

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

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

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

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

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

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

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

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

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

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

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

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

method | bool isUserAuthorisedForBlogAsBlogOwner(Blog)
pre | (soft) blog != null
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)
post | init'ed(return_value)
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
test_vector | net.sourceforge.pebble.domain.Blog:isUserInRole(... )@206: {0}, {1}

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

method | bool isUserAuthorisedForBlogAsBlogPublisher(Blog)
pre | (soft) blog != null
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)
post | init'ed(return_value)
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
test_vector | net.sourceforge.pebble.domain.Blog:isUserInRole(... )@211: {0}, {1}

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

method | bool isUserAuthorisedForBlogAsBlogContributor(Blog )
pre | (soft) blog != null
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)
post | init'ed(return_value)
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
test_vector | net.sourceforge.pebble.domain.Blog:isUserInRole(... )@216: {0}, {1}

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

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

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

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

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

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

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

method | bool isUserAuthorisedForBlogAsBlogReader(Authentic ation, Blog)
pre | blog != null
presumption | init'ed(net.sourceforge.pebble.Constants.BLOG_ READER_ROLE)
post | init'ed(return_value)
unanalyzed | call on org.acegisecurity.Authentication:getName

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

method | bool isUserAuthorisedForBlog(Blog)
pre | (soft) blog != null
post | init'ed(return_value)
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

method | bool isUserAuthorisedForBlog(Authentication, Blog)
pre | (soft) blog != null
post | init'ed(return_value)
unanalyzed | call on org.acegisecurity.Authentication:getName
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

method | bool isUserAuthenticated()
presumption | org.acegisecurity.context.SecurityContextHolder:get Context(...)@252 != null
post | init'ed(return_value)
test_vector | org.acegisecurity.context.SecurityContext:getAuthen tication(...)@253: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on SecurityContext org.acegisecurity. context.SecurityContextHolder:getContext()

| info | method not available | -- call on Authentication org.acegisecurity. context.SecurityContext:getAuthentication()

| info | method not available | -- call on void org.acegisecurity.providers. encoding.Md5PasswordEncoder()

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

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

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

| info | method not available | -- call on void org.acegisecurity.providers. encoding.ShaPasswordEncoder()

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

| info | method not available | -- call on void org.acegisecurity.providers. encoding.PlaintextPasswordEncoder()

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