Last Msg First Msg
























method org.apache.roller.weblogger.business.plugins. entry.BookmarkPlugin__static_init
postinit'ed(mLogger)









  infomethod not available-- call on Log org.apache.commons.logging. LogFactory:getLog(Class)











method void org.apache.roller.weblogger.business.plugins. entry.BookmarkPlugin()
premLogger != null
postthis.description == &"Automatically uses your Bookmarks to create links. Simply use the Nam ... rk and it will be converted into a hyperlink using the Bookmark's URL."
postthis.name == &"Bookmark Linker"









  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method String getName()
preinit'ed(this.name)
postreturn_value == this.name
postinit'ed(return_value)










method String getDescription()
preinit'ed(this.description)
postinit'ed(return_value)









  infomethod not available-- call on String org.apache.commons.lang. StringEscapeUtils:escapeJavaScript(String)











method void init(Weblog)










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
presumptionbMgr.strategy != null
presumptionbMgr.strategy.emf != null
presumptionbMgr.strategy.threadLocalEntityManager != null
presumptiongetWeblogger(...).bookmarkManager != null
presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@77 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@75 != null
postinit'ed(java.lang.String:toString(...)._tainted)
postreturn_value != null
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getBookmarks
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getDescription
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getUrl
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getName
unanalyzedcall on java.util.regex.Pattern:compile
unanalyzedcall on java.util.regex.Pattern:matcher
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.util.regex.Matcher:find
unanalyzedcall on java.util.regex.Matcher:group
unanalyzedcall on java.util.regex.Matcher:appendReplacement
unanalyzedcall on java.util.regex.Matcher:appendTail
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:warn
unanalyzedcall on java.lang.String:toString
unanalyzedcall on java.util.Collection:iterator
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders
unanalyzedcall on java.util.Set:isEmpty
unanalyzedcall on lookInFolders
unanalyzedcall on getWeblogger
unanalyzedcall on java.lang.ThreadLocal:get
unanalyzedcall on javax.persistence.EntityManagerFactory:crea teEntityManager
unanalyzedcall on java.lang.ThreadLocal:set
unanalyzedcall on javax.persistence.EntityManager:getTransact ion
unanalyzedcall on javax.persistence.EntityTransaction:isActiv e
unanalyzedcall on javax.persistence.EntityTransaction:begin
unanalyzedcall on javax.persistence.EntityManager:createNamed Query
unanalyzedcall on javax.persistence.Query:setFlushMode
unanalyzedcall on javax.persistence.Query:setParameter
unanalyzedcall on javax.persistence.Query:getSingleResult









  infomethod not available-- call on Weblog org.apache.roller.weblogger. pojos.WeblogEntry:getWebsite()










Prev Msg Next Msg
+
medium
precondition failureorg/apache/roller/weblogger/business/plugins/entry/ BookmarkPlugin.matchBookmarks: folder != null
Prev Msg Next Msg










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders()










  infomethod not available-- call on void org.apache.commons.logging. Log:warn(Object)











method String lookInFolders(String, Collection)
prefolders != null
pre(soft) mLogger != null
pre(soft) text != null
presumptionjava.util.Iterator:next(...)@99 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@102 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getFolders(...)@103 != null
postinit'ed(java.lang.String:toString(...)._tainted)
post(soft) return_value != null
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getBookmarks
unanalyzedcall on java.util.Set:iterator
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getDescription
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getUrl
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmark:getName
unanalyzedcall on java.util.regex.Pattern:compile
unanalyzedcall on java.util.regex.Pattern:matcher
unanalyzedcall on java.lang.String:length
unanalyzedcall on java.util.regex.Matcher:find
unanalyzedcall on java.util.regex.Matcher:group
unanalyzedcall on java.util.regex.Matcher:appendReplacement
unanalyzedcall on java.util.regex.Matcher:appendTail
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:warn
unanalyzedcall on java.lang.String:toString
unanalyzedcall on java.util.Collection:iterator
unanalyzedcall on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders
unanalyzedcall on java.util.Set:isEmpty
unanalyzedcall on lookInFolders
test_vectorjava.util.Iterator:hasNext(...)@98: {0}, {1}
test_vectorjava.util.Set:isEmpty(...)@102: {1}, {0}









  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders()










  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getFolders()











method String matchBookmarks(String, WeblogBookmarkFolder )
prefolder != null
pre(soft) mLogger != null
pre(soft) text != null
presumptionjava.util.Iterator:next(...)@115 != null
presumptionjava.util.regex.Pattern:compile(...)@130 != null
presumptionjava.util.regex.Pattern:matcher(...)@130 != null
presumptionorg.apache.roller.weblogger.pojos.WeblogBookmarkFol der:getBookmarks(...)@112 != null
postinit'ed(java.lang.String:toString(...)._tainted)
postreturn_value == &java.lang.String:toString(... )
test_vectorjava.util.Iterator:hasNext(...)@114: {0}, {1}
test_vectorjava.util.regex.Matcher:find(...)@133: {0}, {1}
test_vectorjava.util.regex.Matcher:group(...)@134: Addr_Set{null}, Inverse{null}
test_vectorjava.util.regex.Matcher:group(...)@136: Addr_Set{null}, Inverse{null}
test_vectorjava.util.regex.Matcher:group(...)@139: Addr_Set{null}, Inverse{null}
test_vectorjava.util.regex.Matcher:group(...)@142: Addr_Set{null}, Inverse{null}
test_vectororg.apache.roller.weblogger.pojos.WeblogBookmark:ge tDescription(...)@116: Inverse{null}, Addr_Set{null}









  infomethod not available-- call on Set org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getBookmarks()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogBookmark:getDescription()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogBookmark:getUrl()
  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogBookmark:getName()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogBookmark:getName()










Prev Msg Next Msg
+
low
overflowcheck might fail: requires inLink in -231-1..232-2
Prev Msg Next Msg










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.WeblogBookmark:getName()
  infomethod not available-- call on void org.apache.commons.logging. Log:warn(Object)