| method | bool deletePost(String, String, String, String, bool) |
| pre | mLogger != null |
| pre | (soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null |
| pre | (soft) password != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@88 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@87 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@94 != null |
| post | init'ed(return_value) |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi |
| unanalyzed | call on org.apache.xmlrpc.XmlRpcException |
| test_vector | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry(...)@89: Inverse{null}, Addr_Set{null} |
| method | bool setTemplate(String, String, String, String, String, String) |
| pre | mLogger != null |
| pre | templateType != null |
| pre | (soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null |
| pre | (soft) password != null |
| presumption | java.lang.String:equals(...)@139 == 1 |
| presumption | org.apache.roller.weblogger.business. UserManager:getPage(...)@148 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@146 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@145 != null |
| post | return_value == 1 |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi |
| unanalyzed | call on org.apache.xmlrpc.XmlRpcException |
| method | String getTemplate(String, String, String, String, String) |
| pre | mLogger != null |
| pre | (soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null |
| pre | (soft) password != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getPage(...)@188 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@187 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@186 != null |
| post | init'ed(return_value) |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi |
| unanalyzed | call on org.apache.xmlrpc.XmlRpcException |
| method | Object getUserInfo(String, String, String) |
| pre | mLogger != null |
| pre | (soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@224 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@223 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@222 != null |
| post | return_value == &new Hashtable(getUserInfo#6) |
| post | new Hashtable(getUserInfo#6) num objects == 1 |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| test_vector | java.lang.String:equals(...)@235: {1}, {0} |
| test_vector | java.util.StringTokenizer:hasMoreTokens(...)@230: {0}, {1} |
| test_vector | java.util.StringTokenizer:hasMoreTokens(...)@234: {0}, {1} |
| method | Object getUsersBlogs(String, String, String) |
| pre | mLogger != null |
| pre | (soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null |
| presumption | java.lang.Boolean.TRUE != null |
| presumption | java.util.Iterator:next(...)@287 != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getWebsites(...)@284 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@280 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@280 != null |
| post | return_value == &new Vector(getUsersBlogs#3) |
| post | new Vector(getUsersBlogs#3) num objects == 1 |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| test_vector | java.lang.Boolean:equals(...)@290: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@286: {1}, {0} |
| method | bool editPost(String, String, String, String, String, bool) |
| pre | mLogger != null |
| pre | (soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null |
| presumption | java.lang.Boolean:valueOf(...)@340 != null |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntry(...)@337 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@336 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@335 != null |
| post | return_value == 1 |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate |
| test_vector | java.lang.Boolean:booleanValue(...)@340: {0}, {1} |
| method | String newPost(String, String, String, String, String, bool) |
| pre | content != null |
| pre | mLogger != null |
| pre | (soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null |
| pre | (soft) password != null |
| presumption | java.lang.Boolean:valueOf(...)@419 != null |
| presumption | java.lang.String:indexOf(...)@393 <= 232-8 |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@414 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@404 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@403 != null |
| post | init'ed(return_value) |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:invalidate |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi |
| unanalyzed | call on org.apache.xmlrpc.XmlRpcException |
| test_vector | java.lang.Boolean:booleanValue(...)@419: {0}, {1} |
| test_vector | java.lang.String:indexOf(...)@392: {-1}, {-231..-2, 0..232-1} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@398: {0}, {1} |
| method | Object getRecentPosts(String, String, String, String, int) |
| pre | mLogger != null |
| pre | (soft) org/apache/roller/weblogger/webservices/xmlr pc/BaseAPIHandler.mLogger != null |
| pre | (soft) password != null |
| presumption | java.util.ArrayList:iterator(...)@483 != null |
| presumption | java.util.Iterator:next(...)@482 != null |
| presumption | java.util.Iterator:next(...)@485 != null |
| presumption | java.util.Map:values(...)@480 != null |
| presumption | org.apache.roller.weblogger.business. WeblogManager:getWeblogEntryObjectMap(...)@472 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@470 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@469 != null |
| post | return_value == &new Vector(getRecentPosts#5) |
| post | new Vector(getRecentPosts#5) num objects == 1 |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUserManager |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getUserByUserName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEnabled |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.lang.String:equalsIgnoreCase |
| unanalyzed | call on org.apache.roller.weblogger.util. Utilities:encodePassword |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getPassword |
| unanalyzed | call on java.lang.String:equals |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnabled |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEnableBloggerApi |
| unanalyzed | call on org.apache.xmlrpc.XmlRpcException |
| test_vector | java.util.Iterator:hasNext(...)@481: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@484: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:getPu bTime(...)@487: Addr_Set{null}, Inverse{null} |