Messages

Last Msg First Msg

method | net.sourceforge.pebble.webservice.BloggerAPIHandle r__static_init
post | init'ed(log)

method | void net.sourceforge.pebble.webservice. BloggerAPIHandler()

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

method | Hashtable getUserInfo(String, String, String)
pre | log != null
pre | this.authenticationManager != null
post | return_value == &new Hashtable(getUserInfo#2)
post | new Hashtable(getUserInfo#2) num objects == 1
unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken
unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor

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

method | Vector getUsersBlogs(String, String, String)
pre | log != null
pre | (soft) this.authenticationManager != null
presumption | java.util.Iterator:next(...)@106 != null
presumption | net.sourceforge.pebble.domain.BlogManager:getBlogs( ...)@103 != null
presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@103 != null
post | return_value == &new Vector(getUsersBlogs#2)
post | new Vector(getUsersBlogs#2) num objects == 1
unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken
unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor
test_vector | java.util.Iterator:hasNext(...)@106: {1}, {0}

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

| info | method not available | -- call on BlogManager net.sourceforge.pebble. domain.BlogManager:getInstance()
| info | method not available | -- call on Collection net.sourceforge.pebble. domain.BlogManager:getBlogs()

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getUrl()

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getId()

| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getName()

method | Vector getRecentPosts(String, String, String, String, int)
pre | log != null
pre | this.authenticationManager != null
presumption | java.util.Iterator:next(...)@150 != null
presumption | net.sourceforge.pebble.domain.Blog:getRecentBlogEnt ries(...)@145 != null
post | return_value == &new Vector(getRecentPosts#2)
post | new Vector(getRecentPosts#2) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed | call on java.util.Hashtable
unanalyzed | call on java.util.Hashtable:put
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getId
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. Category:getId
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getDate
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAuthor
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on formatPostId
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody
unanalyzed | call on org.apache.xmlrpc.XmlRpcException
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog
unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken
unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor
test_vector | java.util.Iterator:hasNext(...)@149: {1}, {0}

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

| info | method not available | -- call on List net.sourceforge.pebble.domain. Blog:getRecentBlogEntries(int)

method | Hashtable getPost(String, String, String, String)
pre | log != null
pre | postid != null
pre | this.authenticationManager != null
presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@180 != null
post | return_value == &new Hashtable(adaptBlogEntry#1 )
post | new Hashtable(adaptBlogEntry#1) num objects == 1
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed | call on java.util.Hashtable
unanalyzed | call on java.util.Hashtable:put
unanalyzed | call on net.sourceforge.pebble.domain.Blog:getId
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories
unanalyzed | call on java.util.Set:iterator
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on net.sourceforge.pebble.domain. Category:getId
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getDate
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAuthor
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId
unanalyzed | call on formatPostId
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody
unanalyzed | call on org.apache.xmlrpc.XmlRpcException
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog
unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken
unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

method | String newPost(String, String, String, String, String, bool)
pre | content != null
pre | log != null
pre | this.authenticationManager != null
post | return_value != null
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.lang.String:split
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory
unanalyzed | call on org.apache.xmlrpc.XmlRpcException
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog
unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken
unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor
unanalyzed | call on java.lang.String:valueOf

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry(Blog)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setPublished(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getId()

method | bool editPost(String, String, String, String, String, bool)
pre | content != null
pre | log != null
pre | postid != null
pre | this.authenticationManager != null
presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@257 != null
post | return_value == 1
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor
unanalyzed | call on java.lang.String:trim
unanalyzed | call on java.lang.String:equals
unanalyzed | call on java.lang.String:split
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog
unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory
unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory
unanalyzed | call on org.apache.xmlrpc.XmlRpcException
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog
unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken
unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setPublished(bool)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)

method | bool deletePost(String, String, String, String, bool)
pre | log != null
pre | postid != null
pre | this.authenticationManager != null
presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@298 != null
post | return_value == 1
unanalyzed | call on org.apache.xmlrpc.XmlRpcException
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog
unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken
unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService:removeBlogEntry(BlogEntry)

method | Hashtable adaptBlogEntry(BlogEntry)
pre | entry != null
presumption | java.util.Iterator:next(...)@324 != null
presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@332 != null
presumption | net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@322 != null
post | return_value == &new Hashtable(adaptBlogEntry#1 )
post | new Hashtable(adaptBlogEntry#1) num objects == 1
unanalyzed | call on java.lang.String:valueOf
test_vector | java.util.Iterator:hasNext(...)@323: {1}, {0}
test_vector | java.util.Iterator:hasNext(...)@326: {0}, {1}

| info | method not available | -- call on Set net.sourceforge.pebble.domain. BlogEntry:getCategories()

| info | method not available | -- call on String net.sourceforge.pebble.domain. Category:getId()

| info | method not available | -- call on Date net.sourceforge.pebble.domain. BlogEntry:getDate()

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getAuthor()

| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()
| info | method not available | -- call on String net.sourceforge.pebble.domain. Blog:getId()
| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getId()

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getTitle()

| info | method not available | -- call on String net.sourceforge.pebble.domain. BlogEntry:getBody()

method | void populateEntry(BlogEntry, String, String)
pre | content != null
pre | entry != null
presumption | categories.length@371 <= 232-1
presumption | categories[i]@371 != null
presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@373 != null
test_vector | java.lang.String:equals(...)@370: {1}, {0}
test_vector | java.lang.String:indexOf(...)@350: {-231. .-1}, {0..232-1}
test_vector | java.lang.String:indexOf(...)@358: {-231. .-1}, {0..232-1}
test_vector | net.sourceforge.pebble.domain.Blog:getCategory(... )@373: Addr_Set{null}, Inverse{null}

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setTitle(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setBody(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:setAuthor(String)

Prev Msg Next Msg

+ |
| warning
| test always goes same way | test predetermined because category != null

Prev Msg Next Msg

| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()
| info | method not available | -- call on Category net.sourceforge.pebble.domain. Blog:getCategory(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:addCategory(Category)

method | String getTemplate(String, String, String, String, String)

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires log != null
| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

Prev Msg Next Msg

| info | method not available | -- call on void org.apache.xmlrpc.XmlRpcException(i nt, String)

method | bool setTemplate(String, String, String, String, String, String)

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires log != null
| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

Prev Msg Next Msg

| info | method not available | -- call on void org.apache.xmlrpc.XmlRpcException(i nt, String)

method | bool addCategory(String, String, String, String, String)
pre | log != null
pre | postid != null
pre | this.authenticationManager != null
presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@454 != null
presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@451 != null
post | init'ed(return_value)
unanalyzed | call on org.apache.xmlrpc.XmlRpcException
unanalyzed | call on java.lang.String:lastIndexOf
unanalyzed | call on java.lang.String:substring
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance
unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog
unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken
unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate
unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext
unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor
test_vector | net.sourceforge.pebble.domain.Blog:getCategory(... )@454: Addr_Set{null}, Inverse{null}

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

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService()

| info | method not available | -- call on BlogEntry net.sourceforge.pebble.domain. BlogService:getBlogEntry(Blog, String)

| info | method not available | -- call on Blog net.sourceforge.pebble.domain. BlogEntry:getBlog()
| info | method not available | -- call on Category net.sourceforge.pebble.domain. Blog:getCategory(String)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogEntry:addCategory(Category)

| info | method not available | -- call on void net.sourceforge.pebble.domain. BlogService:putBlogEntry(BlogEntry)