Messages

Last Msg First Msg

method	org.apache.roller.weblogger.config. WebloggerConfig__static_init
presumption	java.lang.Class:forName(...)@57 != null
presumption	java.lang.System.out != null
presumption	java.util.Properties:keys(...)@116 != null
presumption	org.apache.commons.logging.LogFactory:getLog(... )@44 != null
post	"="._tainted == 0
post	"Roller Weblogger: Failed to load custom properties from "._tainted == 0
post	"Roller Weblogger: Successfully loaded custom properties from "._tainted == 0
post	config == &new Properties(WebloggerConfig__ static_init#1)
post	custom_config == &".roller-custom.properties"
post	custom_config_file in Addr_Set{null,&new File(WebloggerConfig__static_init#2)}
post	custom_jvm_param == &"roller.custom.config"
post	default_config == &".org.apache.roller. weblogger.config.roller.properties"
post	(soft) log != null
post	new File(WebloggerConfig__static_init#2) num objects <= 1
post	new Properties(WebloggerConfig__static_init#1) num objects == 1
unanalyzed	call on java.util.Properties
unanalyzed	call on java.util.Properties:get
unanalyzed	call on java.util.Properties:put
unanalyzed	call on java.util.Properties:keys
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
test_vector	java.io.File:exists(...)@78: {0}, {1}
test_vector	java.lang.Class:getResourceAsStream(...)@64: Addr_Set{null}, Inverse{null}
test_vector	java.lang.String:length(...)@74: {0}, {1..2³²-1}
test_vector	java.lang.System:getProperty(...)@73: Addr_Set{null}, Inverse{null}
test_vector	java.util.Properties:get(...)@92: Addr_Set{null}, Inverse{null}

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

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because custom_config_file != null

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(expandedProperti es.length)

+

warning

test always goes same way test predetermined because i == expandedProperties. length

info dead code continues dead code continues

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because i == expandedProperties. length

Prev Msg Next Msg

info dead code continues dead code continues

info method not available -- call on void org.apache.log4j.PropertyConfigurat or:configure(Properties)

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)

method

void org.apache.roller.weblogger.config. WebloggerConfig()

method	String getProperty(String)
pre	config != null
pre	log != null
post	init'ed(return_value)

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

method	String getProperty(String, String)
pre	config != null
pre	log != null
post	init'ed(return_value)
test_vector	java.util.Properties:getProperty(...)@153: Inverse{null}, Addr_Set{null}

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

method	bool getBooleanProperty(String)
pre	config != null
pre	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
unanalyzed	call on java.lang.Boolean
unanalyzed	call on java.lang.Boolean:booleanValue

method	bool getBooleanProperty(String, bool)
pre	config != null
pre	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	int getIntProperty(String)
pre	config != null
pre	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
unanalyzed	call on java.lang.Integer
unanalyzed	call on java.lang.Integer:intValue

method	int getIntProperty(String, int)
pre	config != null
pre	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	Enumeration keys()
pre	config != null
post	init'ed(return_value)

method	Properties getPropertiesStartingWith(String)
pre	config != null
presumption	java.util.Properties:keys(...)@214 != null
post	return_value == &new Properties(getPropertiesSt artingWith#1)
post	new Properties(getPropertiesStartingWith#1) num objects == 1
test_vector	java.util.Enumeration:hasMoreElements(...)@214: {0}, {1}

method	void setUploadsDir(String)
pre	config != null
test_vector	java.lang.String:equals(...)@233: {0}, {1}

method	void setThemesDir(String)
pre	config != null
test_vector	java.lang.String:equals(...)@248: {0}, {1}