Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.plugins. PluginManagerImpl__static_init
post	init'ed(log)
post	mPagePlugins == &new LinkedHashMap(PluginManage rImpl__static_init#1)
post	new LinkedHashMap(PluginManagerImpl__static_ init#1) num objects == 1

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

method	void org.apache.roller.weblogger.business.plugins. PluginManagerImpl()
pre	log != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	(soft) mPagePlugins != null
post	this.commentPlugins == &new ArrayList(PluginMan agerImpl#1)
post	new ArrayList(PluginManagerImpl#1) num objects == 1
unanalyzed	call on java.lang.Class:getInterfaces
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.util.Properties:getProperty
unanalyzed	call on org.apache.commons.lang.StringUtils:split
unanalyzed	call on org.apache.commons.lang.StringUtils:stripAl l
unanalyzed	call on java.lang.Class:forName
unanalyzed	call on java.lang.Class:newInstance
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on getName
unanalyzed	call on java.util.Map:put
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on org.apache.commons.logging.Log:warn

method	bool hasPagePlugins()
pre	log != null
pre	mPagePlugins != null
post	init'ed(return_value)

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

method	Map getWeblogEntryPlugins(Weblog)
pre	mPagePlugins != null
pre	(soft) log != null
presumption	java.util.Iterator:next(...)@77 != null
presumption	java.util.Map:values(...)@74 != null
post	return_value == &new LinkedHashMap(getWeblogEnt ryPlugins#1)
post	new LinkedHashMap(getWeblogEntryPlugins#1) num objects == 1
test_vector	java.util.Iterator:hasNext(...)@75: {0}, {1}

info call too complex - analysis skipped -- call on void init(Weblog)

info call too complex - analysis skipped -- call on String getName()

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

method	String applyWeblogEntryPlugins(Map, WeblogEntry, String)
pre	(soft) log != null
pre	(soft) pagePlugins != null
post	init'ed(return_value)
test_vector	java.util.Iterator:hasNext(...)@95: {0}, {1}
test_vector	java.util.List:isEmpty(...)@93: {1}, {0}
test_vector	java.util.Map:get(...)@97: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntry:getPl uginsList(...)@92: Addr_Set{null}, Inverse{null}

info method not available -- call on void org.apache.roller.weblogger.pojos. WeblogEntry(WeblogEntry)

info method not available -- call on List org.apache.roller.weblogger.pojos. WeblogEntry:getPluginsList()

info call too complex - analysis skipped -- call on String render(WeblogEntry, String)

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

method	List getCommentPlugins()
pre	init'ed(this.commentPlugins)
post	return_value == this.commentPlugins
post	init'ed(return_value)

method	String applyCommentPlugins(WeblogEntryComment, String)
pre	comment != null
pre	text != null
pre	this.commentPlugins != null
pre	(soft) log != null
presumption	java.util.Iterator:next(...)@129 != null
presumption	org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getPlugins(...)@130 != null
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:escapeHTML
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:transformToHTMLSubset
unanalyzed	call on java.io.StringReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:start
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.regex.Matcher:end
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:unescapeHTML
test_vector	java.lang.String:indexOf(...)@130: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@129: {0}, {1}
test_vector	java.util.List:size(...)@128: {-2³¹..0}, {1..2³²-1}
test_vector	org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getPlugins(...)@130: Addr_Set{null}, Inverse{null}

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

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

method	void loadPagePluginClasses()
pre	log != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	(soft) mPagePlugins != null
presumption	java.lang.Class:forName(...)@159 != null
presumption	org.apache.commons.lang.StringUtils:stripAll(... )@154 != null
presumption	plugins.length@154 <= 2³²-1
unanalyzed	call on java.lang.Class:getInterfaces
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@152: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@157: {0}, {1}
test_vector	plugins.length@154: {1..2³²-1}, {0}

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

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.commons.lang. StringUtils:split(String, String)

info method not available -- call on String[] org.apache.commons.lang. StringUtils:stripAll(String[])

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 call too complex - analysis skipped -- call on String getName()

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

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

method	void loadCommentPlugins()
pre	log != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. config != null
pre	org/apache/roller/weblogger/config/WebloggerConfig. log != null
pre	(soft) this.commentPlugins != null
presumption	java.lang.Class:forName(...)@192 != null
presumption	org.apache.commons.lang.StringUtils:stripAll(... )@187 != null
presumption	plugins.length@187 <= 2³²-1
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.Properties:getProperty

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

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

method	bool isPagePlugin(Class)
pre	pluginClass != null
presumption	interfaces.length@217 <= 2³²-1
presumption	java.lang.Class:getInterfaces(...)@217 != null
post	init'ed(return_value)
test_vector	java.lang.Object:equals(...)@219: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires not_init'ed(interfaces[i ])

Prev Msg Next Msg

method

void release()

	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.commons.lang. StringUtils:split(String, String)
	info	method not available	-- call on String[] org.apache.commons.lang. StringUtils:stripAll(String[])