Messages

Last Msg First Msg

method

org.apache.roller.weblogger.webservices. adminprotocol.RollerUserHandler__static_init

method	void org.apache.roller.weblogger.webservices. adminprotocol.RollerUserHandler(HttpServletRequest)
pre	request != null
pre	(soft) org/apache/roller/weblogger/webservices/admi nprotocol/Handler$URI.PATHINFO_PATTERN != null
post	init'ed(java.lang.String:substring(...)._tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.request == request
post	this.request != null
post	init'ed(this.roller)
post	this.uri == &new Handler$URI(Handler#1)
post	this.urlPrefix == &java.lang.StringBuilder:toSt ring(...)
post	this.userName == One-of{null, &java.lang. String:substring(...)}
post	this.userName in Addr_Set{null,&java.lang. String:substring(...)}
post	new Handler$URI(Handler#1) num objects == 1
post	init'ed(new Handler$URI(Handler#1).entryId)
post	init'ed(new Handler$URI(Handler#1).type)
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa thInfo
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on javax.servlet.http.HttpServletRequest:getHe ader
unanalyzed	call on java.util.StringTokenizer
unanalyzed	call on java.util.StringTokenizer:hasMoreTokens
unanalyzed	call on java.util.StringTokenizer:nextToken
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on org.apache.commons.codec.binary. Base64:decodeBase64
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getUserData
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. User:hasRole
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on authenticate

method	EntrySet getEntrySet(Document)
pre	d != null
pre	init'ed(this.urlPrefix)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(getEntrySet#1 )
post	new UserEntrySet(getEntrySet#1) num objects == 1
post	init'ed(return_value.entries)
post	return_value.href == &java.lang. StringBuilder:toString(...)
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on setEntries
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.jdom.Element:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.Exception
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getText
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:toArray

method	EntrySet processGet()
pre	this.roller != null
pre	this.uri != null
pre	init'ed(this.uri.entryId)
pre	init'ed(this.urlPrefix)
pre	(soft) this.uri.type != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	possibly_updated(new UserEntrySet(toUserEntrySet#1) .entries)
post	possibly_updated(new UserEntrySet(toUserEntrySet#1) .href)
unanalyzed	call on getUri
unanalyzed	call on getRoller
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:toArray
unanalyzed	call on toUserEntrySet
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on getUserData
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUsers
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
test_vector	!(this.uri.entryId == null) \| (this.uri.type == null & this.uri.entryId == null): {1}, {0}
test_vector	!(this.uri.type == null) & this.uri.entryId == null: {0}, {1}
test_vector	this.uri.entryId: Inverse{null}, Addr_Set{null}

method	EntrySet processPost(Reader)
pre	this.uri != null
pre	this.uri.entryId == null
pre	(soft) this.uri.type != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	new UserEntrySet(toUserEntrySet#1) num objects == undefined
post	new UserEntrySet(toUserEntrySet#1) num objects == 0, if init'ed
post	new UserEntrySet(toUserEntrySet#1).entries == undefined
post	new UserEntrySet(toUserEntrySet#1).entries == null
post	new UserEntrySet(toUserEntrySet#1).href == new UserEntrySet(toUserEntrySet#1).entries

info call too complex - analysis skipped -- call on EntrySet postCollection(Reader)

method	EntrySet processPut(Reader)
pre	this.uri != null
pre	init'ed(this.uri.entryId)
pre	(soft) this.uri.type != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
post	new UserEntrySet(toUserEntrySet#1) num objects == undefined
post	new UserEntrySet(toUserEntrySet#1) num objects == 0, if init'ed
post	new UserEntrySet(toUserEntrySet#1).entries == undefined
post	new UserEntrySet(toUserEntrySet#1).entries == null
post	new UserEntrySet(toUserEntrySet#1).href == new UserEntrySet(toUserEntrySet#1).entries
test_vector	!(this.uri.entryId == null) \| (this.uri.type == null & this.uri.entryId == null): {1}, {0}
test_vector	!(this.uri.type == null) & this.uri.entryId == null: {0}, {1}
test_vector	this.uri.entryId: Inverse{null}, Addr_Set{null}

info call too complex - analysis skipped -- call on EntrySet putCollection(Reader)

info call too complex - analysis skipped -- call on EntrySet putEntry(Reader)

method	EntrySet processDelete()
pre	this.roller != null
pre	this.uri != null
pre	this.uri.entryId != null
pre	init'ed(this.urlPrefix)
pre	init'ed(this.userName)
pre	(soft) this.uri.type != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(new UserEntrySet(toUserEntrySet#1). entries)
post	new UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on getUri
unanalyzed	call on getRoller
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:flush
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:toArray
unanalyzed	call on toUserEntrySet
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on getUserData
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on getUserName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:removeUser
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName

method	EntrySet getCollection()
pre	this.roller != null
pre	init'ed(this.urlPrefix)
presumption	init'ed(java.util.Collections.EMPTY_LIST)
presumption	java.util.List:toArray(...).length@94 <= 2³²-1
presumption	java.util.List:toArray(...)@94 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@90 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(new UserEntrySet(toUserEntrySet#1). entries)
post	new UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:toArray
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
test_vector	org.apache.roller.weblogger.business. UserManager:getUsers(...)@90: Inverse{null}, Addr_Set{null}

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on List org.apache.roller.weblogger. business.UserManager:getUsers(Weblog, Boolean, Date, Date, int, int)

method	EntrySet getEntry()
pre	this.roller != null
pre	this.uri != null
pre	init'ed(this.uri.entryId)
pre	init'ed(this.urlPrefix)
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(new UserEntrySet(toUserEntrySet#1). entries)
post	new UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:toArray
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName

method	EntrySet postCollection(Reader)
pre	this.roller != null
pre	init'ed(this.urlPrefix)
presumption	c.entries@111 != null
presumption	c.entries@112 != null
presumption	java.util.List:size(...)@82 != 0
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new MemberEntrySet(getEntrySet#1*) num objects == 0
post	new MemberEntrySet(getEntrySet#1*)._tainted == 0
post	new UserEntrySet(getEntrySet#1*)._tainted == 0
post	new WeblogEntrySet(getEntrySet#1*)._tainted == 0
post	init'ed(new MemberEntrySet(getEntrySet#1*). entries)
post	init'ed(new MemberEntrySet(getEntrySet#1*).href)
post	new UserEntrySet(getEntrySet#1*) num objects == 1
post	init'ed(new UserEntrySet(getEntrySet#1*).entries)
post	init'ed(new UserEntrySet(getEntrySet#1*).href)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(new UserEntrySet(toUserEntrySet#1). entries)
post	new UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)
post	new WeblogEntrySet(getEntrySet#1*) num objects == 0
post	init'ed(new WeblogEntrySet(getEntrySet#1*). entries)
post	init'ed(new WeblogEntrySet(getEntrySet#1*).href)
unanalyzed	call on getRoller
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:toArray
unanalyzed	call on java.util.Date
unanalyzed	call on toUserData
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:addUser
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:flush
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate
unanalyzed	call on java.util.List:add
unanalyzed	call on toUserEntrySet
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.pojos.User
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setPassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEmailAddress
unanalyzed	call on java.util.Locale:toString
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setLocale
unanalyzed	call on java.util.TimeZone:getID
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on setEntries
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.jdom.Element:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getText
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on org.jdom.input.SAXBuilder
unanalyzed	call on org.jdom.input.SAXBuilder:build
unanalyzed	call on getEntrySet

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires c != null

+

low

conditional throw check might fail: requires isEmpty(...) == 0

Prev Msg Next Msg

method	EntrySet putCollection(Reader)
pre	init'ed(this.urlPrefix)
pre	(soft) this.roller != null
presumption	c.entries@121 != null
presumption	c.entries@122 != null
presumption	java.util.List:size(...)@82 != 0
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new MemberEntrySet(getEntrySet#1*) num objects == 0
post	init'ed(new MemberEntrySet(getEntrySet#1*). entries)
post	init'ed(new MemberEntrySet(getEntrySet#1*).href)
post	new UserEntrySet(getEntrySet#1*) num objects == 1
post	init'ed(new UserEntrySet(getEntrySet#1*).entries)
post	init'ed(new UserEntrySet(getEntrySet#1*).href)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(new UserEntrySet(toUserEntrySet#1). entries)
post	new UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)
post	new WeblogEntrySet(getEntrySet#1*) num objects == 0
post	init'ed(new WeblogEntrySet(getEntrySet#1*). entries)
post	init'ed(new WeblogEntrySet(getEntrySet#1*).href)
unanalyzed	call on getRoller
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:toArray
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:flush
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setPassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEmailAddress
unanalyzed	call on java.util.Locale:toString
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setLocale
unanalyzed	call on java.util.TimeZone:getID
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEnabled
unanalyzed	call on getUserData
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:saveUser
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on setEntries
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.jdom.Element:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getText
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on org.jdom.input.SAXBuilder
unanalyzed	call on org.jdom.input.SAXBuilder:build
unanalyzed	call on getEntrySet
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName

method	EntrySet putEntry(Reader)
pre	this.uri != null
pre	init'ed(this.uri.entryId)
pre	init'ed(this.urlPrefix)
pre	(soft) this.roller != null
presumption	c.entries@131 != null
presumption	c.entries@132 != null
presumption	c.entries@135 != null
presumption	c.entries@139 != null
presumption	getEntries(...).length@135 <= 1
presumption	getEntries(...).length@139 >= 1
presumption	java.lang.String:equals(...)@140 == 1
presumption	java.util.List:size(...)@82 != 0
presumption	java.util.List:toArray(...)@72 != null
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new MemberEntrySet(getEntrySet#1*) num objects == 0
post	init'ed(new MemberEntrySet(getEntrySet#1*). entries)
post	init'ed(new MemberEntrySet(getEntrySet#1*).href)
post	new UserEntrySet(getEntrySet#1*) num objects == 1
post	init'ed(new UserEntrySet(getEntrySet#1*).entries)
post	init'ed(new UserEntrySet(getEntrySet#1*).href)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(new UserEntrySet(toUserEntrySet#1). entries)
post	new UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)
post	new WeblogEntrySet(getEntrySet#1*) num objects == 0
post	init'ed(new WeblogEntrySet(getEntrySet#1*). entries)
post	init'ed(new WeblogEntrySet(getEntrySet#1*).href)
unanalyzed	call on getRoller
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:toArray
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:flush
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setPassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEmailAddress
unanalyzed	call on java.util.Locale:toString
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setLocale
unanalyzed	call on java.util.TimeZone:getID
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEnabled
unanalyzed	call on getUserData
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:saveUser
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on setEntries
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.jdom.Element:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getText
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on org.jdom.input.SAXBuilder
unanalyzed	call on org.jdom.input.SAXBuilder:build
unanalyzed	call on getEntrySet
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName

Prev Msg Next Msg

+

click for all messages in this file high

null dereference check fails here: requires entry != null

+

medium

null dereference check might fail: requires not_init'ed(entry)

+

warning

test always goes same way test predetermined because getName(...) != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file high

null dereference check fails here: requires entry != null

+

medium

null dereference check might fail: requires not_init'ed(entry)

+

warning

unused assignment in callee unused assignment to (entry.name) in setName

Prev Msg Next Msg

method	UserEntrySet createUsers(UserEntrySet)
pre	c != null
pre	c.entries != null
pre	this.roller != null
pre	init'ed(this.urlPrefix)
presumption	getEntries(...).length@154 <= 2³²-1
presumption	getEntries(...).length@155 >= 1
presumption	getEntries(...).length@154 <= getEntries(...). length@155
presumption	java.util.List:toArray(...).length@166 <= 2³²-1
presumption	java.util.List:toArray(...)@166 != null
presumption	java.util.List:toArray(...)@72 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@151 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(new UserEntrySet(toUserEntrySet#1). entries)
post	new UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:toArray
unanalyzed	call on java.util.List:add
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on org.apache.roller.weblogger.pojos.User
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setPassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEmailAddress
unanalyzed	call on java.util.Locale:toString
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setLocale
unanalyzed	call on java.util.TimeZone:getID
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
test_vector	getEntries(...).length@154: {1..2³²-1}, {0}

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because getDateCreated(...) != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file high

precondition failure org/apache/roller/weblogger/webservices/adminprotoc ol/RollerUserHandler.toUserData: ue != null

Prev Msg Next Msg

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:addUser(User)

info method not available -- call on void org.apache.roller.weblogger. business.Weblogger:flush()

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(User)

method	UserEntrySet updateUsers(UserEntrySet)
pre	c != null
pre	c.entries != null
pre	init'ed(this.urlPrefix)
pre	(soft) this.roller != null
presumption	getEntries(...).length@174 <= 2³²-1
presumption	getEntries(...).length@175 >= 1
presumption	getEntries(...).length@174 <= getEntries(...). length@175
presumption	java.util.List:toArray(...).length@180 <= 2³²-1
presumption	java.util.List:toArray(...)@180 != null
presumption	java.util.List:toArray(...)@72 != null
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(new UserEntrySet(toUserEntrySet#1). entries)
post	new UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on getRoller
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:toArray
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:flush
unanalyzed	call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setPassword
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEmailAddress
unanalyzed	call on java.util.Locale:toString
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setLocale
unanalyzed	call on java.util.TimeZone:getID
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:setEnabled
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:saveUser
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName

Prev Msg Next Msg

+

click for all messages in this file high

precondition failure org/apache/roller/weblogger/webservices/adminprotoc ol/RollerUserHandler.updateUserData: entry != null

Prev Msg Next Msg

method	void updateUserData(User, UserEntry)
pre	entry != null
pre	init'ed(entry.emailAddress)
pre	init'ed(entry.enabled)
pre	init'ed(entry.fullName)
pre	init'ed(entry.locale)
pre	init'ed(entry.password)
pre	init'ed(entry.screenName)
pre	init'ed(entry.timezone)
pre	this.roller != null
pre	(soft) ud != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@209 != null
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
test_vector	entry.emailAddress: Addr_Set{null}, Inverse{null}
test_vector	entry.enabled: Addr_Set{null}, Inverse{null}
test_vector	entry.fullName: Addr_Set{null}, Inverse{null}
test_vector	entry.locale: Addr_Set{null}, Inverse{null}
test_vector	entry.password: Addr_Set{null}, Inverse{null}
test_vector	entry.screenName: Addr_Set{null}, Inverse{null}
test_vector	entry.timezone: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setScreenName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setFullName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setPassword(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setLocale(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setTimeZone(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setEmailAddress(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setEnabled(Boolean)

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:saveUser(User)

info method not available -- call on void org.apache.roller.weblogger. business.Weblogger:flush()

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(User)

method	EntrySet deleteEntry()
pre	this.roller != null
pre	this.uri != null
pre	init'ed(this.uri.entryId)
pre	init'ed(this.urlPrefix)
pre	init'ed(this.userName)
presumption	java.lang.String:equals(...)@222 == 0
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@229 != null
presumption	org.apache.roller.weblogger.pojos.User:getUserName( ...)@222 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(new UserEntrySet(toUserEntrySet#1). entries)
post	new UserEntrySet(toUserEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:toArray
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName

info method not available -- call on String org.apache.roller.weblogger. pojos.User:getUserName()

info method not available -- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(User)

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on void org.apache.roller.weblogger. business.UserManager:removeUser(User)

info method not available -- call on void org.apache.roller.weblogger. business.Weblogger:flush()

method	UserEntry toUserEntry(User)
pre	init'ed(this.urlPrefix)
pre	ud != null
presumption	org.apache.roller.weblogger.pojos.User:getLocale(.. .)@253 == null
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntry(toUserEntry#1)
post	new Locale(LocaleString#1) num objects == 0
post	new Locale(LocaleString#2) num objects == 0
post	new Locale(LocaleString#3) num objects == 0
post	new UserEntry(toUserEntry#1) num objects == 1
post	init'ed(return_value.dateCreated)
post	init'ed(return_value.emailAddress)
post	init'ed(return_value.enabled)
post	init'ed(return_value.fullName)
post	return_value.href == &java.lang. StringBuilder:toString(...)
post	return_value.locale == null
post	init'ed(return_value.name)
post	init'ed(return_value.screenName)
post	init'ed(return_value.timezone)
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.TimeZone:getTimeZone

info method not available -- call on String org.apache.roller.weblogger. pojos.User:getUserName()

info method not available -- call on String org.apache.roller.weblogger. pojos.User:getScreenName()

info method not available -- call on String org.apache.roller.weblogger. pojos.User:getFullName()

info method not available -- call on String org.apache.roller.weblogger. pojos.User:getLocale()

info method not available -- call on String org.apache.roller.weblogger. pojos.User:getTimeZone()

info method not available -- call on String org.apache.roller.weblogger. pojos.User:getEmailAddress()

info method not available -- call on Date org.apache.roller.weblogger.pojos. User:getDateCreated()

info method not available -- call on Boolean org.apache.roller.weblogger. pojos.User:getEnabled()

method	UserEntrySet toUserEntrySet(User[])
pre	init'ed(this.urlPrefix)
pre	uds != null
pre	uds.length <= 2³²-1
pre	(soft) uds[...] != null
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new UserEntrySet(toUserEntrySe t#1)
post	new UserEntrySet(toUserEntrySet#1) num objects == 1
post	init'ed(return_value.entries)
post	return_value.href == &java.lang. StringBuilder:toString(...)
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on getUrlPrefix
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getScreenName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getFullName
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getLocale
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment in callee unused assignment to (new UserEntry(toUserEntry#1). timezone, new UserEntry(toUserEntry#1). emailAddress, new UserEntry(toUserEntry#1). dateCreated, new UserEntry(toUserEntry#1).enabled) in toUserEntry

Prev Msg Next Msg

method	User toUserData(UserEntry)
pre	ue != null
pre	init'ed(ue.dateCreated)
pre	init'ed(ue.emailAddress)
pre	init'ed(ue.enabled)
pre	init'ed(ue.fullName)
pre	init'ed(ue.locale)
pre	init'ed(ue.name)
pre	init'ed(ue.password)
pre	init'ed(ue.screenName)
pre	init'ed(ue.timezone)
post	return_value == &new User(toUserData#1)
post	new User(toUserData#1) num objects == 1
test_vector	ue.dateCreated: Addr_Set{null}, Inverse{null}
test_vector	ue.emailAddress: Addr_Set{null}, Inverse{null}
test_vector	ue.enabled: Addr_Set{null}, Inverse{null}
test_vector	ue.fullName: Addr_Set{null}, Inverse{null}
test_vector	ue.locale: Addr_Set{null}, Inverse{null}
test_vector	ue.password: Addr_Set{null}, Inverse{null}
test_vector	ue.screenName: Addr_Set{null}, Inverse{null}
test_vector	ue.timezone: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.roller.weblogger.pojos. User()

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setUserName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setScreenName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setFullName(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setPassword(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setEmailAddress(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setLocale(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setTimeZone(String)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setDateCreated(Date)

info method not available -- call on void org.apache.roller.weblogger.pojos. User:setEnabled(Boolean)

	info	method not available	-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
	info	method not available	-- call on List org.apache.roller.weblogger. business.UserManager:getUsers(Weblog, Boolean, Date, Date, int, int)