Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.plugins. entry.TopicTagPlugin__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@103 != null
post	init'ed(mLogger)

info method not available -- call on LogFactory org.apache.commons.logging. LogFactory:getFactory()

info method not available -- call on Log org.apache.commons.logging. LogFactory:getInstance(Class)

method	void org.apache.roller.weblogger.business.plugins. entry.TopicTagPlugin()
post	this.defaultTopicBookmarkName == &"Default Topic Site"
post	this.defaultTopicSite == &"http:..www. technorati.com.tag"
post	this.linkFormatString == &"<a rel="tag" href="{0}{1}">{2}<.a>"
post	this.tagRegexWithBookmark == &"topic:\{(. ?)\}\[(.?)\]"
post	this.tagRegexWithoutBookmark == &"topic:\[(. *?)\]"

method	void init(Weblog)
pre	init'ed(this.defaultTopicBookmarkName)
pre	init'ed(this.defaultTopicSite)
pre	init'ed(this.linkFormatString)
pre	init'ed(this.tagRegexWithBookmark)
pre	init'ed(this.tagRegexWithoutBookmark)
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
presumption	java.util.regex.Matcher:groupCount(...)@167 == 2
presumption	java.util.regex.Matcher:groupCount(...)@183 == 1
presumption	java.util.regex.Pattern:compile(...)@160 != null
presumption	java.util.regex.Pattern:compile(...)@176 != null
presumption	java.util.regex.Pattern:matcher(...)@167 != null
presumption	java.util.regex.Pattern:matcher(...)@183 != null
presumption	org.apache.commons.logging.LogFactory:getInstance(. ..)@103 != null
presumption	org.apache.roller.weblogger.pojos.WeblogBookmark:ge tUrl(...)@149 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(this.defaultTopicBookmarkName)
post	this.defaultTopicSite != null
post	this.linkFormat == &new MessageFormat(init#10)
post	init'ed(this.linkFormatString)
post	(soft) this.tagPatternWithBookmark != null
post	(soft) this.tagPatternWithoutBookmark != null
post	init'ed(this.tagRegexWithBookmark)
post	init'ed(this.tagRegexWithoutBookmark)
post	this.userBookmarks == &new HashMap(buildBookmar kMap#1)
post	new HashMap(buildBookmarkMap#1) num objects == 1
post	new MessageFormat(init#10) num objects == 1
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.lang.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on getWeblogger
unanalyzed	call on getBookmarkManager
unanalyzed	call on getRootFolder
unanalyzed	call on getBookmarks
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getName
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.roller.RollerException
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
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getPath
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getWebsite
unanalyzed	call on javax.persistence.Query:getResultList
test_vector	java.lang.String:endsWith(...)@152: {1}, {0}
test_vector	java.util.Map:get(...)@148: Addr_Set{null}, Inverse{null}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@136: {0}, {1}

info method not available -- call on bool org.apache.commons.logging. Log:isDebugEnabled()

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

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

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires this.defaultTopicSite != null

Prev Msg Next Msg

method	String render(WeblogEntry, String)
pre	str != null
pre	this.tagPatternWithBookmark != null
pre	this.tagPatternWithoutBookmark != null
pre	(soft) this.defaultTopicSite != null
pre	(soft) this.linkFormat != null
pre	(soft) this.linkFormatString != null
pre	(soft) this.userBookmarks != null
presumption	java.util.regex.Matcher:group(...)@212 != null
presumption	java.util.regex.Matcher:group(...)@233 != null
presumption	java.util.regex.Pattern:matcher(...)@208 != null
presumption	java.util.regex.Pattern:matcher(...)@230 != null
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.RuntimeException
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.text.FieldPosition
unanalyzed	call on java.text.MessageFormat:format
unanalyzed	call on java.util.Map:get
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmark:getUrl
test_vector	java.lang.String:endsWith(...)@218: {1}, {0}
test_vector	java.util.regex.Matcher:find(...)@209: {0}, {1}
test_vector	java.util.regex.Matcher:find(...)@231: {0}, {1}

method	String getName()
post	return_value == &"Topic Tags"

method	String getDescription()
post	return_value == &"Expands topic tags for <a href=\'http:..www.technorati.com\'>Technorat ... de> bookmark, if that is defined, otherwise http:..www.technorati.com."

method	String generateLink(MessageFormat, String, String)
pre	fmt != null
pre	site != null
pre	tag != null
pre	this.linkFormatString != null
presumption	java.lang.String:length(...)@282 + java.lang. String:length(...)@282 in 0..2³²-1
presumption	java.lang.String:length(...)@282 + java.lang. String:length(...)@282 + java.lang.String:length(.. .)@282 in 0..2³²-1
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.RuntimeException

method	String getBookmarkSite(String)
pre	this.userBookmarks != null
post	init'ed(return_value)

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

method	Map buildBookmarkMap(Weblog)
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider != null
pre	(soft) org/apache/roller/weblogger/business/Weblogg erFactory.webloggerProvider.webloggerInstance != null
presumption	bMgr.strategy != null
presumption	bMgr.strategy.emf != null
presumption	bMgr.strategy.emf@319 != null
presumption	bMgr.strategy.threadLocalEntityManager != null
presumption	getWeblogger(...).bookmarkManager != null
presumption	java.util.Iterator:next(...)@323 != null
presumption	org.apache.commons.logging.LogFactory:getInstance(. ..)@103 != null
post	return_value == &new HashMap(buildBookmarkMap#1 )
post	new HashMap(buildBookmarkMap#1) num objects == 1
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on java.lang.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue
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
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getPath
unanalyzed	call on org.apache.roller.weblogger.pojos. WeblogBookmarkFolder:getWebsite
unanalyzed	call on javax.persistence.Query:getResultList
test_vector	website: Inverse{null}, Addr_Set{null}
test_vector	java.util.Iterator:hasNext(...)@321: {0}, {1}

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

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires bookmarks != null

Prev Msg Next Msg

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

method	void initializeProperties()
pre	init'ed(this.defaultTopicBookmarkName)
pre	init'ed(this.defaultTopicSite)
pre	init'ed(this.linkFormatString)
pre	init'ed(this.tagRegexWithBookmark)
pre	init'ed(this.tagRegexWithoutBookmark)
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
post	init'ed(this.defaultTopicBookmarkName)
post	init'ed(this.defaultTopicSite)
post	init'ed(this.linkFormatString)
post	init'ed(this.tagRegexWithBookmark)
post	init'ed(this.tagRegexWithoutBookmark)
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty

method	String getSetting(String, String)
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
post	init'ed(return_value)
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty

method	String urlEncode(String)
post	init'ed(return_value)

method	String getDefaultTopicSite()
pre	init'ed(this.defaultTopicSite)
post	return_value == this.defaultTopicSite
post	init'ed(return_value)

method	void setDefaultTopicSite(String)
post	this.defaultTopicSite == defaultTopicSite
post	init'ed(this.defaultTopicSite)

method	String getTagRegexWithBookmark()
pre	init'ed(this.tagRegexWithBookmark)
post	return_value == this.tagRegexWithBookmark
post	init'ed(return_value)

method	void setTagRegexWithBookmark(String)
post	this.tagRegexWithBookmark == tagRegexWithBookmark
post	init'ed(this.tagRegexWithBookmark)

method	String getTagRegexWithoutBookmark()
pre	init'ed(this.tagRegexWithoutBookmark)
post	return_value == this.tagRegexWithoutBookmark
post	init'ed(return_value)

method	void setTagRegexWithoutBookmark(String)
post	this.tagRegexWithoutBookmark == tagRegexWithoutBook mark
post	init'ed(this.tagRegexWithoutBookmark)

method	String getLinkFormatString()
pre	init'ed(this.linkFormatString)
post	return_value == this.linkFormatString
post	init'ed(return_value)

method	void setLinkFormatString(String)
post	this.linkFormatString == linkFormatString
post	init'ed(this.linkFormatString)

method	MessageFormat getLinkFormat()
pre	init'ed(this.linkFormat)
post	return_value == this.linkFormat
post	init'ed(return_value)

method	void setLinkFormat(MessageFormat)
post	this.linkFormat == linkFormat
post	init'ed(this.linkFormat)

method	Pattern getTagPatternWithBookmark()
pre	init'ed(this.tagPatternWithBookmark)
post	return_value == this.tagPatternWithBookmark
post	init'ed(return_value)

method	void setTagPatternWithBookmark(Pattern)
post	this.tagPatternWithBookmark == tagPatternWithBookma rk
post	init'ed(this.tagPatternWithBookmark)

method	Pattern getTagPatternWithoutBookmark()
pre	init'ed(this.tagPatternWithoutBookmark)
post	return_value == this.tagPatternWithoutBookmark
post	init'ed(return_value)

method	void setTagPatternWithoutBookmark(Pattern)
post	this.tagPatternWithoutBookmark == tagPatternWithout Bookmark
post	init'ed(this.tagPatternWithoutBookmark)

method	String getDefaultTopicBookmarkName()
pre	init'ed(this.defaultTopicBookmarkName)
post	return_value == this.defaultTopicBookmarkName
post	init'ed(return_value)

method	void setDefaultTopicBookmarkName(String)
post	this.defaultTopicBookmarkName == defaultTopicBookma rkName
post	init'ed(this.defaultTopicBookmarkName)

method	Map getUserBookmarks()
pre	init'ed(this.userBookmarks)
post	return_value == this.userBookmarks
post	init'ed(return_value)

method	void setUserBookmarks(Map)
post	this.userBookmarks == userBookmarks
post	init'ed(this.userBookmarks)

	info	method not available	-- call on LogFactory org.apache.commons.logging. LogFactory:getFactory()
	info	method not available	-- call on Log org.apache.commons.logging. LogFactory:getInstance(Class)