Messages

Last Msg First Msg

method	org.apache.roller.weblogger.util.Blacklist__ static_init
presumption	blacklist.blacklistRegex init'ed
presumption	blacklist.blacklistStr init'ed
presumption	org.apache.commons.logging.LogFactory:getLog(... )@66 != null
post	blacklist == &new Blacklist(Blacklist__static_ init#1)
post	blacklistURL == null
post	(soft) mLogger != null
post	new Blacklist(Blacklist__static_init#1) num objects == 1
post	new LinkedList(Blacklist#1) num objects == 1
post	new LinkedList(Blacklist#2) num objects == 1
post	blacklist.blacklistRegex == &new LinkedList(Blacklist#2)
post	blacklist.blacklistStr == &new LinkedList(Black list#1)
post	init'ed(blacklist.lastModified)
post	new Date(loadBlacklistFromFile#3) num objects <= 1
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.io.File
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:lastModified
unanalyzed	call on java.util.Date
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on readFromStream
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.List:add
unanalyzed	call on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on org.apache.roller.util.DateUtil:parse
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.LinkedList

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:info(Object)

method	void org.apache.roller.weblogger.util.Blacklist()
post	this.blacklistRegex == &new LinkedList(Blacklis t#2)
post	this.blacklistStr == &new LinkedList(Blacklist# 1)
post	this.lastModified == null
post	new LinkedList(Blacklist#1) num objects == 1
post	new LinkedList(Blacklist#2) num objects == 1

method	Blacklist getBlacklist()
pre	init'ed(blacklist)
post	return_value == blacklist
post	init'ed(return_value)

method	void checkForUpdate()
pre	blacklist != null
post	possibly_updated(blacklist.lastModified)
post	new Date(loadBlacklistFromFile#3) num objects == 0
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.io.File
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:lastModified
unanalyzed	call on java.util.Date
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on readFromStream
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.HttpURLConnection:setRequestProper ty
unanalyzed	call on org.apache.roller.util.DateUtil:formatRfc82 2
unanalyzed	call on java.net.HttpURLConnection:getResponseCode
unanalyzed	call on java.net.HttpURLConnection:getHeaderFieldDa te
unanalyzed	call on java.net.HttpURLConnection:getInputStream
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.InputStream:read
unanalyzed	call on java.io.FileOutputStream:write
unanalyzed	call on java.io.FileOutputStream:close
unanalyzed	call on java.io.InputStream:close
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.List:add
unanalyzed	call on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on org.apache.roller.util.DateUtil:parse
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.BufferedReader:close

method	void update()
post	possibly_updated(this.lastModified)
post	new Date(loadBlacklistFromFile#3) num objects == 0
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.util.List:size
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.io.File
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.io.File:lastModified
unanalyzed	call on java.util.Date
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.lang.Object:getClass
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on org.apache.commons.logging.Log:warn
unanalyzed	call on readFromStream
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.HttpURLConnection:setRequestProper ty
unanalyzed	call on org.apache.roller.util.DateUtil:formatRfc82 2
unanalyzed	call on java.net.HttpURLConnection:getResponseCode
unanalyzed	call on java.net.HttpURLConnection:getHeaderFieldDa te
unanalyzed	call on java.net.HttpURLConnection:getInputStream
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.InputStream:read
unanalyzed	call on java.io.FileOutputStream:write
unanalyzed	call on java.io.FileOutputStream:close
unanalyzed	call on java.io.InputStream:close
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.List:add
unanalyzed	call on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on org.apache.roller.util.DateUtil:parse
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.BufferedReader:close

Prev Msg Next Msg

+

click for all messages in this file warning

test always goes same way test predetermined because blacklistURL == null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

dead code dead code here because blacklistURL == null

Prev Msg Next Msg

info dead code continues dead code continues

method	bool downloadBlacklist()
pre	mLogger != null
pre	(soft) init'ed(this.lastModified)
presumption	init'ed(java.io.File.separator)
presumption	java.net.HttpURLConnection:getInputStream(...)@154 != null
presumption	java.net.URL:openConnection(...)@118 != null
post	init'ed(return_value)
test_vector	this.lastModified: Addr_Set{null}, Inverse{null}
test_vector	java.io.InputStream:read(...)@165: {-2³¹. .0}, {1..2³²-1}
test_vector	java.net.HttpURLConnection:getResponseCode(... )@131: {-2³¹..199, 201..303, 305..2³²-1}, {304}, {200}

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

info method not available -- call on String org.apache.roller.util. DateUtil:formatRfc822(Date)

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 this.lastModified != null

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

Prev Msg Next Msg

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. config.WebloggerConfig:getProperty(String)

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, Throwable)

method	void loadBlacklistFromFile(String)
pre	mLogger != null
pre	(soft) init'ed(this.lastModified)
pre	(soft) this.blacklistRegex != null
pre	(soft) this.blacklistStr != null
presumption	init'ed(java.io.File.separator)
presumption	java.lang.Object:getClass(...)@216 != null
post	(soft) init'ed(this.lastModified)
post	new Date(loadBlacklistFromFile#3) num objects <= 1
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.List:add
unanalyzed	call on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on org.apache.roller.util.DateUtil:parse
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.io.BufferedReader:close
test_vector	blacklistFilePath: Inverse{null}, Addr_Set{null}
test_vector	this.lastModified: Addr_Set{null}, Inverse{null}

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerConfig:getProperty(String)

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:info(Object)

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)

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

method	String readFromStream(InputStream, bool)
pre	(soft) mLogger != null
pre	(soft) this.blacklistRegex != null
pre	(soft) this.blacklistStr != null
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)
post	possibly_updated(this.lastModified)
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.lang.String:trim
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.util.List:add
unanalyzed	call on org.apache.commons.lang.StringUtils:isNotEm pty
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.text.SimpleDateFormat
unanalyzed	call on org.apache.roller.util.DateUtil:parse
test_vector	saveStream: {0}, {1}
test_vector	java.lang.String:startsWith(...)@243: {0}, {1}

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

method	void readRule(String)
pre	(soft) str != null
pre	(soft) this.blacklistRegex != null
pre	(soft) this.blacklistStr != null
presumption	java.lang.String:indexOf(...)@270 >= -2³¹+1
test_vector	java.lang.String:indexOf(...)@268: {-2³¹. .0}, {1..2³²-1}
test_vector	java.lang.String:indexOf(...)@274: {-2³¹. .-1}, {0..2³²-1}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@264: {0}, {1}
test_vector	org.apache.commons.lang.StringUtils:isNotEmpty(... )@278: {0}, {1}

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

info method not available -- call on bool org.apache.commons.lang. StringUtils:isNotEmpty(String)

method	void readComment(String)
pre	str != null
pre	(soft) mLogger != null
presumption	java.lang.String:indexOf(...)@285 + java.lang.String:length(...)@287 in -2³¹..2³²-1
post	possibly_updated(this.lastModified)
test_vector	java.lang.String:indexOf(...)@285: {-2³¹. .-1}, {0..2³²-1}

info method not available -- call on Date org.apache.roller.util. DateUtil:parse(String, SimpleDateFormat)

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

method	bool isBlacklisted(String)
pre	(soft) mLogger != null
pre	(soft) this.blacklistRegex != null
pre	(soft) this.blacklistStr != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on java.util.regex.Pattern:pattern
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:contains
unanalyzed	call on org.apache.commons.lang.StringUtils:isEmpty
unanalyzed	call on java.util.List:size
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:addAll

method	bool isBlacklisted(String, List, List)
pre	(soft) mLogger != null
pre	(soft) this.blacklistRegex != null
pre	(soft) this.blacklistStr != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on java.util.regex.Pattern:pattern
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:contains
test_vector	moreRegexRules: Addr_Set{null}, Inverse{null}
test_vector	moreStringRules: Addr_Set{null}, Inverse{null}
test_vector	str: Addr_Set{null}, Inverse{null}
test_vector	java.util.List:size(...)@322: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.List:size(...)@331: {-2³¹..0}, {1..2³²-1}
test_vector	org.apache.commons.lang.StringUtils:isEmpty(... )@314: {0}, {1}

info method not available -- call on bool org.apache.commons.lang. StringUtils:isEmpty(String)

method	bool matchesRulesOnly(String, List, List)
pre	stringRules != null
pre	(soft) mLogger != null
pre	(soft) regexRules != null
pre	(soft) str != null
post	init'ed(return_value)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:find
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on java.util.regex.Pattern:pattern
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on java.util.regex.Pattern:compile
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:contains

method	bool testRegExRules(String, List)
pre	regexRules != null
pre	(soft) mLogger != null
presumption	java.util.Iterator:next(...)@357 != null
presumption	java.util.regex.Pattern:matcher(...)@361 != null
presumption	java.util.regex.Pattern:matcher(...)@368 != null
post	init'ed(return_value)
test_vector	java.util.Iterator:hasNext(...)@356: {0}, {1}
test_vector	java.util.regex.Matcher:find(...)@362: {0}, {1}
test_vector	java.util.regex.Matcher:find(...)@368: {0}, {1}
test_vector	org.apache.commons.logging.Log:isDebugEnabled(... )@360: {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)

method	bool testStringRules(String, List)
pre	rules != null
pre	(soft) mLogger != null
pre	(soft) source != null
presumption	java.util.regex.Pattern:compile(...)@402 != null
presumption	java.util.regex.Pattern:matcher(...)@406 != null
post	init'ed(return_value)
test_vector	java.util.Iterator:hasNext(...)@390: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into e

Prev Msg Next Msg

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 populateSpamRules(String, List, List, String)
pre	(soft) regexRules != null
pre	(soft) stringRules != null
test_vector	java.lang.String:startsWith(...)@441: {0}, {1}
test_vector	java.lang.String:startsWith(...)@442: {0}, {1}
test_vector	java.util.StringTokenizer:hasMoreTokens(...)@439: {0}, {1}

method	String toString()
pre	init'ed(this.blacklistRegex)
pre	init'ed(this.blacklistStr)
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)