Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.plugins. entry.SmileysPlugin__static_init
presumption	org.apache.commons.logging.LogFactory:getLog(... )@40 != null
post	escape_regex == &new char[](SmileysPlugin__ static_init#4)
post	imageTags == &new String[](SmileysPlugin__ static_init#2)
post	(soft) log != null
post	smileyDefs == &new Properties(SmileysPlugin__ static_init#3)
post	smileyPatterns == &new Pattern[](SmileysPlugin_ _static_init#1)
post	new Pattern[](SmileysPlugin__static_init#1) num objects == 1
post	new Properties(SmileysPlugin__static_init#3) num objects == 1
post	new String[](SmileysPlugin__static_init#2) num objects == 1
post	new char[](SmileysPlugin__static_init#4) num objects == 1
post	smileyPatterns.length == 0
post	imageTags.length == 0
post	escape_regex.length == 20
post	escape_regex[0] == 45
post	escape_regex[10] == 63
post	escape_regex[11] == 123
post	escape_regex[12] == 125
post	escape_regex[13] == 33
post	escape_regex[14] == 61
post	escape_regex[15] == 60
post	escape_regex[16] == 62
post	escape_regex[17] == 38
post	escape_regex[18] == 91
post	escape_regex[19] == 93
post	escape_regex[1] == 40
post	escape_regex[2] == 41
post	escape_regex[3] == 92
post	escape_regex[4] == 124
post	escape_regex[5] == 58
post	escape_regex[6] == 94
post	escape_regex[7] == 36
post	escape_regex[8] == 42
post	escape_regex[9] == 43

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

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

method	void org.apache.roller.weblogger.business.plugins. entry.SmileysPlugin()
pre	log != null
post	this.description == &"Change ASCII emoticons to graphics. :-) becomes <img src='..images. smileys.smile.gif'>"
post	this.name == &"Emoticons"

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

method	String getName()
pre	init'ed(this.name)
post	return_value == this.name
post	init'ed(return_value)

method	String getDescription()
pre	init'ed(this.description)
post	init'ed(return_value)

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

method	void init(Weblog)
pre	smileyPatterns != null
pre	(soft) escape_regex != null
pre	(soft) escape_regex.length <= 2³²-1
pre	(soft) init'ed(escape_regex[...])
pre	(soft) 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
pre	(soft) init'ed(org/apache/roller/weblogger/config/W ebloggerRuntimeConfig.absoluteContextURL)
pre	(soft) org/apache/roller/weblogger/config/Weblogger RuntimeConfig.log != null
pre	(soft) smileyDefs != null
presumption	java.util.Enumeration:nextElement(...)@91 != null
presumption	java.util.Properties:propertyNames(...)@89 != null
presumption	java.util.Properties:size(...)@85 >= 1
presumption	java.util.Properties:size(...)@86 >= 1
post	imageTags == One-of{old imageTags, &new String[](init#2)}
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	smileyPatterns == One-of{old smileyPatterns, &new Pattern[](init#1)}
post	smileyPatterns != null
post	new Pattern[](init#1) num objects <= 1
post	(soft) new Pattern[](init#1).length in 1..2³²-1
post	init'ed(new Pattern[](init#1)[...])
post	new String[](init#2) num objects <= 1
post	(soft) new String[](init#2).length in 1..2³²-1
post	new String[](init#2)[...] == &java.lang.StringBuilder:toString(...)
unanalyzed	call on java.lang.String:toCharArray
unanalyzed	call on getWeblogger
unanalyzed	call on getPropertiesManager
unanalyzed	call on getProperty
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:find
unanalyzed	call on org.apache.roller.weblogger.pojos. RuntimeConfigProperty:getValue
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:length
test_vector	smileyPatterns.length: {1..+Inf}, {0}
test_vector	java.util.Enumeration:hasMoreElements(...)@90: {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

array index out of bounds check might fail: requires count < tempP.length

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

array index out of bounds check might fail: requires count < tempS.length

Prev Msg Next Msg

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

method	String render(WeblogEntry, String)
pre	smileyPatterns != null
pre	smileyPatterns.length <= 2³²-1
pre	(soft) imageTags != null
pre	(soft) imageTags.length >= 1
pre	(soft) smileyPatterns.length <= imageTags.length
pre	(soft) init'ed(imageTags[...])
pre	(soft) smileyPatterns[...] != null
presumption	java.util.regex.Pattern:matcher(...)@115 != null
post	init'ed(return_value)

method	String htmlEscape(String)
pre	smiley != null
presumption	chars.length@127 <= 2³²-1
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(chars[i])

+

warning

test always goes same way test predetermined because chars[i] == 0

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because chars[i] == 0

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(chars[i])

Prev Msg Next Msg

method	String regexEscape(String)
pre	smiley != null
pre	(soft) escape_regex != null
pre	(soft) escape_regex.length <= 2³²-1
pre	(soft) init'ed(escape_regex[...])
presumption	chars.length@155 <= 2³²-1
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
test_vector	escape_regex[...]: {1..2¹⁶-1}, {0}

Prev Msg Next Msg

+

click for all messages in this file low

use of default init check might fail: requires init'ed(chars[i])

Prev Msg Next Msg