| method | String render(WeblogEntry, String) |
| pre | (soft) entry != null |
| pre | (soft) mLogger != null |
| pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null |
| pre | (soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null |
| pre | (soft) str != null |
| presumption | bMgr.strategy != null |
| presumption | bMgr.strategy.emf != null |
| presumption | bMgr.strategy.threadLocalEntityManager != null |
| presumption | getWeblogger(...).bookmarkManager != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@77 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@75 != null |
| post | init'ed(java.lang.String:toString(...)._tainted) |
| post | return_value != null |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getBookmarks |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmark:getDescription |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmark:getUrl |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmark:getName |
| unanalyzed | call on java.util.regex.Pattern:compile |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.util.regex.Matcher:find |
| unanalyzed | call on java.util.regex.Matcher:group |
| unanalyzed | call on java.util.regex.Matcher:appendReplacement |
| unanalyzed | call on java.util.regex.Matcher:appendTail |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on java.lang.String:toString |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders |
| unanalyzed | call on java.util.Set:isEmpty |
| unanalyzed | call on lookInFolders |
| unanalyzed | call on getWeblogger |
| unanalyzed | call on java.lang.ThreadLocal:get |
| unanalyzed | call on javax.persistence.EntityManagerFactory:crea teEntityManager |
| unanalyzed | call on java.lang.ThreadLocal:set |
| unanalyzed | call on javax.persistence.EntityManager:getTransact ion |
| unanalyzed | call on javax.persistence.EntityTransaction:isActiv e |
| unanalyzed | call on javax.persistence.EntityTransaction:begin |
| unanalyzed | call on javax.persistence.EntityManager:createNamed Query |
| unanalyzed | call on javax.persistence.Query:setFlushMode |
| unanalyzed | call on javax.persistence.Query:setParameter |
| unanalyzed | call on javax.persistence.Query:getSingleResult |
| method | String lookInFolders(String, Collection) |
| pre | folders != null |
| pre | (soft) mLogger != null |
| pre | (soft) text != null |
| presumption | java.util.Iterator:next(...)@99 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@102 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@103 != null |
| post | init'ed(java.lang.String:toString(...)._tainted) |
| post | (soft) return_value != null |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getBookmarks |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmark:getDescription |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmark:getUrl |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmark:getName |
| unanalyzed | call on java.util.regex.Pattern:compile |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.util.regex.Matcher:find |
| unanalyzed | call on java.util.regex.Matcher:group |
| unanalyzed | call on java.util.regex.Matcher:appendReplacement |
| unanalyzed | call on java.util.regex.Matcher:appendTail |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on java.lang.String:toString |
| unanalyzed | call on java.util.Collection:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders |
| unanalyzed | call on java.util.Set:isEmpty |
| unanalyzed | call on lookInFolders |
| test_vector | java.util.Iterator:hasNext(...)@98: {0}, {1} |
| test_vector | java.util.Set:isEmpty(...)@102: {1}, {0} |
| method | String matchBookmarks(String, WeblogBookmarkFolder ) |
| pre | folder != null |
| pre | (soft) mLogger != null |
| pre | (soft) text != null |
| presumption | java.util.Iterator:next(...)@115 != null |
| presumption | java.util.regex.Pattern:compile(...)@130 != null |
| presumption | java.util.regex.Pattern:matcher(...)@130 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getBookmarks(...)@112 != null |
| post | init'ed(java.lang.String:toString(...)._tainted) |
| post | return_value == &java.lang.String:toString(... ) |
| test_vector | java.util.Iterator:hasNext(...)@114: {0}, {1} |
| test_vector | java.util.regex.Matcher:find(...)@133: {0}, {1} |
| test_vector | java.util.regex.Matcher:group(...)@134: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.regex.Matcher:group(...)@136: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.regex.Matcher:group(...)@139: Addr_Set{null}, Inverse{null} |
| test_vector | java.util.regex.Matcher:group(...)@142: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogBookmark:ge tDescription(...)@116: Inverse{null}, Addr_Set{null} |