Messages

Last Msg First Msg

method	org.apache.roller.weblogger.business.startup. DatabaseInstaller__static_init
post	init'ed(log)

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

method	void org.apache.roller.weblogger.business.startup. DatabaseInstaller(DatabaseProvider, DatabaseScriptProvider)
pre	(soft) log != null
presumption	java.lang.Object:getClass(...)@60 != null
post	this.db == dbProvider
post	init'ed(this.db)
post	this.messages == &new ArrayList(DatabaseInstall er#1)
post	this.scripts == scriptProvider
post	init'ed(this.scripts)
post	init'ed(this.version)
post	new ArrayList(DatabaseInstaller#1) num objects == 1

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

method	bool isCreationRequired()
pre	this.db != null
pre	init'ed(this.db.type)
pre	(soft) this.db.dataSource != null
pre	(soft) init'ed(this.db.jdbcConnectionURL)
pre	(soft) this.db.props != null
pre	(soft) this.db.props._tainted == 0
post	init'ed(return_value)
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.sql.DatabaseMetaData:getTables
unanalyzed	call on java.sql.ResultSet:next
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.sql.ResultSet:getString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.tableExists: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

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

Prev Msg Next Msg

method	bool isUpgradeRequired()
pre	this.version != null
pre	(soft) log != null
pre	(soft) this.db != null
pre	(soft) this.db.dataSource != null
pre	(soft) init'ed(this.db.jdbcConnectionURL)
pre	(soft) this.db.props != null
pre	(soft) this.db.props._tainted == 0
pre	(soft) init'ed(this.db.type)
pre	(soft) this.messages != null
post	init'ed(return_value)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.ResultSet:next
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
unanalyzed	call on java.sql.Connection:close
unanalyzed	call on java.sql.ResultSet:getString
unanalyzed	call on java.sql.Statement:executeQuery
unanalyzed	call on java.sql.ResultSet:getInt

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.setDatabaseVersion: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into ioe

Prev Msg Next Msg

method	List getMessages()
pre	init'ed(this.messages)
post	return_value == this.messages
post	init'ed(return_value)

method	void errorMessage(String)
pre	log != null
pre	this.messages != null

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

method	void errorMessage(String, Throwable)
pre	log != null
pre	this.messages != null

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

method	void successMessage(String)
pre	log != null
pre	this.messages != null

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

method	void createDatabase()
pre	log != null
pre	org/apache/roller/weblogger/business/startup/SQLScr iptRunner.log != null
pre	this.db != null
pre	init'ed(this.db.type)
pre	this.messages != null
pre	this.scripts != null
pre	this.version != null
pre	(soft) this.db.dataSource != null
pre	(soft) init'ed(this.db.jdbcConnectionURL)
pre	(soft) this.db.props != null
pre	(soft) this.db.props._tainted == 0
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString

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

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.getDatabaseHandle: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

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

Prev Msg Next Msg

method	void upgradeDatabase(bool)
pre	this.version != null
pre	(soft) log != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.db != null
pre	(soft) this.db.dataSource != null
pre	(soft) init'ed(this.db.jdbcConnectionURL)
pre	(soft) this.db.props != null
pre	(soft) this.db.props._tainted == 0
pre	(soft) init'ed(this.db.type)
pre	(soft) this.messages != null
pre	(soft) this.scripts != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.sql.ResultSet:next
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.sql.ResultSet:getString
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
unanalyzed	call on java.sql.Connection:close
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on getDatabaseScript
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.sql.Connection:prepareStatement
unanalyzed	call on java.sql.PreparedStatement:executeQuery
unanalyzed	call on java.sql.PreparedStatement:clearParameters
unanalyzed	call on java.sql.PreparedStatement:setString
unanalyzed	call on java.sql.PreparedStatement:executeUpdate
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on java.sql.Date
unanalyzed	call on java.sql.PreparedStatement:setDate
unanalyzed	call on java.sql.PreparedStatement:setBoolean
unanalyzed	call on java.sql.PreparedStatement:setShort
unanalyzed	call on java.sql.Statement:executeQuery
unanalyzed	call on java.sql.ResultSet:getInt
unanalyzed	call on java.util.Locale:getDefault
unanalyzed	call on java.util.Locale:getLanguage

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

conditional throw check might fail: requires dbversion >= 0

Prev Msg Next Msg

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

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.upgradeTo130: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.upgradeTo200: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.upgradeTo210: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.upgradeTo230: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.upgradeTo240: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.upgradeTo300: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.upgradeTo310: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.upgradeTo400: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.upgradeTo401: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into dbversion

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file medium

precondition failure org/apache/roller/weblogger/business/startup/Databa seInstaller.updateDatabaseVersion: con != null

Prev Msg Next Msg

Prev Msg Next Msg

+

click for all messages in this file warning

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

Prev Msg Next Msg

method	void upgradeTo130(Connection, bool)
pre	con != null
pre	log != null
pre	this.messages != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.scripts != null
presumption	java.sql.Connection:prepareStatement(...)@296 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
test_vector	runScripts: {0}, {1}
test_vector	java.sql.Connection:getAutoCommit(...)@302: {1}, {0}

method	void upgradeTo200(Connection, bool)
pre	con != null
pre	log != null
pre	this.messages != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.scripts != null
presumption	java.sql.Connection:prepareStatement(...)@335 != null
presumption	java.sql.Connection:prepareStatement(...)@338 != null
presumption	java.sql.Connection:prepareStatement(...)@340 != null
presumption	java.sql.Connection:prepareStatement(...)@344 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@350 != null
presumption	init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.ADMIN)
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
test_vector	runScripts: {0}, {1}
test_vector	java.sql.Connection:getAutoCommit(...)@389: {1}, {0}
test_vector	java.sql.ResultSet:next(...)@351: {0}, {1}

method	void upgradeTo210(Connection, bool)
pre	con != null
pre	log != null
pre	this.messages != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.scripts != null
presumption	java.sql.Connection:prepareStatement(...)@434 != null
presumption	java.sql.Connection:prepareStatement(...)@439 != null
presumption	java.sql.Connection:prepareStatement(...)@442 != null
presumption	java.sql.Connection:prepareStatement(...)@446 != null
presumption	java.sql.Connection:prepareStatement(...)@452 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@458 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@472 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
test_vector	runScripts: {0}, {1}
test_vector	java.sql.Connection:getAutoCommit(...)@508: {1}, {0}
test_vector	java.sql.ResultSet:next(...)@460: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@473: {0}, {1}

method	void upgradeTo230(Connection, bool)
pre	con != null
pre	log != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.messages != null
pre	(soft) this.scripts != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
test_vector	runScripts: {0}, {1}

method	void upgradeTo240(Connection, bool)
pre	con != null
pre	log != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.messages != null
pre	(soft) this.scripts != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
test_vector	runScripts: {0}, {1}

method	void upgradeTo300(Connection, bool)
pre	con != null
pre	log != null
pre	this.messages != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.scripts != null
presumption	java.sql.Connection:prepareStatement(...)@608 != null
presumption	java.sql.Connection:prepareStatement(...)@611 != null
presumption	java.sql.Connection:prepareStatement(...)@622 != null
presumption	java.sql.Connection:prepareStatement(...)@628 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@631 != null
presumption	java.util.Locale:getDefault(...)@603 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
test_vector	runScripts: {0}, {1}
test_vector	java.sql.Connection:getAutoCommit(...)@644: {1}, {0}
test_vector	java.sql.ResultSet:next(...)@632: {0}, {1}

method	void upgradeTo310(Connection, bool)
pre	con != null
pre	log != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.messages != null
pre	(soft) this.scripts != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
test_vector	runScripts: {0}, {1}

method	void upgradeTo400(Connection, bool)
pre	con != null
pre	log != null
pre	this.messages != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.scripts != null
presumption	java.sql.Connection:prepareStatement(...)@1030 != null
presumption	java.sql.Connection:prepareStatement(...)@1043 != null
presumption	java.sql.Connection:prepareStatement(...)@1055 != null
presumption	java.sql.Connection:prepareStatement(...)@1082 != null
presumption	java.sql.Connection:prepareStatement(...)@1090 != null
presumption	java.sql.Connection:prepareStatement(...)@1097 != null
presumption	java.sql.Connection:prepareStatement(...)@734 != null
presumption	java.sql.Connection:prepareStatement(...)@736 != null
presumption	java.sql.Connection:prepareStatement(...)@748 != null
presumption	java.sql.Connection:prepareStatement(...)@750 != null
presumption	java.sql.Connection:prepareStatement(...)@784 != null
presumption	java.sql.Connection:prepareStatement(...)@790 != null
presumption	java.sql.Connection:prepareStatement(...)@794 != null
presumption	java.sql.Connection:prepareStatement(...)@811 != null
presumption	java.sql.Connection:prepareStatement(...)@816 != null
presumption	java.sql.Connection:prepareStatement(...)@849 != null
presumption	java.sql.Connection:prepareStatement(...)@855 != null
presumption	java.sql.Connection:prepareStatement(...)@859 != null
presumption	java.sql.Connection:prepareStatement(...)@876 != null
presumption	java.sql.Connection:prepareStatement(...)@881 != null
presumption	java.sql.Connection:prepareStatement(...)@928 != null
presumption	java.sql.Connection:prepareStatement(...)@936 != null
presumption	java.sql.Connection:prepareStatement(...)@945 != null
presumption	java.sql.Connection:prepareStatement(...)@953 != null
presumption	java.sql.Connection:prepareStatement(...)@961 != null
presumption	java.sql.Connection:prepareStatement(...)@981 != null
presumption	java.sql.Connection:prepareStatement(...)@990 != null
presumption	java.sql.Connection:prepareStatement(...)@993 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@1032 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@1045 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@738 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@752 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@796 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@829 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@861 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@894 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@930 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@938 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@984 != null
presumption	java.sql.PreparedStatement:executeQuery(...)@996 != null
presumption	java.sql.ResultSet:getString(...)@999 != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
test_vector	runScripts: {0}, {1}
test_vector	java.lang.String:equals(...)@1035: {0}, {1}
test_vector	java.lang.String:equals(...)@1049: {1}, {0}
test_vector	java.lang.String:length(...)@989: {0}, {1..2³²-1}
test_vector	java.lang.String:startsWith(...)@1003: {0}, {1}
test_vector	java.sql.Connection:getAutoCommit(...)@1013: {1}, {0}
test_vector	java.sql.Connection:getAutoCommit(...)@1103: {1}, {0}
test_vector	java.sql.Connection:getAutoCommit(...)@762: {1}, {0}
test_vector	java.sql.Connection:getAutoCommit(...)@911: {1}, {0}
test_vector	java.sql.Connection:getAutoCommit(...)@966: {1}, {0}
test_vector	java.sql.ResultSet:getString(...)@1034: Addr_Set{null}, Inverse{null}
test_vector	java.sql.ResultSet:getString(...)@1047: Addr_Set{null}, Inverse{null}
test_vector	java.sql.ResultSet:next(...)@1033: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@1046: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@739: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@753: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@797: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@830: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@862: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@895: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@931: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@939: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@985: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@997: {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 low

overflow check might fail: requires catNumCounted in -2³¹-1..2³²-2

Prev Msg Next Msg

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 low

overflow check might fail: requires folderNumUpdated in -2³¹-1..2³²-2

Prev Msg Next Msg

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

method	String getDatabaseHandle(Connection)
pre	con != null
presumption	java.sql.Connection:getMetaData(...)@1122 != null
presumption	java.sql.DatabaseMetaData:getDatabaseProductName(.. .)@1122 != null
post	return_value in Addr_Set{&"mysql",&"derby", &"oracle",&"db2",&"mssql", &"postgresql",&"hsqldb"}
test_vector	java.lang.String:indexOf(...)@1124: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:indexOf(...)@1126: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:indexOf(...)@1128: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:indexOf(...)@1130: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:indexOf(...)@1132: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:indexOf(...)@1134: {-1}, {-2³¹..-2, 0..2³²-1}
test_vector	java.lang.String:indexOf(...)@1136: {-1}, {-2³¹..-2, 0..2³²-1}

method	bool tableExists(Connection, String)
pre	con != null
pre	(soft) tableName != null
presumption	java.sql.Connection:getMetaData(...)@1149 != null
presumption	java.sql.DatabaseMetaData:getTables(...)@1149 != null
presumption	java.sql.ResultSet:getString(...)@1151 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@1151: {0}, {1}
test_vector	java.sql.ResultSet:next(...)@1150: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file warning

unused assignment unused assignment into types

Prev Msg Next Msg

method	int getDatabaseVersion()
pre	(soft) log != null
pre	(soft) this.db != null
pre	(soft) this.db.dataSource != null
pre	(soft) init'ed(this.db.jdbcConnectionURL)
pre	(soft) this.db.props != null
pre	(soft) this.db.props._tainted == 0
pre	(soft) init'ed(this.db.type)
presumption	java.sql.Connection:createStatement(...)@1166 != null
presumption	java.sql.Statement:executeQuery(...)@1169 != null
presumption	java.sql.Statement:executeQuery(...)@1179 != null
post	init'ed(return_value)
unanalyzed	call on java.sql.DriverManager:getConnection
unanalyzed	call on javax.sql.DataSource:getConnection
test_vector	java.sql.ResultSet:next(...)@1172: {0}, {1}

Prev Msg Next Msg

+

click for all messages in this file medium

null dereference check might fail: requires con != null

Prev Msg Next Msg

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

method	void upgradeTo401(Connection, bool)
pre	con != null
pre	log != null
pre	(soft) org/apache/roller/weblogger/business/startup /SQLScriptRunner.log != null
pre	(soft) this.messages != null
pre	(soft) this.scripts != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on org.apache.commons.logging.Log:error
unanalyzed	call on java.sql.Connection:getMetaData
unanalyzed	call on java.lang.String:toLowerCase
unanalyzed	call on java.util.List:add
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException
unanalyzed	call on org.apache.commons.logging.Log:trace
unanalyzed	call on java.sql.DatabaseMetaData:getDatabaseProduc tName
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.Class:getResourceAsStream
unanalyzed	call on java.util.ArrayList
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:trim
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.String:endsWith
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.sql.Connection:getAutoCommit
unanalyzed	call on java.sql.Connection:commit
unanalyzed	call on java.sql.SQLException:getLocalizedMessage
unanalyzed	call on java.io.StringWriter
unanalyzed	call on java.io.PrintWriter
unanalyzed	call on java.sql.SQLException:printStackTrace
unanalyzed	call on java.io.StringWriter:toString
test_vector	runScripts: {0}, {1}

method	int parseVersionString(String)
pre	vstring != null
presumption	java.lang.Integer:parseInt(...)@1236 >= -214_748_364
post	(soft) return_value >= -2³¹+8
test_vector	java.lang.Integer:parseInt(...)@1236: {100..2³²-1}, {-214_748_364..99}
test_vector	java.lang.String:length(...)@1231: {0..3}, {4..2³²-1}

method	void setDatabaseVersion(Connection, String)
pre	con != null
pre	log != null
pre	version != null
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:replaceAll
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.sql.Connection:createStatement
unanalyzed	call on java.sql.Statement:executeUpdate
unanalyzed	call on org.apache.commons.logging.Log:debug
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException

method	void setDatabaseVersion(Connection, int)
pre	con != null
pre	log != null
presumption	java.sql.Connection:createStatement(...)@1262 != null
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException

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

method	void updateDatabaseVersion(Connection, int)
pre	con != null
pre	log != null
presumption	java.sql.Connection:createStatement(...)@1280 != null
unanalyzed	call on org.apache.roller.weblogger. WebloggerException
unanalyzed	call on org.apache.roller.RollerException

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