Messages

Last Msg First Msg

method

org.apache.roller.weblogger.util.IPBanList$Modifie dFile__static_init

method	org.apache.roller.weblogger.util.IPBanList__ static_init
presumption	org.apache.commons.logging.LogFactory:getLog(... )@41 != null
post	instance == &new IPBanList(IPBanList__static_ init#1)
post	(soft) log != null
post	new HashSet(IPBanList#1) num objects == 1
post	new IPBanList(IPBanList__static_init#1) num objects == 1
post	new HashSet(loadBannedIps#1) num objects <= 1
post	new IPBanList$ModifiedFile(IPBanList#2) num objects <= 1
post	init'ed(new IPBanList$ModifiedFile(IPBanList#2). myLastModified)
post	instance.bannedIps == One-of{&new HashSet(IPBanList#1), &new HashSet(loadBannedI ps#1)}
post	instance.bannedIps in Addr_Set{&new HashSet(IPBanList#1),&new HashSet(loadBannedIp s#1)}
post	init'ed(instance.bannedIpsFile)
unanalyzed	call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile: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.logging.Log:error
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.io.FileReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.util.HashSet:add
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.Set:size
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.io.File
unanalyzed	call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:exists
unanalyzed	call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:canRead

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

method	void org.apache.roller.weblogger.util.IPBanList()
pre	log != null
post	this.bannedIps in Addr_Set{&new HashSet(IPBanList#1),&new HashSet(loadBannedIp s#1)}
post	init'ed(this.bannedIpsFile)
post	new HashSet(IPBanList#1) num objects == 1
post	new HashSet(loadBannedIps#1) num objects <= 1
post	new IPBanList$ModifiedFile(IPBanList#2) num objects <= 1
post	init'ed(new IPBanList$ModifiedFile(IPBanList#2). myLastModified)
unanalyzed	call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.io.FileReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.util.HashSet:add
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.Set:size
unanalyzed	call on org.apache.commons.logging.Log:info
unanalyzed	call on java.io.File
test_vector	org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@64: Addr_Set{null}, Inverse{null}
test_vector	org.apache.roller.weblogger.util.IPBanList_ ModifiedFile:canRead(...)@68: {0}, {1}
test_vector	org.apache.roller.weblogger.util.IPBanList_ ModifiedFile:exists(...)@68: {0}, {1}

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 bool org.apache.roller.weblogger.util. IPBanList$ModifiedFile:exists()

info method not available -- call on bool org.apache.roller.weblogger.util. IPBanList$ModifiedFile:canRead()

method	IPBanList getInstance()
pre	init'ed(instance)
post	return_value == instance
post	init'ed(return_value)

method	bool isBanned(String)
pre	init'ed(this.bannedIpsFile)
pre	(soft) log != null
pre	(soft) init'ed(this.bannedIps)
pre	(soft) init'ed(this.bannedIpsFile.myLastModified)
post	init'ed(return_value)
post	this.bannedIps == One-of{old this.bannedIps, &new HashSet(loadBannedIps#1)}
post	(soft) init'ed(this.bannedIps)
post	init'ed(this.bannedIpsFile.myLastModified)
post	new HashSet(loadBannedIps#1) num objects <= 1
unanalyzed	call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on loadBannedIps
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.io.FileReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.util.HashSet:add
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.Set:size
unanalyzed	call on org.apache.commons.logging.Log:info
test_vector	ip: Addr_Set{null}, Inverse{null}

Prev Msg Next Msg

+

click for all messages in this file medium

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

Prev Msg Next Msg

method	void addBannedIp(String)
pre	(soft) log != null
pre	(soft) init'ed(this.bannedIps)
pre	(soft) init'ed(this.bannedIpsFile.myLastModified)
pre	(soft) init'ed(this.bannedIpsFile)
post	this.bannedIps == One-of{old this.bannedIps, &new HashSet(loadBannedIps#1)}
post	(soft) init'ed(this.bannedIps)
post	(soft) init'ed(this.bannedIpsFile.myLastModified)
post	new HashSet(loadBannedIps#1) num objects <= 1
unanalyzed	call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on loadBannedIps
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.io.FileReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.util.HashSet:add
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.Set:size
unanalyzed	call on org.apache.commons.logging.Log:info
test_vector	ip: Inverse{null}, Addr_Set{null}
test_vector	this.bannedIpsFile: Addr_Set{null}, Inverse{null}
test_vector	java.util.Set:contains(...)@104: {1}, {0}
test_vector	org.apache.roller.weblogger.util.IPBanList_ ModifiedFile:canWrite(...)@104: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

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

info method not available -- call on bool org.apache.roller.weblogger.util. IPBanList$ModifiedFile:canWrite()

Prev Msg Next Msg

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 loadBannedIpsIfNeeded(bool)
pre	init'ed(this.bannedIpsFile)
pre	(soft) log != null
pre	(soft) init'ed(this.bannedIpsFile.myLastModified)
post	this.bannedIps == One-of{old this.bannedIps, &new HashSet(loadBannedIps#1)}
post	(soft) init'ed(this.bannedIpsFile.myLastModified)
post	new HashSet(loadBannedIps#1) num objects <= 1
unanalyzed	call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.util.HashSet
unanalyzed	call on java.io.FileReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.util.HashSet:add
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.Set:size
unanalyzed	call on org.apache.commons.logging.Log:info
test_vector	forceLoad: {0}, {1}
test_vector	this.bannedIpsFile: Addr_Set{null}, Inverse{null}

method	void loadBannedIps()
pre	init'ed(this.bannedIpsFile)
pre	(soft) log != null
post	this.bannedIps == One-of{old this.bannedIps, &new HashSet(loadBannedIps#1)}
post	possibly_updated(this.bannedIpsFile. myLastModified)
post	new HashSet(loadBannedIps#1) num objects <= 1
unanalyzed	call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified
test_vector	this.bannedIpsFile: Addr_Set{null}, Inverse{null}
test_vector	java.io.BufferedReader:readLine(...)@156: Addr_Set{null}, Inverse{null}

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:error(Object, Throwable)

method	void org.apache.roller.weblogger.util. IPBanList$ModifiedFile(IPBanList, String)
post	init'ed(this.myLastModified)

info method not available -- call on long org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified()

method	bool hasChanged()
pre	init'ed(this.myLastModified)
post	init'ed(return_value)

info method not available -- call on long org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified()

method	void clearChanged()
post	init'ed(this.myLastModified)

info method not available -- call on long org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified()

	info	method not available	-- call on bool org.apache.roller.weblogger.util. IPBanList$ModifiedFile:exists()
	info	method not available	-- call on bool org.apache.roller.weblogger.util. IPBanList$ModifiedFile:canRead()