securityutils.java

current inspection = 2010-07-22 15:04:21 (id #4) base = 2010-07-16 16:14:15 (id #1)

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


  • PebbleUserDetails getUserDetails()

    • -/+ Kind Annotation Text Date
    +pre(soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null2010-07-22 12:56:56
    +presumptionnet.sourceforge.pebble.Configuration:getSecurityRea lm(...)@80 != null2010-07-22 12:56:56
    +presumptionorg.apache.commons.logging.LogFactory:getLog(... )@62 != null2010-07-22 12:56:56
    +presumptionrealm.configuration@80 != null2010-07-22 12:56:56
    +postinit'ed(new PebbleUserDetails(getUser#4). detailsUpdateable)2010-07-22 12:56:56
    +postinit'ed(new PebbleUserDetails(getUser#4). emailAddress)2010-07-22 12:56:56
    +postinit'ed(new PebbleUserDetails(getUser#4). grantedAuthories)2010-07-22 12:56:56
    +postinit'ed(new PebbleUserDetails(getUser#4).name)2010-07-22 12:56:56
    +postinit'ed(new PebbleUserDetails(getUser#4).password)2010-07-22 12:56:56
    +postinit'ed(new PebbleUserDetails(getUser#4).profile)2010-07-22 12:56:56
    +postinit'ed(new PebbleUserDetails(getUser#4).username)2010-07-22 12:56:56
    +postinit'ed(new PebbleUserDetails(getUser#4).website)2010-07-22 12:56:56
    +postnew HashMap(PebbleUserDetails#1) num objects <= 12010-07-22 12:56:56
    +postnew HashMap(getUser#3) num objects <= 12010-07-22 12:56:56
    +postnew PebbleUserDetails(getUser#4) num objects <= 12010-07-22 12:56:56
    +postnew PebbleUserDetails(getUser#4).preferences == &new HashMap(getUser#3)2010-07-22 12:56:56
    +postreturn_value in Addr_Set{null,&new PebbleUserDetails(getUser#4)}2010-07-22 12:56:56
    +unanalyzedcall on getFileForUser2010-07-22 12:56:56
    +unanalyzedcall on java.io.File2010-07-22 12:56:56
    +unanalyzedcall on java.io.File:exists2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream2010-07-22 12:56:56
    +unanalyzedcall on java.io.FileInputStream:close2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equalsIgnoreCase2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:length2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:split2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:startsWith2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:substring2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:trim2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:valueOf2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashMap2010-07-22 12:56:56
    +unanalyzedcall on java.util.HashSet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Map:put2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:getProperty2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:keySet2010-07-22 12:56:56
    +unanalyzedcall on java.util.Properties:load2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:add2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:iterator2010-07-22 12:56:56
    +unanalyzedcall on java.util.Set:toArray2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.Configuration:getDat aDirectory2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.PebbleException2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthorityImpl2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56

  • String getUsername()

    • -/+ Kind Annotation Text Date
    +presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@65 != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56

  • String getUsername(Authentication)

    • -/+ Kind Annotation Text Date
    +postinit'ed(return_value)2010-07-22 12:56:56
    +test_vectorauth: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • bool isBlogAdmin()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56

  • bool isBlogAdmin(Authentication)

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ ADMIN_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56

  • bool isBlogContributor()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56

  • bool isBlogContributor(Authentication)

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56

  • bool isBlogOwner()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56

  • bool isBlogOwner(Authentication)

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56

  • bool isBlogPublisher()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56

  • bool isBlogPublisher(Authentication)

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56

  • bool isUserAuthenticated()

    • -/+ Kind Annotation Text Date
    +presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@252 != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +test_vectororg.acegisecurity.context.SecurityContext:getAuthen tication(...)@253: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • bool isUserAuthorisedForBlog(Blog)

    • -/+ Kind Annotation Text Date
    +pre(soft) blog != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:isUserInRole2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56

  • bool isUserAuthorisedForBlog(Authentication, Blog)

    • -/+ Kind Annotation Text Date
    +pre(soft) blog != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on net.sourceforge.pebble.domain. Blog:isUserInRole2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56

  • bool isUserAuthorisedForBlogAsBlogContributor(Blog)

    • -/+ Kind Annotation Text Date
    +pre(soft) blog != null2010-07-22 12:56:56
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@216: {0}, {1}2010-07-22 12:56:56

  • bool isUserAuthorisedForBlogAsBlogContributor(Authentication, Blog)

    • -/+ Kind Annotation Text Date
    +pre(soft) blog != null2010-07-22 12:56:56
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@231: {0}, {1}2010-07-22 12:56:56

  • bool isUserAuthorisedForBlogAsBlogOwner(Blog)

    • -/+ Kind Annotation Text Date
    +pre(soft) blog != null2010-07-22 12:56:56
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@206: {0}, {1}2010-07-22 12:56:56

  • bool isUserAuthorisedForBlogAsBlogOwner(Authentication, Blog)

    • -/+ Kind Annotation Text Date
    +pre(soft) blog != null2010-07-22 12:56:56
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@221: {0}, {1}2010-07-22 12:56:56

  • bool isUserAuthorisedForBlogAsBlogPublisher(Blog)

    • -/+ Kind Annotation Text Date
    +pre(soft) blog != null2010-07-22 12:56:56
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContext:g etAuthentication2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.context.SecurityContextHo lder:getContext2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@211: {0}, {1}2010-07-22 12:56:56

  • bool isUserAuthorisedForBlogAsBlogPublisher(Authentication, Blog)

    • -/+ Kind Annotation Text Date
    +pre(soft) blog != null2010-07-22 12:56:56
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56
    +test_vectornet.sourceforge.pebble.domain.Blog:isUserInRole(... )@226: {0}, {1}2010-07-22 12:56:56

  • bool isUserAuthorisedForBlogAsBlogReader(Authentication, Blog)

    • -/+ Kind Annotation Text Date
    +preblog != null2010-07-22 12:56:56
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ READER_ROLE)2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getName2010-07-22 12:56:56

  • bool isUserInRole(String)

    • -/+ Kind Annotation Text Date
    +presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@89 != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +unanalyzedcall on java.lang.String:equals2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.Authentication:getAuthori ties2010-07-22 12:56:56
    +unanalyzedcall on org.acegisecurity.GrantedAuthority:getAutho rity2010-07-22 12:56:56

  • bool isUserInRole(Authentication, String)

    • -/+ Kind Annotation Text Date
    +presumptionLocal_6[Local_4]@96 != null2010-07-22 12:56:56
    +presumptionauthorities.length@96 <= 232-12010-07-22 12:56:56
    +presumptionorg.acegisecurity.GrantedAuthority:getAuthority(... )@99 != null2010-07-22 12:56:56
    +postinit'ed(return_value)2010-07-22 12:56:56
    +test_vectorauth: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@99: {0}, {1}2010-07-22 12:56:56
    +test_vectororg.acegisecurity.Authentication:getAuthorities(... )@96: Addr_Set{null}, Inverse{null}2010-07-22 12:56:56

  • void main(String[])

    • -/+ Kind Annotation Text Date
    +pre(soft) args[0] != null2010-07-22 12:56:56
    +pre(soft) init'ed(args[1])2010-07-22 12:56:56
    +pre(soft) init'ed(args[2])2010-07-22 12:56:56
    +preargs != null2010-07-22 12:56:56
    +presumptionjava.lang.System.out != null2010-07-22 12:56:56
    +test_vectorargs.length: {3}, {0..2, 4..+Inf}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@259: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@262: {0}, {1}2010-07-22 12:56:56
    +test_vectorjava.lang.String:equals(...)@265: {0}, {1}2010-07-22 12:56:56

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

    • -/+ Kind Annotation Text Date

  • net.sourceforge.pebble.util.SecurityUtils__static_init

    • -/+ Kind Annotation Text Date
    +postinit'ed(log)2010-07-22 12:56:56

  • void runAsAnonymous()

    • -/+ Kind Annotation Text Date
    +presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@197 != null2010-07-22 12:56:56

  • void runAsBlogContributor()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ CONTRIBUTOR_ROLE)2010-07-22 12:56:56
    +presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@192 != null2010-07-22 12:56:56

  • void runAsBlogOwner()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ OWNER_ROLE)2010-07-22 12:56:56
    +presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@182 != null2010-07-22 12:56:56

  • void runAsBlogPublisher()

    • -/+ Kind Annotation Text Date
    +presumptioninit'ed(net.sourceforge.pebble.Constants.BLOG_ PUBLISHER_ROLE)2010-07-22 12:56:56
    +presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@187 != null2010-07-22 12:56:56

  • void runAsUnauthenticated()

    • -/+ Kind Annotation Text Date
    +presumptionorg.acegisecurity.context.SecurityContextHolder:get Context(...)@201 != null2010-07-22 12:56:56