Last Msg First Msg
























method org.apache.roller.weblogger.webservices. atomprotocol.RollerAtomHandler$1__static_init










method org.apache.roller.weblogger.webservices. atomprotocol.RollerAtomHandler__static_init
presumptionorg.apache.commons.logging.LogFactory:getFactory(.. .)@122 != null
postinit'ed(log)
postinit'ed(throttle)









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










  infomethod not available-- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)











method void org.apache.roller.weblogger.webservices. atomprotocol.RollerAtomHandler(HttpServletRequest)
pre(soft) log != null
pre(soft) request != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@151 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@145 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@138 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@151 != null
postinit'ed(this.atomURL)
postthis.maxEntries == 20
post(soft) this.roller != null
postinit'ed(this.user)
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on java.lang.String:indexOf
unanalyzedcall on java.lang.String:equals
unanalyzedcall on javax.servlet.http.HttpServletRequest:getHe ader
unanalyzedcall on java.util.StringTokenizer
unanalyzedcall on java.util.StringTokenizer:hasMoreTokens
unanalyzedcall on java.util.StringTokenizer:nextToken
unanalyzedcall on java.lang.String:equalsIgnoreCase
unanalyzedcall on java.lang.String:getBytes
unanalyzedcall on org.apache.commons.codec.binary. Base64:decodeBase64
unanalyzedcall on java.lang.String
unanalyzedcall on java.lang.String:substring
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzedcall on java.lang.Boolean:booleanValue
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzedcall on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzedcall on org.apache.commons.logging.Log:debug









  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
  infomethod not available-- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object, Throwable)










  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()
  infomethod not available-- call on String org.apache.roller.weblogger. business.URLStrategy:getAtomProtocolURL(bool)











method String getAuthenticatedUsername()
preinit'ed(this.user)
postinit'ed(return_value)
test_vectorthis.user: Addr_Set{null}, Inverse{null}









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











method AtomService getIntrospection()
prelog != null
prethis.roller != null
preinit'ed(this.user)
presumptiondirs.length@239 <= 232-1
presumptionjava.lang.Boolean.TRUE != null
presumptionjava.util.Iterator:next(...)@188 != null
presumptionjava.util.Iterator:next(...)@211 != null
presumptionorg.apache.roller.weblogger.business. FileManager:getDirectories(...)@239 != null
presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogCategories(...)@209 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@239 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@176 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@209 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tPath(...)@213 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@191 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@194 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogPermission: getWebsite(...)@199 != null
postreturn_value == &new AtomService(getIntrospecti on#1)
postnew ArrayList(AtomService#1) num objects == 1
postnew AtomService(getIntrospection#1) num objects == 1
postnew AtomService(getIntrospection#1).workspaces == &new ArrayList(AtomService#1)
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogURL
unanalyzedcall on java.util.ArrayList
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getPropertiesManager
unanalyzedcall on org.apache.roller.weblogger.business. PropertiesManager:getProperties
unanalyzedcall on java.util.Map:get
unanalyzedcall on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzedcall on org.apache.commons.lang.StringUtils:deleteW hitespace
unanalyzedcall on org.apache.commons.lang.StringUtils:split
unanalyzedcall on java.lang.String:indexOf
unanalyzedcall on java.util.List:add
unanalyzedcall on java.lang.Exception
test_vectorjava.lang.Boolean:equals(...)@191: {1}, {0}
test_vectorjava.util.Iterator:hasNext(...)@187: {0}, {1}
test_vectorjava.util.Iterator:hasNext(...)@210: {0}, {1}
test_vectororg.apache.roller.weblogger.business. UserManager:getAllPermissions(...)@176: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
  infomethod not available-- call on List org.apache.roller.weblogger. business.UserManager:getAllPermissions(User)










Prev Msg Next Msg
+
warning
unused assignmentunused assignment into uploadAccepts
Prev Msg Next Msg










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogPermission:getWebsite()
  infomethod not available-- call on Boolean org.apache.roller.weblogger. pojos.Weblog:getEnableBloggerApi()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogPermission:getWebsite()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()
  infomethod not available-- call on String org.apache.roller.weblogger.util. Utilities:removeHTML(String)










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogPermission:getWebsite()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()










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










  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogPermission:getWebsite()
  infomethod not available-- call on List org.apache.roller.weblogger. business.WeblogManager:getWeblogCategories(Weblog, bool)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Category()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Category:setTerm(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getName()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Category:setLabel(String)










  infomethod not available-- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogPermission:getWebsite()
  infomethod not available-- call on ThemeResource[] org.apache.roller. weblogger.business.FileManager:getDirectories(Weblo g)










Prev Msg Next Msg
+
medium
null dereferencecheck might fail: requires not_init'ed(dirs[i])
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.ThemeResource:getPath()
Prev Msg Next Msg










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method List getAcceptedContentTypeRange()
presumptionjava.util.Map:get(...)@267 != null
presumptionorg.apache.commons.lang.StringUtils:split(...)@268 != null
presumptionorg.apache.roller.weblogger.business. PropertiesManager:getProperties(...)@266 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getPropertiesManager(...)@266 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@265 != null
presumptionrules.length@268 <= 232-1
postreturn_value == &new ArrayList(getAcceptedConte ntTypeRange#1)
postnew ArrayList(getAcceptedContentTypeRange#1) num objects == 1









  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()










  infomethod not available-- call on PropertiesManager org.apache.roller. weblogger.business.Weblogger:getPropertiesManager()
  infomethod not available-- call on Map org.apache.roller.weblogger. business.PropertiesManager:getProperties()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.RuntimeConfigProperty:getValue()










  infomethod not available-- call on String org.apache.commons.lang. StringUtils:deleteWhitespace(String)
  infomethod not available-- call on String[] org.apache.commons.lang. StringUtils:split(String, String)










Prev Msg Next Msg
+
medium
null dereferencecheck might fail: requires not_init'ed(rules[i])
Prev Msg Next Msg











method Feed getCollection(String[])
prelog != null
prepathInfo[1] != null
prepathInfo != null
prethis.roller != null
pre(soft) pathInfo[2] != null
pre(soft) init'ed(pathInfo[...])
pre(soft) pathInfo.length in 2..232-1
pre(soft) init'ed(pathInfo[0])
pre(soft) this.maxEntries <= 232-2
pre(soft) init'ed(this.user)
presumptionjava.lang.String:equals(...)@291 == 1
postinit'ed(pathInfo[1])
postinit'ed(pathInfo[2])
post(soft) init'ed(pathInfo[...])
postreturn_value in Addr_Set{&new Feed(getCollectio nOfEntries#4),&new Feed(getCollectionOfResource s#5)}
postnew Feed(getCollectionOfEntries#4) num objects <= 1
postnew Feed(getCollectionOfResources#5) num objects <= 1
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogURL
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:equals
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzedcall on java.lang.String:substring
unanalyzedcall on org.apache.commons.logging.Log:debug
unanalyzedcall on java.lang.String:trim
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getFileManager
unanalyzedcall on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle
unanalyzedcall on org.apache.roller.weblogger.webservices. atomprotocol.AtomException
unanalyzedcall on java.lang.Exception
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzedcall on createAtomResourceEntry
unanalyzedcall on java.lang.Integer:parseInt
unanalyzedcall on org.apache.commons.logging.Log:warn
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogEntries
unanalyzedcall on com.sun.syndication.feed.atom.Feed
unanalyzedcall on com.sun.syndication.feed.atom.Feed:setId
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getName
unanalyzedcall on com.sun.syndication.feed.atom. Feed:setTitle
unanalyzedcall on com.sun.syndication.feed.atom.Link
unanalyzedcall on com.sun.syndication.feed.atom.Link:setHref
unanalyzedcall on com.sun.syndication.feed.atom.Link:setRel
unanalyzedcall on com.sun.syndication.feed.atom.Link:setType
unanalyzedcall on java.util.Collections:singletonList
unanalyzedcall on com.sun.syndication.feed.atom. Feed:setAlternateLinks
unanalyzedcall on java.util.List:iterator
unanalyzedcall on createAtomEntry
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getUpdated
unanalyzedcall on com.sun.syndication.feed.atom. Feed:setUpdated
unanalyzedcall on java.util.List:size
unanalyzedcall on com.sun.syndication.feed.atom. Feed:setOtherLinks
unanalyzedcall on com.sun.syndication.feed.atom. Feed:setEntries
unanalyzedcall on com.sun.syndication.feed.atom.Category
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzedcall on com.sun.syndication.feed.atom. Category:setTerm
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getPath
unanalyzedcall on org.apache.roller.weblogger.business. FileManager:getFiles
unanalyzedcall on java.util.TreeSet
unanalyzedcall on java.util.SortedSet:add
unanalyzedcall on java.util.SortedSet:size
unanalyzedcall on java.util.SortedSet:toArray
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogResourceURL
unanalyzedcall on javax.activation.FileTypeMap:getDefaultFile TypeMap
unanalyzedcall on javax.activation.MimetypesFileTypeMap:insta nceof
unanalyzedcall on javax.activation.MimetypesFileTypeMap:addMi meTypes
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getName
unanalyzedcall on javax.activation.FileTypeMap:getContentType
unanalyzedcall on com.sun.syndication.feed.atom.Entry
unanalyzedcall on com.sun.syndication.feed.atom.Entry:setId
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLastModified
unanalyzedcall on java.util.Date
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setUpdated
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setOtherLinks
unanalyzedcall on com.sun.syndication.feed.atom.Content
unanalyzedcall on com.sun.syndication.feed.atom. Content:setSrc
unanalyzedcall on com.sun.syndication.feed.atom. Content:setType
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setContents
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setModules
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPermaLink
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setPublished
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getUpdateTime
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getText
unanalyzedcall on com.sun.syndication.feed.atom. Content:setValue
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getSummary
unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setSummary
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCreator
unanalyzedcall on com.sun.syndication.feed.atom.Person
unanalyzedcall on com.sun.syndication.feed.atom. Person:setName
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzedcall on com.sun.syndication.feed.atom. Person:setEmail
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAuthors
unanalyzedcall on com.sun.syndication.feed.atom. Category:setScheme
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCategory
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTags
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTag:getName
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setCategories
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAlternateLinks
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
test_vectorjava.lang.String:equals(...)@289: {0}, {1}










method Feed getCollectionOfEntries(String[])
prelog != null
prepathInfo != null
prepathInfo.length >= 1
preinit'ed(pathInfo[0])
prethis.maxEntries <= 232-2
prethis.roller != null
pre(soft) pathInfo[2] != null
pre(soft) init'ed(this.user)
presumptionjava.util.Iterator:next(...)@350 != null
presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@315 != null
presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogEntries(...)@322 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@315 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@322 != null
postreturn_value == &new Feed(getCollectionOfEntrie s#4)
postnew Feed(getCollectionOfEntries#4) num objects == 1
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogURL
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.lang.String:substring
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzedcall on org.apache.roller.weblogger.webservices. atomprotocol.AtomException
unanalyzedcall on java.lang.Exception
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzedcall on com.sun.syndication.feed.atom.Link
unanalyzedcall on com.sun.syndication.feed.atom.Link:setHref
unanalyzedcall on com.sun.syndication.feed.atom.Link:setRel
unanalyzedcall on java.util.Collections:singletonList
unanalyzedcall on com.sun.syndication.feed.atom.Category
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzedcall on com.sun.syndication.feed.atom. Category:setTerm
unanalyzedcall on com.sun.syndication.feed.atom.Entry
unanalyzedcall on com.sun.syndication.feed.atom.Entry:setId
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setTitle
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setUpdated
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setOtherLinks
unanalyzedcall on com.sun.syndication.feed.atom.Content
unanalyzedcall on com.sun.syndication.feed.atom. Content:setType
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setContents
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setModules
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPermaLink
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setPublished
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getUpdateTime
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getText
unanalyzedcall on com.sun.syndication.feed.atom. Content:setValue
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getSummary
unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setSummary
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCreator
unanalyzedcall on com.sun.syndication.feed.atom.Person
unanalyzedcall on com.sun.syndication.feed.atom. Person:setName
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzedcall on com.sun.syndication.feed.atom. Person:setEmail
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAuthors
unanalyzedcall on com.sun.syndication.feed.atom. Category:setScheme
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCategory
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTags
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTag:getName
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setCategories
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAlternateLinks
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
test_vectorpathInfo.length: {1,2}, {3..+Inf}
test_vectorjava.util.Iterator:hasNext(...)@349: {0}, {1}
test_vectorjava.util.List:size(...)@377: {-231..0}, {1..232-1}









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on void org.apache.commons.logging. Log:warn(Object)










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










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canView(...) != 0
Prev Msg Next Msg










  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()
  infomethod not available-- call on List org.apache.roller.weblogger. business.WeblogManager:getWeblogEntries(Weblog, User, Date, Date, String, List, String, String, String, String, String, int, int)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setId(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setTitle(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setType(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setAlternateLinks(List)










  infomethod not available-- call on Date com.sun.syndication.feed.atom. Entry:getUpdated()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setUpdated(Date)










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










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










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










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setOtherLinks(List)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setEntries(List)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method Feed getCollectionOfResources(String[])
prelog != null
prerawPathInfo != null
preinit'ed(this.maxEntries)
prethis.roller != null
pre(soft) init'ed(rawPathInfo[...])
pre(soft) rawPathInfo.length in 1..232-1
pre(soft) init'ed(rawPathInfo[0])
pre(soft) init'ed(this.user)
presumptionfiles.length@434 <= 232-1
presumptioninit'ed(java.io.File.separator)
presumptionjava.lang.Integer:parseInt(...)@402 >= 0
presumptionjava.util.SortedSet:size(...)@451 >= 0
presumptionjava.util.SortedSet:toArray(...)@451 != null
presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@414 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@433 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@414 != null
post(soft) init'ed(rawPathInfo[...])
postreturn_value == &new Feed(getCollectionOfResour ces#5)
postnew Feed(getCollectionOfResources#5) num objects == 1
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzedcall on org.apache.roller.weblogger.webservices. atomprotocol.AtomException
unanalyzedcall on java.lang.Exception
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzedcall on com.sun.syndication.feed.atom.Link
unanalyzedcall on com.sun.syndication.feed.atom.Link:setHref
unanalyzedcall on com.sun.syndication.feed.atom.Link:setRel
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getUpdated
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getPath
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogResourceURL
unanalyzedcall on javax.activation.FileTypeMap:getDefaultFile TypeMap
unanalyzedcall on javax.activation.MimetypesFileTypeMap:insta nceof
unanalyzedcall on javax.activation.MimetypesFileTypeMap:addMi meTypes
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getName
unanalyzedcall on javax.activation.FileTypeMap:getContentType
unanalyzedcall on com.sun.syndication.feed.atom.Entry
unanalyzedcall on com.sun.syndication.feed.atom.Entry:setId
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLastModified
unanalyzedcall on java.util.Date
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setUpdated
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setOtherLinks
unanalyzedcall on com.sun.syndication.feed.atom.Content
unanalyzedcall on com.sun.syndication.feed.atom. Content:setSrc
unanalyzedcall on com.sun.syndication.feed.atom. Content:setType
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setContents
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setModules
test_vectorrawPathInfo.length: {1,2}, {3..232-1}
test_vectorjava.lang.String:equals(...)@410: {1}, {0}
test_vectororg.apache.roller.weblogger.business. FileManager:getFiles(...)@434: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










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










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










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canView(...) != 0
Prev Msg Next Msg










  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setId(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setTitle(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setType(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setAlternateLinks(List)










  infomethod not available-- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()










  infomethod not available-- call on ThemeResource[] org.apache.roller. weblogger.business.FileManager:getFiles(Weblog, String)











method void org.apache.roller.weblogger.webservices. atomprotocol.RollerAtomHandler$1(RollerAtomHandler)










method int compare(Object, Object)
preo1 != null
preo2 != null
postreturn_value in -1..1









  infomethod not available-- call on long org.apache.roller.weblogger.pojos. ThemeResource:getLastModified()










  infomethod not available-- call on long org.apache.roller.weblogger.pojos. ThemeResource:getLastModified()










Prev Msg Next Msg
+
low
overflowcheck might fail: requires i in -231-1.. 232-2
Prev Msg Next Msg










Prev Msg Next Msg
+
medium
precondition failureorg/apache/roller/weblogger/webservices/atomprotoco l/RollerAtomHandler.createAtomResourceEntry: file != null
Prev Msg Next Msg










  infomethod not available-- call on Date com.sun.syndication.feed.atom. Entry:getUpdated()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setUpdated(Date)










Prev Msg Next Msg
+
low
overflowcheck might fail: requires count in -231-1..232-2
Prev Msg Next Msg










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










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










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










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setOtherLinks(List)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Feed:setEntries(List)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method Entry postEntry(String[], Entry)
preentry != null
prelog != null
prepathInfo != null
prepathInfo.length >= 1
preinit'ed(pathInfo[0])
prethis.roller != null
preinit'ed(throttle)
pre(soft) init'ed(this.user)
presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@505 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@527 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@505 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@517 != null
postreturn_value == &new Entry(createAtomEntry#1)
postnew Entry(createAtomEntry#1) num objects == 1
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Thread:sleep
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogURL
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.lang.String:substring
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzedcall on org.apache.roller.weblogger.webservices. atomprotocol.AtomException
unanalyzedcall on java.lang.Exception
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzedcall on com.sun.syndication.feed.atom.Link
unanalyzedcall on com.sun.syndication.feed.atom.Link:setHref
unanalyzedcall on com.sun.syndication.feed.atom.Link:setRel
unanalyzedcall on java.util.Collections:singletonList
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getUpdated
unanalyzedcall on java.util.List:size
unanalyzedcall on com.sun.syndication.feed.atom.Category
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzedcall on com.sun.syndication.feed.atom. Category:setTerm
unanalyzedcall on com.sun.syndication.feed.atom.Entry
unanalyzedcall on com.sun.syndication.feed.atom.Entry:setId
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setTitle
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setUpdated
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setOtherLinks
unanalyzedcall on com.sun.syndication.feed.atom.Content
unanalyzedcall on com.sun.syndication.feed.atom. Content:setType
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setContents
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setModules
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPermaLink
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setPublished
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getUpdateTime
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getText
unanalyzedcall on com.sun.syndication.feed.atom. Content:setValue
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getSummary
unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setSummary
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCreator
unanalyzedcall on com.sun.syndication.feed.atom.Person
unanalyzedcall on com.sun.syndication.feed.atom. Person:setName
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzedcall on com.sun.syndication.feed.atom. Person:setEmail
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAuthors
unanalyzedcall on com.sun.syndication.feed.atom. Category:setScheme
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCategory
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTags
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTag:getName
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setCategories
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAlternateLinks
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzedcall on java.lang.System:currentTimeMillis
unanalyzedcall on java.sql.Timestamp
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getPublished
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setTitle
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getContents
unanalyzedcall on java.util.List:get
unanalyzedcall on com.sun.syndication.feed.atom. Content:getValue
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setText
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getSummary
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setSummary
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setUpdateTime
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getModule
unanalyzedcall on getDraft
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setStatus
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getCategories
unanalyzedcall on com.sun.syndication.feed.atom. Category:getScheme
unanalyzedcall on com.sun.syndication.feed.atom. Category:getTerm
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogCategoryByPath
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setCategory
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getBloggerCategory
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setTagsAsString
test_vectorthrottle: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@526: {0}, {1}









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canEdit(...) != 0
Prev Msg Next Msg










  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry()










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setWebsite(Weblog)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCreator(User)










  infomethod not available-- call on void org.apache.roller.weblogger. business.WeblogManager:saveWeblogEntry(WeblogEntry)










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










  infomethod not available-- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(Weblog)










  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:isPublished()










  infomethod not available-- call on IndexManager org.apache.roller. weblogger.business.Weblogger:getIndexManager()
  infomethod not available-- call on void org.apache.roller.weblogger. business.search.IndexManager:addEntryReIndexOperati on(WeblogEntry)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method Entry getEntry(String[])
prelog != null
prepathInfo != null
prepathInfo[1] != null
prethis.roller != null
pre(soft) pathInfo.length in 3..232-1
pre(soft) init'ed(pathInfo[0])
pre(soft) pathInfo[2] != null
pre(soft) pathInfo[...] != null
pre(soft) init'ed(this.user)
presumptionjava.lang.String:endsWith(...)@557 == 1
presumptionjava.lang.String:equals(...)@557 == 1
presumptionjava.lang.String:length(...)@559 - java.lang. String:length(...)@559 in -232+1.. 231
presumptionorg.apache.roller.weblogger.business. FileManager:getFile(...)@563 != null
presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@561 != null
presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogEntry(...)@547 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@563 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@561 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@547 != null
postreturn_value in Addr_Set{&new Entry(createAtomR esourceEntry#3),&new Entry(createAtomEntry#1)}
postnew Entry(createAtomEntry#1) num objects <= 1
postnew Entry(createAtomResourceEntry#3) num objects <= 1
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:hasWritePermissions
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogURL
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzedcall on com.sun.syndication.feed.atom.Link
unanalyzedcall on com.sun.syndication.feed.atom.Link:setHref
unanalyzedcall on com.sun.syndication.feed.atom.Link:setRel
unanalyzedcall on java.util.Collections:singletonList
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getUpdated
unanalyzedcall on com.sun.syndication.feed.atom.Category
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzedcall on com.sun.syndication.feed.atom. Category:setTerm
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getPath
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogResourceURL
unanalyzedcall on javax.activation.FileTypeMap:getDefaultFile TypeMap
unanalyzedcall on javax.activation.MimetypesFileTypeMap:insta nceof
unanalyzedcall on javax.activation.MimetypesFileTypeMap:addMi meTypes
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getName
unanalyzedcall on javax.activation.FileTypeMap:getContentType
unanalyzedcall on com.sun.syndication.feed.atom.Entry
unanalyzedcall on com.sun.syndication.feed.atom.Entry:setId
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLastModified
unanalyzedcall on java.util.Date
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setUpdated
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setOtherLinks
unanalyzedcall on com.sun.syndication.feed.atom.Content
unanalyzedcall on com.sun.syndication.feed.atom. Content:setSrc
unanalyzedcall on com.sun.syndication.feed.atom. Content:setType
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setContents
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setModules
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPermaLink
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setPublished
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getUpdateTime
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getText
unanalyzedcall on com.sun.syndication.feed.atom. Content:setValue
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getSummary
unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setSummary
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCreator
unanalyzedcall on com.sun.syndication.feed.atom.Person
unanalyzedcall on com.sun.syndication.feed.atom. Person:setName
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzedcall on com.sun.syndication.feed.atom. Person:setEmail
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAuthors
unanalyzedcall on com.sun.syndication.feed.atom. Category:setScheme
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCategory
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTags
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTag:getName
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setCategories
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAlternateLinks
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
test_vectorjava.lang.String:equals(...)@546: {0}, {1}









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()
  infomethod not available-- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntry(String)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canView(...) != 0
Prev Msg Next Msg










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










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)










  infomethod not available-- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()
  infomethod not available-- call on ThemeResource org.apache.roller. weblogger.business.FileManager:getFile(Weblog, String)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method AtomMediaResource getMediaResource(String[])
prelog != null
prepathInfo != null
prepathInfo.length in 2..232-1
preinit'ed(pathInfo[0])
prethis.roller != null
pre(soft) init'ed(pathInfo[...])
pre(soft) init'ed(this.user)
presumptionorg.apache.roller.weblogger.business. FileManager:getFile(...)@595 != null
presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@587 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@585 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@586 != null
postreturn_value == &new AtomMediaResource(getMedia Resource#3)
postnew AtomMediaResource(getMediaResource#3) num objects == 1
postinit'ed(new AtomMediaResource(getMediaResource#3). contentLength)
postinit'ed(new AtomMediaResource(getMediaResource#3). contentType)
postinit'ed(new AtomMediaResource(getMediaResource#3). inputStream)
postnew AtomMediaResource(getMediaResource#3). lastModified == &new Date(AtomMediaResource#1)
postnew Date(AtomMediaResource#1) num objects == 1
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzedcall on java.lang.String:length
unanalyzedcall on org.apache.roller.weblogger.webservices. atomprotocol.AtomException
unanalyzedcall on java.lang.Exception
unanalyzedcall on javax.activation.FileTypeMap:getDefaultFile TypeMap
unanalyzedcall on javax.activation.MimetypesFileTypeMap:insta nceof
unanalyzedcall on javax.activation.MimetypesFileTypeMap:addMi meTypes
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getName
unanalyzedcall on javax.activation.FileTypeMap:getContentType
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLength
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLastModified
unanalyzedcall on java.util.Date
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getInputStream









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()










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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canEdit(...) != 0
Prev Msg Next Msg










  infomethod not available-- call on ThemeResource org.apache.roller. weblogger.business.FileManager:getFile(Weblog, String)











method Entry putEntry(String[], Entry)
preentry != null
prelog != null
prepathInfo != null
prepathInfo.length == 3
preinit'ed(pathInfo[2])
prethis.roller != null
preinit'ed(throttle)
pre(soft) init'ed(this.user)
presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogEntry(...)@617 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@635 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@617 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@627 != null
postreturn_value == &new Entry(createAtomEntry#1)
postnew Entry(createAtomEntry#1) num objects == 1
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:hasWritePermissions
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Thread:sleep
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogURL
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.lang.String:substring
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getWeblogManager
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzedcall on com.sun.syndication.feed.atom.Link
unanalyzedcall on com.sun.syndication.feed.atom.Link:setHref
unanalyzedcall on com.sun.syndication.feed.atom.Link:setRel
unanalyzedcall on java.util.Collections:singletonList
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getUpdated
unanalyzedcall on java.util.List:size
unanalyzedcall on com.sun.syndication.feed.atom.Category
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogCategory:getPath
unanalyzedcall on com.sun.syndication.feed.atom. Category:setTerm
unanalyzedcall on com.sun.syndication.feed.atom.Entry
unanalyzedcall on com.sun.syndication.feed.atom.Entry:setId
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setTitle
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setUpdated
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setOtherLinks
unanalyzedcall on com.sun.syndication.feed.atom.Content
unanalyzedcall on com.sun.syndication.feed.atom. Content:setType
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setContents
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setModules
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPermaLink
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getPubTime
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setPublished
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getUpdateTime
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getText
unanalyzedcall on com.sun.syndication.feed.atom. Content:setValue
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getSummary
unanalyzedcall on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setSummary
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCreator
unanalyzedcall on com.sun.syndication.feed.atom.Person
unanalyzedcall on com.sun.syndication.feed.atom. Person:setName
unanalyzedcall on org.apache.roller.weblogger.pojos. User:getEmailAddress
unanalyzedcall on com.sun.syndication.feed.atom. Person:setEmail
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAuthors
unanalyzedcall on com.sun.syndication.feed.atom. Category:setScheme
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getCategory
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getTags
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntryTag:getName
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setCategories
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setAlternateLinks
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getId
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:getStatus
unanalyzedcall on java.lang.System:currentTimeMillis
unanalyzedcall on java.sql.Timestamp
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getPublished
unanalyzedcall on java.util.Date:getTime
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setTitle
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getContents
unanalyzedcall on java.util.List:get
unanalyzedcall on com.sun.syndication.feed.atom. Content:getValue
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setText
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getSummary
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setSummary
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setUpdateTime
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getModule
unanalyzedcall on getDraft
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setStatus
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getCategories
unanalyzedcall on com.sun.syndication.feed.atom. Category:getScheme
unanalyzedcall on com.sun.syndication.feed.atom. Category:getTerm
unanalyzedcall on org.apache.roller.weblogger.business. WeblogManager:getWeblogCategoryByPath
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setCategory
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getBloggerCategory
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:setTagsAsString
test_vectorthrottle: {0}, {1}
test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@634: {0}, {1}









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()
  infomethod not available-- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntry(String)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canEdit(...) != 0
Prev Msg Next Msg










  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setUpdateTime(Timestamp)










  infomethod not available-- call on void org.apache.roller.weblogger. business.WeblogManager:saveWeblogEntry(WeblogEntry)










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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
  infomethod not available-- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(Weblog)










  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:isPublished()










  infomethod not available-- call on IndexManager org.apache.roller. weblogger.business.Weblogger:getIndexManager()
  infomethod not available-- call on void org.apache.roller.weblogger. business.search.IndexManager:addEntryReIndexOperati on(WeblogEntry)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method void deleteEntry(String[])
prelog != null
prepathInfo != null
prepathInfo[1] != null
prethis.roller != null
pre(soft) pathInfo.length in 3..232-1
pre(soft) init'ed(pathInfo[0])
pre(soft) init'ed(pathInfo[2])
pre(soft) init'ed(pathInfo[...])
pre(soft) init'ed(this.user)
presumptionjava.lang.String:equals(...)@671 == 1
presumptionjava.lang.String:length(...)@680 - java.lang. String:length(...)@680 in -232+1.. 231
presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@673 != null
presumptionorg.apache.roller.weblogger.business. WeblogManager:getWeblogEntry(...)@658 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@681 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@673 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@658 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@663 != null
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:hasWritePermissions
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzedcall on java.lang.String:length
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getIndexManager
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:isPublished
unanalyzedcall on org.apache.roller.weblogger.business. search.IndexManager:addEntryReIndexOperation
unanalyzedcall on java.lang.Exception
test_vectorjava.lang.String:equals(...)@656: {0}, {1}









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()
  infomethod not available-- call on WeblogEntry org.apache.roller.weblogger. business.WeblogManager:getWeblogEntry(String)










  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
  infomethod not available-- call on void org.apache.roller.weblogger.util. cache.CacheManager:invalidate(Weblog)










  infomethod not available-- call on void org.apache.roller.weblogger. business.WeblogManager:removeWeblogEntry(WeblogEntr y)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getAnchor()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










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










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canEdit(...) != 0
Prev Msg Next Msg










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










  infomethod not available-- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()










  infomethod not available-- call on void org.apache.roller.weblogger. business.FileManager:deleteFile(Weblog, String)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canEdit(...) != 0
Prev Msg Next Msg











method Entry postMedia(String[], String, String, String, InputStream)
prelog != null
prepathInfo != null
prepathInfo.length in 2..232-1
preinit'ed(pathInfo[0])
prethis.roller != null
pre(soft) contentType != null
pre(soft) init'ed(pathInfo[...])
pre(soft) init'ed(this.user)
presumptioninit'ed(java.io.File.separator)
presumptionjava.io.File:createTempFile(...)@728 != null
presumptionorg.apache.roller.weblogger.business. FileManager:getFile(...)@741 != null
presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@719 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@717 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@718 != null
postreturn_value == &new Entry(createAtomResourceEn try#3)
postnew Entry(createAtomResourceEntry#3) num objects == 1
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:equals
unanalyzedcall on java.util.StringTokenizer
unanalyzedcall on java.util.StringTokenizer:hasMoreTokens
unanalyzedcall on java.util.StringTokenizer:nextToken
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:split
unanalyzedcall on java.lang.String:trim
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on java.lang.String:toLowerCase
unanalyzedcall on java.lang.String:endsWith
unanalyzedcall on java.text.SimpleDateFormat
unanalyzedcall on java.text.SimpleDateFormat:applyPattern
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzedcall on java.util.Date
unanalyzedcall on java.text.SimpleDateFormat:format
unanalyzedcall on org.apache.roller.weblogger.webservices. atomprotocol.AtomException
unanalyzedcall on java.lang.Exception
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzedcall on com.sun.syndication.feed.atom.Link
unanalyzedcall on com.sun.syndication.feed.atom.Link:setHref
unanalyzedcall on com.sun.syndication.feed.atom.Link:setRel
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getUpdated
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getPath
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogResourceURL
unanalyzedcall on javax.activation.FileTypeMap:getDefaultFile TypeMap
unanalyzedcall on javax.activation.MimetypesFileTypeMap:insta nceof
unanalyzedcall on javax.activation.MimetypesFileTypeMap:addMi meTypes
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getName
unanalyzedcall on javax.activation.FileTypeMap:getContentType
unanalyzedcall on com.sun.syndication.feed.atom.Entry
unanalyzedcall on com.sun.syndication.feed.atom.Entry:setId
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLastModified
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setUpdated
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setOtherLinks
unanalyzedcall on com.sun.syndication.feed.atom.Content
unanalyzedcall on com.sun.syndication.feed.atom. Content:setSrc
unanalyzedcall on com.sun.syndication.feed.atom. Content:setType
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setContents
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setModules
test_vectorjava.lang.String:length(...)@736: {0}, {1..232-1}









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()










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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canEdit(...) != 0
Prev Msg Next Msg










  infomethod not available-- call on String org.apache.roller.weblogger.util. Utilities:replaceNonAlphanumeric(String, char)










  infomethod not available-- call on void org.apache.roller.weblogger.util. Utilities:copyInputToOutput(InputStream, OutputStream)










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










  infomethod not available-- call on void org.apache.roller.weblogger. business.FileManager:saveFile(Weblog, String, String, long, InputStream)










  infomethod not available-- call on ThemeResource org.apache.roller. weblogger.business.FileManager:getFile(Weblog, String)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method String createFileName(Weblog, String, String)
pre(soft) contentType != null
pre(soft) weblog != null
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postjava.lang.StringBuilder:toString(...)._tainted == 0
postinit'ed(java.util.StringTokenizer:nextToken(...)._ tainted)
postreturn_value != null
test_vectorslug: Addr_Set{null}, Inverse{null}
test_vectorjava.lang.String:endsWith(...)@817: {1}, {0}
test_vectorjava.lang.String:equals(...)@806: {1}, {0}
test_vectorjava.util.StringTokenizer:hasMoreTokens(...)@811: {0}, {1}









Prev Msg Next Msg
+
high
array index out of boundscheck fails here: requires typeTokens.length >= 2
+
low
use of default initcheck might fail: requires init'ed(typeTokens. length)
Prev Msg Next Msg










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










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











method Entry putMedia(String[], String, InputStream)
prepathInfo != null
prepathInfo.length in 2..232-1
preinit'ed(pathInfo[0])
prethis.roller != null
pre(soft) log != null
pre(soft) init'ed(pathInfo[...])
pre(soft) init'ed(this.user)
presumptionjava.io.File:createTempFile(...)@853 != null
presumptionjava.util.UUID:randomUUID(...)@853 != null
presumptionorg.apache.roller.weblogger.business. FileManager:getFile(...)@862 != null
presumptionorg.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@846 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getFileManager(...)@844 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@845 != null
postreturn_value == &new Entry(createAtomResourceEn try#3)
postnew Entry(createAtomResourceEntry#3) num objects == 1
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on java.util.ArrayList
unanalyzedcall on java.util.List:add
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.lang.String:substring
unanalyzedcall on java.lang.String:startsWith
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:getHandle
unanalyzedcall on org.apache.roller.weblogger.webservices. atomprotocol.AtomException
unanalyzedcall on java.lang.Exception
unanalyzedcall on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzedcall on com.sun.syndication.feed.atom.Link
unanalyzedcall on com.sun.syndication.feed.atom.Link:setHref
unanalyzedcall on com.sun.syndication.feed.atom.Link:setRel
unanalyzedcall on com.sun.syndication.feed.atom. Entry:getUpdated
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getPath
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogResourceURL
unanalyzedcall on javax.activation.FileTypeMap:getDefaultFile TypeMap
unanalyzedcall on javax.activation.MimetypesFileTypeMap:insta nceof
unanalyzedcall on javax.activation.MimetypesFileTypeMap:addMi meTypes
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getName
unanalyzedcall on javax.activation.FileTypeMap:getContentType
unanalyzedcall on com.sun.syndication.feed.atom.Entry
unanalyzedcall on com.sun.syndication.feed.atom.Entry:setId
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setTitle
unanalyzedcall on org.apache.roller.weblogger.pojos. ThemeResource:getLastModified
unanalyzedcall on java.util.Date
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setUpdated
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setOtherLinks
unanalyzedcall on com.sun.syndication.feed.atom.Content
unanalyzedcall on com.sun.syndication.feed.atom. Content:setSrc
unanalyzedcall on com.sun.syndication.feed.atom. Content:setType
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setContents
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
unanalyzedcall on com.sun.syndication.feed.atom. Entry:setModules









  infomethod not available-- call on FileManager org.apache.roller.weblogger. business.Weblogger:getFileManager()










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










  infomethod not available-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String)










Prev Msg Next Msg
+
medium
conditional throwcheck might fail: requires canEdit(...) != 0
Prev Msg Next Msg










  infomethod not available-- call on void org.apache.roller.weblogger.util. Utilities:copyInputToOutput(InputStream, OutputStream)










  infomethod not available-- call on ThemeResource org.apache.roller. weblogger.business.FileManager:getFile(Weblog, String)










  infomethod not available-- call on void org.apache.roller.weblogger. business.FileManager:saveFile(Weblog, String, String, long, InputStream)










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method bool isIntrospectionURI(String[])
prepathInfo != null
postinit'ed(return_value)
test_vectorpathInfo.length: {1..+Inf}, {0}










method bool isEntryURI(String[])
prepathInfo != null
pre(soft) pathInfo.length <= 232
pre(soft) pathInfo[...] != null
pre(soft) pathInfo[1] != null
postinit'ed(return_value)
test_vectorpathInfo.length: {0..2}, {3..232}
test_vectorjava.lang.String:endsWith(...)@904: {0}, {1}
test_vectorjava.lang.String:equals(...)@903: {0}, {1}
test_vectorjava.lang.String:equals(...)@904: {0}, {1}










method bool isMediaEditURI(String[])
prepathInfo != null
pre(soft) pathInfo[1] != null
postinit'ed(return_value)
test_vectorpathInfo.length: {0,1}, {2..+Inf}
test_vectorjava.lang.String:equals(...)@912: {0}, {1}










method bool isCollectionURI(String[])
prepathInfo != null
pre(soft) pathInfo[1] != null
postinit'ed(return_value)
test_vectorpathInfo.length: {0,1}, {2..+Inf}
test_vectorjava.lang.String:equals(...)@920: {0}, {1}
test_vectorjava.lang.String:equals(...)@921: {0}, {1}
test_vectorjava.lang.String:equals(...)@922: {0}, {1}










method bool canEdit(WeblogEntry)
pre(soft) entry != null
pre(soft) log != null
pre(soft) init'ed(this.user)
postinit'ed(return_value)









  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:hasWritePermissions(User)










  infomethod not available-- call on void org.apache.commons.logging. Log:error(Object)











method bool canEdit(Weblog)
pre(soft) log != null
pre(soft) init'ed(this.user)
pre(soft) website != null
presumptioninit'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR)
postinit'ed(return_value)









  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions(User, short)










  infomethod not available-- call on void org.apache.commons.logging. Log:error(Object)











method bool canView(WeblogEntry)
pre(soft) entry != null
pre(soft) log != null
pre(soft) init'ed(this.user)
postinit'ed(return_value)
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogEntry:hasWritePermissions
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error










method bool canView(Weblog)
pre(soft) log != null
pre(soft) init'ed(this.user)
pre(soft) website != null
postinit'ed(return_value)
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:error
unanalyzedcall on org.apache.roller.weblogger.pojos. Weblog:hasUserPermissions










method String authenticateWSSE(HttpServletRequest)
prerequest != null
pre(soft) log != null
pre(soft) this.roller != null
presumptionorg.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@1001 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@1001 != null
presumptionorg.apache.roller.weblogger.pojos.User:getPassword( ...)@1002 != null
presumptionorg.apache.roller.weblogger.util.WSSEUtilities:gene rateDigest(...)@1002 != null
postreturn_value == null
test_vectorjava.lang.String:equals(...)@1006: {0}, {1}
test_vectorjavax.servlet.http.HttpServletRequest:getHeader(... )@973: Inverse{null}, Addr_Set{null}









Prev Msg Next Msg
+
low
use of default initcheck might fail: requires init'ed(tokens.length)
+
warning
test always goes same waytest predetermined because i == tokens.length
  infodead code continuesdead code continues
Prev Msg Next Msg










Prev Msg Next Msg
+
warning
dead codedead code here because i == tokens.length
Prev Msg Next Msg










  infodead code continuesdead code continues










  infodead code continuesdead code continues










  infodead code continuesdead code continues










  infodead code continuesdead code continues










  infodead code continuesdead code continues










  infodead code continuesdead code continues










  infodead code continuesdead code continues










  infodead code continuesdead code continues










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
  infomethod not available-- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String)










Prev Msg Next Msg
+
high
null dereferencecheck fails here: requires created != null
  infomethod not available-- call on byte[] org.apache.roller.weblogger.util. WSSEUtilities:base64Decode(String)
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.User:getPassword()
  infomethod not available-- call on String org.apache.roller.weblogger.util. WSSEUtilities:generateDigest(byte[], byte[], byte[])
Prev Msg Next Msg










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











method String authenticateBASIC(HttpServletRequest)
pre(soft) log != null
pre(soft) request != null
pre(soft) this.roller != null
presumptionjava.lang.String:indexOf(...)@1031 <= 232-2
presumptionorg.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@1034 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUserManager(...)@1034 != null
presumptionorg.apache.roller.weblogger.pojos.User:getEnabled(. ..)@1035 != null
presumptionorg.apache.roller.weblogger.pojos.User:getPassword( ...)@1045 != null
postjava.lang.String:substring(...)._tainted == 0
postreturn_value in Addr_Set{null,&java.lang. String:substring(...)}
test_vectorjava.lang.Boolean:booleanValue(...)@1035: {0}, {1}
test_vectorjava.lang.String:equalsIgnoreCase(...)@1028: {0}, {1}
test_vectorjava.lang.String:equalsIgnoreCase(...)@1041: {0}, {1}
test_vectorjava.lang.String:indexOf(...)@1031: {-1}, {-231..-2, 0..232-2}
test_vectorjava.util.StringTokenizer:hasMoreTokens(...)@1026: {0}, {1}
test_vectorjavax.servlet.http.HttpServletRequest:getHeader(... )@1023: Addr_Set{null}, Inverse{null}









  infomethod not available-- call on byte[] org.apache.commons.codec.binary. Base64:decodeBase64(byte[])










  infomethod not available-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
  infomethod not available-- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String)










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










  infomethod not available-- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)










  infomethod not available-- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)
  infomethod not available-- call on String org.apache.roller.weblogger.util. Utilities:encodePassword(String, String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.User:getPassword()










  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method Entry createAtomEntry(WeblogEntry)
preentry != null
presumptionjava.util.Iterator:next(...)@1104 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogCategory:ge tPath(...)@1099 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getCa tegory(...)@1099 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getCr eator(...)@1089 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getTa gs(...)@1103 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@1120 != null
postreturn_value == &new Entry(createAtomEntry#1)
postnew Entry(createAtomEntry#1) num objects == 1
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogURL
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
test_vectorjava.util.Iterator:hasNext(...)@1103: {0}, {1}
test_vectororg.apache.commons.lang.StringUtils:isNotEmpty(... )@1082: {0}, {1}









  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry()










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










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getPermaLink()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setId(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getTitle()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setTitle(String)










  infomethod not available-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getPubTime()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setPublished(Date)










  infomethod not available-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getUpdateTime()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setUpdated(Date)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Content()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Content:setType(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getText()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Content:setValue(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setContents(List)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getSummary()
  infomethod not available-- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Content()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Content:setType(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getSummary()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Content:setValue(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setSummary(Content)










  infomethod not available-- call on User org.apache.roller.weblogger.pojos. WeblogEntry:getCreator()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Person()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.User:getUserName()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Person:setName(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.User:getEmailAddress()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Person:setEmail(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setAuthors(List)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Category()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Category:setScheme(String)










  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.WeblogEntry:getCategory()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogCategory:getPath()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Category:setTerm(String)










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogEntry:getTags()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Category()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntryTag:getName()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Category:setTerm(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setCategories(List)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getPermaLink()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setAlternateLinks(List)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getHandle()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getId()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setOtherLinks(List)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogEntry:getStatus()










  infomethod not available-- call on Timestamp org.apache.roller.weblogger. pojos.WeblogEntry:getUpdateTime()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setModules(List)











method Entry createAtomResourceEntry(Weblog, ThemeResource)
prefile != null
prewebsite != null
presumptionjavax.activation.FileTypeMap:getDefaultFileTypeMap( ...)@1150 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@1147 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@1147 != null
presumptionorg.apache.roller.weblogger.pojos.ThemeResource:get Path(...)@1139 != null
postreturn_value == &new Entry(createAtomResourceEn try#3)
postnew Entry(createAtomResourceEntry#3) num objects == 1
unanalyzedcall on com.sun.syndication.feed.module.ModuleImpl
test_vectorjava.lang.String:startsWith(...)@1139: {0}, {1}









Prev Msg Next Msg
+
warning
unused assignmentunused assignment into absUrl
  infomethod not available-- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getAbsoluteContextURL ()
Prev Msg Next Msg










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.ThemeResource:getPath()










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










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










  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()










  infomethod not available-- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogResourceURL(Weblog, String, bool)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.ThemeResource:getName()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setId(String)










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.ThemeResource:getName()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setTitle(String)










  infomethod not available-- call on long org.apache.roller.weblogger.pojos. ThemeResource:getLastModified()
  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setUpdated(Date)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setOtherLinks(List)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setRel(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Link:setHref(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Content()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Content:setSrc(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Content:setType(String)










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setContents(List)










  infomethod not available-- call on Date com.sun.syndication.feed.atom. Entry:getUpdated()










  infomethod not available-- call on void com.sun.syndication.feed.atom. Entry:setModules(List)











method void copyToRollerEntry(Entry, WeblogEntry)
preentry != null
prerollerEntry != null
pre(soft) this.roller != null
presumptioncom.sun.syndication.feed.atom.Category:getScheme(.. .)@1234 != null
presumptioncom.sun.syndication.feed.atom.Entry:getContents(... )@1207 != null
presumptioncom.sun.syndication.feed.atom.Entry:getContents(... )@1208 != null
presumptioncom.sun.syndication.feed.atom.Entry:getPublished(.. .)@1201 != null
presumptioncom.sun.syndication.feed.atom.Entry:getSummary(... )@1212 != null
presumptioncom.sun.syndication.feed.atom.Entry:getUpdated(... )@1204 != null
presumptionjava.util.List:get(...)@1208 != null
presumptionjava.util.List:get(...)@1232 != null
presumptionjava.util.List:get(...)@1259 != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@1237 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@1251 != null
unanalyzedcall on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzedcall on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy
unanalyzedcall on org.apache.roller.weblogger.business. URLStrategy:getWeblogURL
test_vectorcom.sun.syndication.feed.atom.Category:getScheme(.. .)@1234: Addr_Set{null}, Inverse{null}
test_vectorcom.sun.syndication.feed.atom.Category:getScheme(.. .)@1260: Inverse{null}, Addr_Set{null}
test_vectorcom.sun.syndication.feed.atom.Category:getTerm(... )@1235: Addr_Set{null}, Inverse{null}
test_vectorcom.sun.syndication.feed.atom.Entry:getCategories(. ..)@1229: Addr_Set{null}, Inverse{null}
test_vectorcom.sun.syndication.feed.atom.Entry:getContents(... )@1207: Addr_Set{null}, Inverse{null}
test_vectorcom.sun.syndication.feed.atom.Entry:getModule(... )@1217: Addr_Set{null}, Inverse{null}
test_vectorcom.sun.syndication.feed.atom.Entry:getPublished(.. .)@1200: Addr_Set{null}, Inverse{null}
test_vectorcom.sun.syndication.feed.atom.Entry:getSummary(... )@1211: Addr_Set{null}, Inverse{null}
test_vectorcom.sun.syndication.feed.atom.Entry:getUpdated(... )@1203: Addr_Set{null}, Inverse{null}
test_vectorcontrol.draft@1217: {0}, {1}
test_vectorjava.lang.String:equals(...)@1234: {0}, {1}
test_vectorjava.util.List:size(...)@1207: {-231..0}, {1..232-1}
test_vectorjava.util.List:size(...)@1230: {-231..0}, {1..232-1}
test_vectorjava.util.List:size(...)@1257: {-231..0}, {1..232-1}
test_vectororg.apache.roller.weblogger.business. WeblogManager:getWeblogCategoryByPath(...)@1237: Addr_Set{null}, Inverse{null}
test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:getCa tegory(...)@1249: Inverse{null}, Addr_Set{null}









  infomethod not available-- call on Date com.sun.syndication.feed.atom. Entry:getPublished()










  infomethod not available-- call on Date com.sun.syndication.feed.atom. Entry:getPublished()










  infomethod not available-- call on Date com.sun.syndication.feed.atom. Entry:getUpdated()










  infomethod not available-- call on Date com.sun.syndication.feed.atom. Entry:getUpdated()










  infomethod not available-- call on String com.sun.syndication.feed.atom. Entry:getTitle()
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setTitle(String)










  infomethod not available-- call on List com.sun.syndication.feed.atom. Entry:getContents()










  infomethod not available-- call on List com.sun.syndication.feed.atom. Entry:getContents()










  infomethod not available-- call on String com.sun.syndication.feed.atom. Content:getValue()
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setText(String)










  infomethod not available-- call on Content com.sun.syndication.feed.atom. Entry:getSummary()










  infomethod not available-- call on Content com.sun.syndication.feed.atom. Entry:getSummary()
  infomethod not available-- call on String com.sun.syndication.feed.atom. Content:getValue()
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setSummary(String)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setPubTime(Timestamp)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setUpdateTime(Timestamp)










  infomethod not available-- call on Module com.sun.syndication.feed.atom. Entry:getModule(String)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setStatus(String)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setStatus(String)










  infomethod not available-- call on List com.sun.syndication.feed.atom. Entry:getCategories()










  infomethod not available-- call on String com.sun.syndication.feed.atom. Category:getScheme()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()










  infomethod not available-- call on String com.sun.syndication.feed.atom. Category:getTerm()










  infomethod not available-- call on WeblogManager org.apache.roller. weblogger.business.Weblogger:getWeblogManager()
  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.business.WeblogManager:getWeblogCategoryB yPath(Weblog, String)










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCategory(WeblogCategory)










  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.WeblogEntry:getCategory()










  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()
  infomethod not available-- call on WeblogCategory org.apache.roller. weblogger.pojos.Weblog:getBloggerCategory()
  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setCategory(WeblogCategory)










  infomethod not available-- call on String com.sun.syndication.feed.atom. Category:getScheme()










  infomethod not available-- call on String com.sun.syndication.feed.atom. Category:getTerm()










  infomethod not available-- call on void org.apache.roller.weblogger.pojos. WeblogEntry:setTagsAsString(String)











method String getWeblogCategoryScheme(Weblog)
presumptionorg.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@1269 != null
presumptionorg.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@1269 != null
postinit'ed(return_value)









  infomethod not available-- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()
  infomethod not available-- call on URLStrategy org.apache.roller.weblogger. business.Weblogger:getUrlStrategy()
  infomethod not available-- call on String org.apache.roller.weblogger. business.URLStrategy:getWeblogURL(Weblog, String, bool)











method String filePathFromPathInfo(String[])
prepathInfo != null
prepathInfo.length <= 232-1
pre(soft) init'ed(pathInfo[...])
presumptioninit'ed(java.io.File.separator)
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postinit'ed(return_value)
test_vectorpathInfo.length: {2}, {3..232-1}
test_vectorjava.lang.String:length(...)@1277: {0}, {1..232-1}










method void reindexEntry(WeblogEntry)
preentry != null
prethis.roller != null
presumptionorg.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@1289 != null
test_vectororg.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@1295: {0}, {1}









  infomethod not available-- call on IndexManager org.apache.roller. weblogger.business.Weblogger:getIndexManager()










  infomethod not available-- call on bool org.apache.roller.weblogger.pojos. WeblogEntry:isPublished()










  infomethod not available-- call on void org.apache.roller.weblogger. business.search.IndexManager:addEntryReIndexOperati on(WeblogEntry)











method void oneSecondThrottle()