| method | Hashtable newMediaObject(String, String, String, Hashtable) |
| pre | log != null |
| pre | struct != null |
| pre | this.authenticationManager != null |
| presumption | bytes.length@130 <= 18_889_465_931_478_580_854_783 |
| presumption | java.util.Hashtable:get(...)@115 != null |
| presumption | java.util.Hashtable:get(...)@130 != null |
| presumption | net.sourceforge.pebble.domain.FileManager:hasEnough Space(...)@132 == 1 |
| presumption | net.sourceforge.pebble.domain.FileManager:saveFile( ...)@133 != null |
| post | return_value == &new Hashtable(newMediaObject#4 ) |
| post | new Hashtable(newMediaObject#4) num objects == 1 |
| 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.lang.String:startsWith(...)@117: {0}, {1} |
| test_vector | java.lang.String:startsWith(...)@120: {0}, {1} |
| method | Hashtable getCategories(String, String, String) |
| pre | log != null |
| pre | this.authenticationManager != null |
| presumption | java.util.Iterator:next(...)@171 != null |
| presumption | net.sourceforge.pebble.domain.Blog:getCategories(.. .)@168 != null |
| post | return_value == &new Hashtable(getCategories#2) |
| post | new Hashtable(getCategories#2) num objects == 1 |
| 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(...)@170: {1}, {0} |
| test_vector | net.sourceforge.pebble.domain.Category:isRootCatego ry(...)@172: {1}, {0} |
| method | Vector getRecentPosts(String, String, String, int) |
| pre | log != null |
| pre | this.authenticationManager != null |
| presumption | java.util.Iterator:next(...)@209 != null |
| presumption | net.sourceforge.pebble.domain.Blog:getRecentBlogEnt ries(...)@204 != 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 net.sourceforge.pebble.domain. Comment:getBody |
| unanalyzed | call on java.util.Hashtable:put |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getAuthor |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getEmail |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getDate |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getPermalink |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getWebsite |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getIpAddress |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getPermalink |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody |
| 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.Blog:getId |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId |
| unanalyzed | call on formatPostId |
| unanalyzed | call on java.util.Vector |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on net.sourceforge.pebble.domain. Category:getId |
| unanalyzed | call on java.util.Vector:add |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAllTags |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getComments |
| 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 |
| test_vector | java.util.Iterator:hasNext(...)@208: {1}, {0} |
| method | Hashtable getPost(String, String, String) |
| pre | log != null |
| pre | postid != null |
| pre | this.authenticationManager != null |
| presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@237 != 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 net.sourceforge.pebble.domain. Comment:getBody |
| unanalyzed | call on java.util.Hashtable:put |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getAuthor |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getEmail |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getDate |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getPermalink |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getWebsite |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getIpAddress |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getPermalink |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody |
| 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.Blog:getId |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId |
| unanalyzed | call on formatPostId |
| unanalyzed | call on java.util.Vector |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on net.sourceforge.pebble.domain. Category:getId |
| unanalyzed | call on java.util.Vector:add |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAllTags |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getComments |
| 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 |
| unanalyzed | call on java.lang.String:valueOf |
| method | String newPost(String, String, String, Hashtable, bool) |
| pre | log != null |
| pre | struct != null |
| pre | this.authenticationManager != null |
| post | return_value != null |
| unanalyzed | call on java.util.Hashtable:get |
| 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.util.Vector:size |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog |
| unanalyzed | call on java.util.Vector:get |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTags |
| 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 |
| test_vector | java.util.Hashtable:containsKey(...)@274: {0}, {1} |
| method | bool editPost(String, String, String, Hashtable, bool) |
| pre | log != null |
| pre | postid != null |
| pre | struct != null |
| pre | this.authenticationManager != null |
| presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@315 != null |
| post | return_value == 1 |
| unanalyzed | call on java.util.Hashtable:get |
| 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.util.Vector:size |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog |
| unanalyzed | call on java.util.Vector:get |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory |
| unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTags |
| 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 |
| method | Hashtable adaptBlogEntry(BlogEntry) |
| pre | entry != null |
| presumption | java.util.Iterator:next(...)@352 != null |
| presumption | java.util.Iterator:next(...)@359 != null |
| presumption | java.util.Iterator:next(...)@366 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getAllTags( ...)@359 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@347 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@350 != null |
| presumption | net.sourceforge.pebble.domain.BlogEntry:getComments (...)@366 != null |
| post | return_value == &new Hashtable(adaptBlogEntry#1 ) |
| post | new Hashtable(adaptBlogEntry#1) num objects == 1 |
| unanalyzed | call on java.util.Hashtable |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getBody |
| unanalyzed | call on java.util.Hashtable:put |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getAuthor |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getEmail |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getDate |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getPermalink |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getWebsite |
| unanalyzed | call on net.sourceforge.pebble.domain. Comment:getIpAddress |
| unanalyzed | call on java.lang.String:valueOf |
| test_vector | java.util.Iterator:hasNext(...)@351: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@359: {1}, {0} |
| test_vector | java.util.Iterator:hasNext(...)@366: {1}, {0} |