| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | entry != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@324 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@332 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogEntry:getCategori es(...)@322 != 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 |
| + | test_vector | java.util.Iterator:hasNext(...)@323: {1}, {0} | 2010-07-22 12:56:56 |
| + | test_vector | java.util.Iterator:hasNext(...)@326: {0}, {1} | 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.BlogEntry:getBlog(... )@454 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogService:getBlogEn try(...)@451 != null | 2010-07-22 12:56:56 |
| + | post | init'ed(return_value) | 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 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 | net.sourceforge.pebble.domain.Blog:getCategory(... )@454: Addr_Set{null}, Inverse{null} | 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(...)@298 != 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 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 | content != null | 2010-07-22 12:56:56 |
| + | 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(...)@257 != null | 2010-07-22 12:56:56 |
| + | post | return_value == 1 | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:equals | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:indexOf | 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:length | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:split | 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:trim | 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: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 | 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(...)@180 != 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.Set:iterator | 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: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: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: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.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(...)@150 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.Blog:getRecentBlogEnt ries(...)@145 != 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.Set:iterator | 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: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: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: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.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(...)@149: {1}, {0} | 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 |
| + | post | new Hashtable(getUserInfo#2) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | return_value == &new Hashtable(getUserInfo#2) | 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 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) this.authenticationManager != null | 2010-07-22 12:56:56 |
| + | pre | log != null | 2010-07-22 12:56:56 |
| + | presumption | java.util.Iterator:next(...)@106 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogManager:getBlogs( ...)@103 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogManager:getInstan ce(...)@103 != null | 2010-07-22 12:56:56 |
| + | post | new Vector(getUsersBlogs#2) num objects == 1 | 2010-07-22 12:56:56 |
| + | post | return_value == &new Vector(getUsersBlogs#2) | 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 |
| + | test_vector | java.util.Iterator:hasNext(...)@106: {1}, {0} | 2010-07-22 12:56:56 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | content != null | 2010-07-22 12:56:56 |
| + | pre | log != 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:equals | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:indexOf | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:length | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:split | 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:trim | 2010-07-22 12:56:56 |
| + | unanalyzed | call on java.lang.String:valueOf | 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: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 | content != null | 2010-07-22 12:56:56 |
| + | pre | entry != null | 2010-07-22 12:56:56 |
| + | presumption | categories.length@371 <= 232-1 | 2010-07-22 12:56:56 |
| + | presumption | categories[i]@371 != null | 2010-07-22 12:56:56 |
| + | presumption | net.sourceforge.pebble.domain.BlogEntry:getBlog(... )@373 != null | 2010-07-22 12:56:56 |
| + | test_vector | java.lang.String:equals(...)@370: {1}, {0} | 2010-07-22 12:56:56 |
| + | test_vector | java.lang.String:indexOf(...)@350: {-231. .-1}, {0..232-1} | 2010-07-22 12:56:56 |
| + | test_vector | java.lang.String:indexOf(...)@358: {-231. .-1}, {0..232-1} | 2010-07-22 12:56:56 |
| + | test_vector | net.sourceforge.pebble.domain.Blog:getCategory(... )@373: Addr_Set{null}, Inverse{null} | 2010-07-22 12:56:56 |