Last Msg First Msg
























method net.sourceforge.pebble.web.action.EditUserDetailsA ction__static_init










method void net.sourceforge.pebble.web.action. EditUserDetailsAction()










method View process(HttpServletRequest, HttpServletRespon se)
prethis.model != null
prethis.model.data != null
pre(soft) net.sourceforge.pebble.PebbleContext__ static_init.new PebbleContext(PebbleContext__static _init#1).configuration != null
presumptionjava.io.File:exists(...)@103 == 1
presumptionjava.util.Iterator:hasNext(...)@126 == 0
postreturn_value in Addr_Set{&new UserDetailsView(p rocess#2),&new FourZeroThreeView(process#1)}
postnew FourZeroThreeView(process#1) num objects <= 1
postnew UserDetailsView(process#2) num objects <= 1
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:getSec urityRealm
unanalyzedcall on getUser
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
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.util.HashMap:put
test_vectorcurrentUserDetails.detailsUpdateable@61: {1}, {0}









Prev Msg Next Msg
+
medium
null dereferencecheck might fail: requires currentUserDetails != null
Prev Msg Next Msg










  infomethod not available-- call on void net.sourceforge.pebble.web.view. impl.FourZeroThreeView()










  infomethod not available-- call on void net.sourceforge.pebble.web.view. impl.UserDetailsView()











method String[] getRoles(HttpServletRequest)
presumptioninit'ed(net.sourceforge.pebble.Constants.ANY_ROLE)
postreturn_value == &new String[](getRoles#1)
postnew String[](getRoles#1) num objects == 1
postreturn_value.length == 1
postreturn_value[0] == net.sourceforge.pebble. Constants.ANY_ROLE
post(soft) init'ed(return_value[0])