Messages

Last Msg First Msg

method	org.apache.roller.weblogger.webservices. adminprotocol.RollerWeblogHandler__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@51 != null
post	init'ed(log)

info method not available -- call on LogFactory org.apache.commons.logging. LogFactory:getFactory()

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

method	void org.apache.roller.weblogger.webservices. adminprotocol.RollerWeblogHandler(HttpServletReques t)
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 WeblogEntrySet(getEntrySet #1)
post	new WeblogEntrySet(getEntrySet#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.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on setEntries
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.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.uri != null
pre	init'ed(this.uri.entryId)
pre	(soft) this.roller != null
pre	(soft) this.uri.type != null
pre	(soft) init'ed(this.urlPrefix)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value in Addr_Set{&new WeblogEntrySet(to WeblogEntrySet#1),&new WeblogEntrySet(toWeblogE ntrySet#1)}
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects <= 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#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 java.lang.Throwable:__curr_excep_obj
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 getUrlPrefix
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPermissions
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite
unanalyzed	call on toWeblogEntry
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUsers
unanalyzed	call on getWebsiteData
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
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 WeblogEntrySet(toWeblogEntrySet#1) num objects == undefined
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 0, if init'ed
post	new WeblogEntrySet(toWeblogEntrySet#1).entries == undefined
post	new WeblogEntrySet(toWeblogEntrySet#1).entries == null
post	new WeblogEntrySet(toWeblogEntrySet#1).href == new WeblogEntrySet(toWeblogEntrySet#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 WeblogEntrySet(toWeblogEntrySet#1) num objects == undefined
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 0, if init'ed
post	new WeblogEntrySet(toWeblogEntrySet#1).entries == undefined
post	new WeblogEntrySet(toWeblogEntrySet#1).entries == null
post	new WeblogEntrySet(toWeblogEntrySet#1).href == new WeblogEntrySet(toWeblogEntrySet#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	(soft) this.uri.type != null
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new WeblogEntrySet(toWeblogEnt rySet#1)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#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 java.lang.Throwable:__curr_excep_obj
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 toWeblogEntrySet
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on getUrlPrefix
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on getWebsiteData
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:removeWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle

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@107 <= 2³²-1
presumption	java.util.List:toArray(...)@107 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@103 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new WeblogEntrySet(toWeblogEnt rySet#1)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 getUrlPrefix
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPermissions
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogPermission:getWebsite
unanalyzed	call on toWeblogEntry
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
test_vector	org.apache.roller.weblogger.business. UserManager:getUsers(...)@103: 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 WeblogEntrySet(toWeblogEnt rySet#1)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 getUrlPrefix
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.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle

method	EntrySet postCollection(Reader)
pre	this.roller != null
pre	init'ed(this.urlPrefix)
pre	(soft) log != null
presumption	c.entries@125 != null
presumption	c.entries@126 != null
presumption	java.util.List:size(...)@82 != 0
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new WeblogEntrySet(toWeblogEnt rySet#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 == 0
post	init'ed(new UserEntrySet(getEntrySet#1*).entries)
post	init'ed(new UserEntrySet(getEntrySet#1*).href)
post	new WeblogEntrySet(getEntrySet#1*) num objects == 1
post	init'ed(new WeblogEntrySet(getEntrySet#1*). entries)
post	init'ed(new WeblogEntrySet(getEntrySet#1*).href)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#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. UserManager:getUserByUserName
unanalyzed	call on java.util.Locale:toString
unanalyzed	call on java.util.TimeZone:getID
unanalyzed	call on org.apache.roller.weblogger.pojos.Weblog
unanalyzed	call on java.util.Date
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getProperty
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:stringToStringArray
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setEditorPage
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:addWebsite
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 toWeblogEntrySet
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 getUrlPrefix
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.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
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	this.roller != null
pre	init'ed(this.urlPrefix)
presumption	c.entries@135 != null
presumption	c.entries@136 != 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 WeblogEntrySet(toWeblogEnt rySet#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 == 0
post	init'ed(new UserEntrySet(getEntrySet#1*).entries)
post	init'ed(new UserEntrySet(getEntrySet#1*).href)
post	new WeblogEntrySet(getEntrySet#1*) num objects == 1
post	init'ed(new WeblogEntrySet(getEntrySet#1*). entries)
post	init'ed(new WeblogEntrySet(getEntrySet#1*).href)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#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 java.util.Locale:toString
unanalyzed	call on java.util.TimeZone:getID
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setEnabled
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 toWeblogEntrySet
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 getUrlPrefix
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 getWebsiteData
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLocale
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setEmailAddress
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:saveWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
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:getWebsiteByHandle

method	EntrySet putEntry(Reader)
pre	this.roller != null
pre	this.uri != null
pre	init'ed(this.uri.entryId)
pre	init'ed(this.urlPrefix)
presumption	c.entries@145 != null
presumption	c.entries@146 != null
presumption	c.entries@149 != null
presumption	c.entries@153 != null
presumption	getEntries(...).length@149 <= 1
presumption	getEntries(...).length@153 >= 1
presumption	java.lang.String:equals(...)@154 == 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 WeblogEntrySet(toWeblogEnt rySet#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 == 0
post	init'ed(new UserEntrySet(getEntrySet#1*).entries)
post	init'ed(new UserEntrySet(getEntrySet#1*).href)
post	new WeblogEntrySet(getEntrySet#1*) num objects == 1
post	init'ed(new WeblogEntrySet(getEntrySet#1*). entries)
post	init'ed(new WeblogEntrySet(getEntrySet#1*).href)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#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 java.util.Locale:toString
unanalyzed	call on java.util.TimeZone:getID
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setEnabled
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 toWeblogEntrySet
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 getUrlPrefix
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 getWebsiteData
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLocale
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setEmailAddress
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:saveWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
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:getWebsiteByHandle

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 getHandle(...) != 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.handle) in setHandle

Prev Msg Next Msg

method	WeblogEntrySet createWeblogs(WeblogEntrySet)
pre	c != null
pre	c.entries != null
pre	this.roller != null
pre	init'ed(this.urlPrefix)
pre	(soft) log != null
presumption	defs.length@196 >= 1
presumption	getEntries(...).length@169 <= 2³²-1
presumption	getEntries(...).length@170 >= 1
presumption	getEntries(...).length@169 <= getEntries(...). length@170
presumption	java.util.List:toArray(...).length@208 <= 2³²-1
presumption	java.util.List:toArray(...)@208 != null
presumption	java.util.List:toArray(...)@72 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@165 != null
presumption	org.apache.roller.weblogger.util.Utilities:stringTo StringArray(...)@196 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new WeblogEntrySet(toWeblogEnt rySet#1)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:toArray
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 getUrlPrefix
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.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
test_vector	getEntries(...).length@169: {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 high

null dereference check fails here: requires entry != null

+

medium

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

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

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)

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

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because dateCreated != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because dateCreated != null

Prev Msg Next Msg

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because enabled != null

Prev Msg Next Msg

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

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getProperty(String)

info method not available -- call on String[] org.apache.roller.weblogger. util.Utilities:stringToStringArray(String, String)

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

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

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

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(Weblog)

method	WeblogEntrySet updateWeblogs(WeblogEntrySet)
pre	c != null
pre	c.entries != null
pre	this.roller != null
pre	init'ed(this.urlPrefix)
presumption	getEntries(...).length@222 <= 2³²-1
presumption	getEntries(...).length@223 >= 1
presumption	getEntries(...).length@222 <= getEntries(...). length@223
presumption	java.util.List:toArray(...).length@228 <= 2³²-1
presumption	java.util.List:toArray(...)@228 != 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 WeblogEntrySet(toWeblogEnt rySet#1)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#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 java.util.Locale:toString
unanalyzed	call on java.util.TimeZone:getID
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setEnabled
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on getUrlPrefix
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.pojos. Weblog:setName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setLocale
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:setEmailAddress
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:saveWebsite
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into mgr

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

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/RollerWeblogHandler.updateWebsiteData: entry != null

Prev Msg Next Msg

method	void updateWebsiteData(Weblog, WeblogEntry)
pre	entry != null
pre	init'ed(entry.description)
pre	init'ed(entry.emailAddress)
pre	init'ed(entry.enabled)
pre	init'ed(entry.locale)
pre	init'ed(entry.name)
pre	init'ed(entry.timezone)
pre	this.roller != null
pre	(soft) wd != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@252 != null
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
test_vector	entry.description: Addr_Set{null}, Inverse{null}
test_vector	entry.emailAddress: Addr_Set{null}, Inverse{null}
test_vector	entry.enabled: Addr_Set{null}, Inverse{null}
test_vector	entry.locale: Addr_Set{null}, Inverse{null}
test_vector	entry.name: 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. Weblog:setName(String)

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

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

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

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

info method not available -- call on void org.apache.roller.weblogger.pojos. Weblog: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:saveWebsite(Weblog)

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(Weblog)

method	EntrySet deleteEntry()
pre	this.roller != null
pre	this.uri != null
pre	init'ed(this.uri.entryId)
pre	init'ed(this.urlPrefix)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@265 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new WeblogEntrySet(toWeblogEnt rySet#1)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(new WeblogEntrySet(toWeblogEntrySet#1). entries)
post	new WeblogEntrySet(toWeblogEntrySet#1).href == &java.lang.StringBuilder:toString(...)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
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 getUrlPrefix
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.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle

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.util. cache.CacheManager:invalidate(Weblog)

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

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

method	WeblogEntry toWeblogEntry(Weblog)
pre	init'ed(this.urlPrefix)
pre	wd != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getCreator (...)@293 != null
presumption	org.apache.roller.weblogger.pojos.Weblog:getLocale( ...)@291 == null
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.net.URL:toString(...)._tainted == 0
post	return_value == &new WeblogEntry(toWeblogEntry# 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 WeblogEntry(toWeblogEntry#1) num objects == 1
post	new WeblogEntry(toWeblogEntry#1).appEntriesUrl == &java.net.URL:toString(...)
post	new WeblogEntry(toWeblogEntry#1).appResourcesUrl == &java.net.URL:toString(...)
post	init'ed(new WeblogEntry(toWeblogEntry#1). creatingUser)
post	init'ed(new WeblogEntry(toWeblogEntry#1). dateCreated)
post	init'ed(new WeblogEntry(toWeblogEntry#1). description)
post	init'ed(new WeblogEntry(toWeblogEntry#1). emailAddress)
post	init'ed(new WeblogEntry(toWeblogEntry#1).enabled)
post	init'ed(new WeblogEntry(toWeblogEntry#1).handle)
post	new WeblogEntry(toWeblogEntry#1).href == &java.lang.StringBuilder:toString(...)
post	new WeblogEntry(toWeblogEntry#1).locale == null
post	init'ed(new WeblogEntry(toWeblogEntry#1).name)
post	init'ed(new WeblogEntry(toWeblogEntry#1).timezone)
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
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 java.net.URL

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

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

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

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

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

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

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.Weblog:getEmailAddress()

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

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

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getAbsoluteContextURL ()

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

method	WeblogEntrySet toWeblogEntrySet(User[])
pre	init'ed(this.urlPrefix)
pre	uds != null
pre	uds.length <= 2³²-1
pre	(soft) uds[...] != null
presumption	java.util.Iterator:next(...)@320 != null
presumption	org.apache.roller.weblogger.pojos.User:getPermissio ns(...)@318 != null
presumption	org.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@321 != null
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new WeblogEntrySet(toWeblogEnt rySet#1)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(return_value.entries)
post	return_value.href == &java.lang. StringBuilder:toString(...)
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 getUrlPrefix
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.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString
test_vector	java.util.Iterator:hasNext(...)@319: {0}, {1}

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

info method not available -- call on Weblog org.apache.roller.weblogger. pojos.WeblogPermission:getWebsite()

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment in callee unused assignment to (new WeblogEntry(toWeblogEntry #1).timezone, new WeblogEntry(toWeblogEntry#1). creatingUser, new WeblogEntry(toWeblogEntry#1). emailAddress, new WeblogEntry(toWeblogEntry#1). dateCreated, new WeblogEntry(toWeblogEntry#1). enabled, ...

Prev Msg Next Msg

method	WeblogEntrySet toWeblogEntrySet(Weblog[])
pre	init'ed(this.urlPrefix)
pre	wds != null
pre	wds.length <= 2³²-1
pre	(soft) wds[...] != null
post	java.lang.StringBuilder:toString(...)._tainted == this.urlPrefix._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &new WeblogEntrySet(toWeblogEnt rySet#1)
post	new WeblogEntrySet(toWeblogEntrySet#1) num objects == 1
post	init'ed(return_value.entries)
post	return_value.href == &java.lang. StringBuilder:toString(...)
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 getUrlPrefix
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.pojos. Weblog:getHandle
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDescription
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog: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. Weblog:getTimeZone
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getCreator
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEmailAddress
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getDateCreated
unanalyzed	call on org.apache.roller.weblogger.pojos. Weblog:getEnabled
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:toString

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

	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)

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