| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | entry != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@352 != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@359 != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@366 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogEntry:getAllTags( ...)@359 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@347 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@350 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogEntry:getComments (...)@366 != null | 2010-07-22 12:56:56 |
| + | post | new Hashtable(adaptBlogEntry#1) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | return_value == &new Hashtable(adaptBlogEntry#1 ) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable:put | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getAuthor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getBody | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getDate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getEmail | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getIpAddress | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getPermalink | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getWebsite | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@351: {1}, {0} | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@359: {1}, {0} | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@366: {1}, {0} | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | pre | postid != null | 2010-07-22 12:56:56 |
| + | pre | struct != null | 2010-07-22 12:56:56 |
| + | pre | this.authenticationManager != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@315 != null | 2010-07-22 12:56:56 |
| + | post | return_value == 1 | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable:get | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Vector:get | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Vector:size | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTags | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | pre | this.authenticationManager != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@171 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.Blog:getCategories(.. .)@168 != null | 2010-07-22 12:56:56 |
| + | post | new Hashtable(getCategories#2) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | return_value == &new Hashtable(getCategories#2) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@170: {1}, {0} | 2010-07-22 12:56:56 |
| + | test_vector | net.sourceforge.pebble.domain.Category:isRootCatego ry(...)@172: {1}, {0} | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | pre | postid != null | 2010-07-22 12:56:56 |
| + | pre | this.authenticationManager != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@237 != null | 2010-07-22 12:56:56 |
| + | post | new Hashtable(adaptBlogEntry#1) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | return_value == &new Hashtable(adaptBlogEntry#1 ) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on formatPostId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:lastIndexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:substring | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable:put | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Vector | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Vector:add | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAllTags | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAuthor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getComments | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getDate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getPermalink | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Category:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getAuthor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getBody | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getDate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getEmail | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getIpAddress | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getPermalink | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getWebsite | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | pre | this.authenticationManager != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@209 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.Blog:getRecentBlogEnt ries(...)@204 != null | 2010-07-22 12:56:56 |
| + | post | new Vector(getRecentPosts#2) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | return_value == &new Vector(getRecentPosts#2) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on formatPostId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable:put | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.List:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Set:iterator | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Vector | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Vector:add | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain.Blog:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAllTags | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getAuthor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBody | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getCategories | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getComments | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getDate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getPermalink | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getTitle | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Category:getId | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getAuthor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getBody | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getDate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getEmail | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getIpAddress | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getPermalink | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Comment:getWebsite | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@208: {1}, {0} | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | pre | struct != null | 2010-07-22 12:56:56 |
| + | pre | this.authenticationManager != null | 2010-07-22 12:56:56 |
| + | presumption | bytes.length@130 <= 18_889_465_931_478_580_854_783 | 2010-07-22 12:56:56 |
| + | presumption | java.util.Hashtable:get(...)@115 != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Hashtable:get(...)@130 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.FileManager:hasEnough Space(...)@132 == 1 | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.FileManager:saveFile( ...)@133 != null | 2010-07-22 12:56:56 |
| + | post | new Hashtable(newMediaObject#4) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | return_value == &new Hashtable(newMediaObject#4 ) | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56 |
| + | test_vector | java.lang.String:startsWith(...)@117: {0}, {1} | 2010-07-22 12:56:56 |
| + | test_vector | java.lang.String:startsWith(...)@120: {0}, {1} | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | pre | struct != null | 2010-07-22 12:56:56 |
| + | pre | this.authenticationManager != null | 2010-07-22 12:56:56 |
| + | post | return_value != null | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:valueOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Hashtable:get | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Vector:get | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.util.Vector:size | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. Blog:getCategory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:addCategory | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setAuthor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setBody | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTags | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogEntry:setTitle | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getBlog | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.domain. BlogManager:getInstance | 2010-07-22 12:56:56 |
| + | unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:isUserAuthorisedForBlogAsBlogContribu tor | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.AuthenticationManager:aut henticate | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContext:s etAuthentication | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.context.SecurityContextHo lder:getContext | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.acegisecurity.providers. UsernamePasswordAuthenticationToken | 2010-07-22 12:56:56 |
| + | unanalyzed | call on org.apache.xmlrpc.XmlRpcException | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Hashtable:containsKey(...)@274: {0}, {1} | 2010-07-22 12:56:56 |