Messages

Last Msg First Msg

method

com.dmdirc.updater.UpdateChecker$2__static_init

method

com.dmdirc.updater.UpdateChecker$1__static_init

method	UpdateChecker$STATE access$000()
pre	init'ed(status)
post	return_value == status
post	init'ed(return_value)

method	void access$100()
pre	(soft) new MapList(ListenerList#1).map != null
post	status == One-of{old status, &com.dmdirc. updater.UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#5), &com.dmdirc.updater.UpdateChecker$STAT E__static_init.new UpdateChecker$STATE(UpdateChecke r$STATE...
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getStatus
unanalyzed	call on doUpdate
unanalyzed	call on setStatus
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on statusChanged
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start

method	com.dmdirc.updater.UpdateChecker__static_init
post	components == &new ArrayList(UpdateChecker__ static_init#2)
post	listener == &new UpdateChecker$1(UpdateChecker_ _static_init#6)
post	listeners == &new ListenerList(UpdateChecker__ static_init#5)
post	mutex == &new Semaphore(UpdateChecker__static_ init#1)
post	status == &com.dmdirc.updater.UpdateChecker$STA TE__static_init.new UpdateChecker$STATE(UpdateCheck er$STATE__static_init#1)
post	timer == &new Timer(UpdateChecker__static_ init#3)
post	updates == &new ArrayList(UpdateChecker__ static_init#4)
post	new ArrayList(UpdateChecker__static_init#2) num objects == 1
post	new ArrayList(UpdateChecker__static_init#4) num objects == 1
post	new HashMap(MapList#1) num objects == 1
post	new ListenerList(UpdateChecker__static_init#5) num objects == 1
post	new MapList(ListenerList#1) num objects == 1
post	new Semaphore(UpdateChecker__static_init#1) num objects == 1
post	new Timer(UpdateChecker__static_init#3) num objects == 1
post	new UpdateChecker$1(UpdateChecker__static_init#6) num objects == 1
post	listeners.listeners == &new MapList(ListenerLis t#1)
post	new MapList(ListenerList#1).map == &new HashMap(MapList#1)
unanalyzed	call on java.util.HashMap

Prev Msg Next Msg

unlocked shared daemon update

click for all messages in this file Low Prob.

Usage of shared object com/dmdirc/updater/UpdateChe cker.status via com.dmdirc.updater.Update$1:run(); unlocked usages found

unlocked shared daemon update

Low Prob.

Usage of shared object status via com.dmdirc. updater.UpdateChecker:run(); unlocked usages found

Prev Msg Next Msg

method	UpdateChecker$STATE[] values()
pre	(soft) init'ed($VALUES[...])
post	return_value == &new UpdateChecker$STATE[](valu es#1)
post	new UpdateChecker$STATE[](values#1) num objects == 1
post	return_value.length == 5
post	return_value[...] == One-of{$VALUES[...], undefined}

method	UpdateChecker$STATE valueOf(String)
post	init'ed(return_value)

method

void com.dmdirc.updater.UpdateChecker$STATE(String , int)

method	com.dmdirc.updater.UpdateChecker$STATE__static_ init
post	$VALUES == &new UpdateChecker$STATE[](UpdateChe cker$STATE__static_init#6)
post	CHECKING == &new UpdateChecker$STATE(UpdateChec ker$STATE__static_init#2)
post	$VALUES[1] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#2)
post	IDLE == &new UpdateChecker$STATE(UpdateChecker$ STATE__static_init#1)
post	$VALUES[0] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#1)
post	RESTART_REQUIRED == &new UpdateChecker$STATE(Up dateChecker$STATE__static_init#5)
post	$VALUES[4] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#5)
post	UPDATES_AVAILABLE == &new UpdateChecker$STATE(U pdateChecker$STATE__static_init#4)
post	$VALUES[3] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#4)
post	UPDATING == &new UpdateChecker$STATE(UpdateChec ker$STATE__static_init#3)
post	$VALUES[2] == &new UpdateChecker$STATE(UpdateCh ecker$STATE__static_init#3)
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#1) num objects == 1
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#2) num objects == 1
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#3) num objects == 1
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#4) num objects == 1
post	new UpdateChecker$STATE(UpdateChecker$STATE__ static_init#5) num objects == 1
post	new UpdateChecker$STATE[](UpdateChecker$STATE__ static_init#6) num objects == 1
post	$VALUES.length == 5
unanalyzed	call on java.lang.Enum

method

void com.dmdirc.updater.UpdateChecker$1()

method	void updateStatusChange(Update, UpdateStatus)
pre	(soft) com.dmdirc.util.ListenerList.new MapList(ListenerList#1).map != null
pre	(soft) init'ed(com/dmdirc/updater/UpdateChecker. status)
pre	(soft) update != null
pre	(soft) update.listeners != null
post	com/dmdirc/updater/UpdateChecker.status == One-of{&com.dmdirc.updater.UpdateChecker$STATE __static_init.new UpdateChecker$STATE(UpdateChecker $STATE__static_init#1), old com/dmdirc/updater/Upda teChecker.status, &com.dmdirc.updater. UpdateChec...
post	init'ed(com/dmdirc/updater/UpdateChecker.status)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getStatus
unanalyzed	call on doUpdate
unanalyzed	call on setStatus
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on statusChanged
unanalyzed	call on java.util.List:remove
unanalyzed	call on removeUpdateListener
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start

method

void updateProgressChange(Update, float)

method

void com.dmdirc.updater.UpdateChecker()

method	void run()
pre	(soft) new MapList(ListenerList#1).map != null
pre	(soft) init'ed(status)
pre	(soft) timer != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@131 != null
presumption	com.dmdirc.config.IdentityManager:getConfigIdentity (...)@198 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@127 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.util.ArrayList:iterator(...)@142 != null
presumption	java.util.Date:getTime(...)@131 in {-2_147_483_648_ 999..4_294_967_295_999}
presumption	java.util.Date:getTime(...)@198 in {-2_147_483_648_ 999..4_294_967_295_999}
presumption	java.util.Iterator:next(...)@142 != null
presumption	java.util.Iterator:next(...)@152 != null
presumption	java.util.Iterator:next(...)@169 != null
presumption	java.util.Iterator:next(...)@187 != null
post	status == One-of{old status, &com.dmdirc. updater.UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#1), &com.dmdirc.updater.UpdateChecker$STAT E__static_init.new UpdateChecker$STATE(UpdateChecke r$STATE...
post	timer == One-of{old timer, &new Timer(init#3)}
post	timer != null
post	new Timer(init#3) num objects <= 1
unanalyzed	call on java.util.Timer
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionIn t
unanalyzed	call on java.util.Date
unanalyzed	call on java.util.Date:getTime
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.util.Timer:cancel
unanalyzed	call on java.util.TimerTask
unanalyzed	call on java.util.Timer:schedule
unanalyzed	call on com.dmdirc.updater.Update
unanalyzed	call on getUrl
unanalyzed	call on addUpdateListener
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getName
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getStatus
unanalyzed	call on doUpdate
unanalyzed	call on setStatus
unanalyzed	call on java.util.List:isEmpty
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on statusChanged
unanalyzed	call on java.net.URL
unanalyzed	call on java.net.URL:openConnection
unanalyzed	call on java.net.URLConnection:setUseCaches
unanalyzed	call on java.net.URLConnection:setDoInput
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.net.URLConnection:setDoOutput
unanalyzed	call on java.net.URLConnection:setConnectTimeout
unanalyzed	call on java.net.URLConnection:setRequestProperty
unanalyzed	call on java.net.URLConnection:getOutputStream
unanalyzed	call on java.io.DataOutputStream
unanalyzed	call on java.io.DataOutputStream:writeBytes
unanalyzed	call on java.io.DataOutputStream:flush
unanalyzed	call on java.io.DataOutputStream:close
unanalyzed	call on java.net.URLConnection:getInputStream
unanalyzed	call on java.io.InputStreamReader
unanalyzed	call on java.io.BufferedReader
unanalyzed	call on java.io.BufferedReader:readLine
unanalyzed	call on java.io.BufferedReader:close
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.UnsupportedOperationException
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@129: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@203: {0}, {1}
test_vector	java.lang.StringBuilder:length(...)@164: {-2³¹..0}, {1..2³²-1}
test_vector	java.util.Iterator:hasNext(...)@142: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@152: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@187: {0}, {1}
test_vector	java.util.List:isEmpty(...)@180: {0}, {1}
test_vector	java.util.concurrent.Semaphore:tryAcquire(... )@121: {1}, {0}
test_vector	update.status@142: Addr_Set{&com.dmdirc. updater.UpdateStatus__static_init.new UpdateStatus(UpdateStatus__static_init#6)}, Inverse{&com.dmdirc.updater.UpdateStatus__ static_init.new UpdateStatus(UpdateStatus__static_i nit#6)}
test_vector	update.status@187: Inverse{&com.dmdirc.updater. UpdateStatus__static_init.new UpdateStatus(UpdateSt atus__static_init#1)}, Addr_Set{&com.dmdirc. updater.UpdateStatus__static_init.new UpdateStatus(UpdateStatus__static_init#1)}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()

method not available - call not analyzed Info call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

method not available - call not analyzed Info call on String com.dmdirc.config.ConfigManager:getO ption(String, String)

call too complex - analysis skipped Info call on String getName()

call too complex - analysis skipped Info call on Version getVersion()

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:appError(Erro rLevel, String, Throwable)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

method	void checkLine(String)
pre	line != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
unanalyzed	call on java.util.List:add
unanalyzed	call on com.dmdirc.updater.Update
unanalyzed	call on getUrl
unanalyzed	call on addUpdateListener
unanalyzed	call on getName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.UnsupportedOperationException
unanalyzed	call on com.dmdirc.logger.Logger:appError
test_vector	java.lang.String:startsWith(...)@214: {0}, {1}
test_vector	java.lang.String:startsWith(...)@216: {0}, {1}
test_vector	java.lang.String:startsWith(...)@219: {1}, {0}

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method	void doUpdateAvailable(String)
pre	line != null
unanalyzed	call on getName
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.lang.String:equals
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.lang.UnsupportedOperationException
unanalyzed	call on com.dmdirc.logger.Logger:appError
unanalyzed	call on java.util.List:add

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because getUrl(...)@233 == null

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because getUrl(...)@233 == null

Prev Msg Next Msg

method	void init()
pre	timer != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@244 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@246 != null
presumption	init'ed(com.dmdirc.logger.ErrorLevel.LOW)
presumption	java.util.Date:getTime(...)@248 in {-2_147_483_648_ 999..4_294_967_295_999}
presumption	java.util.Date:getTime(...)@248/1_000 - (com.dmdirc.config.ConfigManager:getOptionInt(... )@244 + com.dmdirc.config.ConfigManager:getOptionIn t(...)@246) in {-2³²+1..8_589_934_591}
post	timer == &new Timer(init#3)
post	new Timer(init#3) num objects == 1
unanalyzed	call on java.util.TimerTask
test_vector	java.util.Date:getTime(...)@248/1_000 - (com.dmdirc.config.ConfigManager:getOptionInt(... )@244 + com.dmdirc.config.ConfigManager:getOptionIn t(...)@246): {0..8_589_934_591}, {-2³²+1.. -1}

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

method not available - call not analyzed Info call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)

method not available - call not analyzed Info call on void com.dmdirc.logger.Logger:userError(Err orLevel, String)

method

void com.dmdirc.updater.UpdateChecker$2()

method	void run()
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start

method

void checkNow()

method

void registerComponent(UpdateComponent)

method	void removeComponent(String)
pre	(soft) name != null
presumption	java.util.Iterator:next(...)@297 != null
test_vector	java.lang.String:equals(...)@298: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@297: {0}, {1}

call too complex - analysis skipped Info call on String getName()

method	UpdateComponent findComponent(String)
pre	name != null
presumption	java.util.Iterator:next(...)@318 != null
post	init'ed(return_value)
test_vector	java.lang.String:equals(...)@319: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@318: {0}, {1}

call too complex - analysis skipped Info call on String getName()

method	void removeUpdate(Update)
pre	update != null
pre	update.listeners != null
pre	(soft) new MapList(ListenerList#1).map != null
pre	(soft) init'ed(status)
post	status == One-of{&com.dmdirc.updater. UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#1), old status, &com.dmdirc.updater. UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE...
post	init'ed(status)
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getStatus
unanalyzed	call on doUpdate
unanalyzed	call on setStatus
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on statusChanged
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
unanalyzed	call on java.util.List:remove
test_vector	java.util.List:isEmpty(...)@338: {0}, {1}

method	void applyUpdates()
pre	(soft) new MapList(ListenerList#1).map != null
post	status == One-of{old status, &com.dmdirc. updater.UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#3), &com.dmdirc.updater.UpdateChecker$STAT E__static_init.new UpdateChecker$STATE(UpdateChecke r$STATE...
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getStatus
unanalyzed	call on doUpdate
unanalyzed	call on setStatus
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on statusChanged
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
test_vector	java.util.List:isEmpty(...)@349: {1}, {0}

method	void doNextUpdate()
pre	(soft) new MapList(ListenerList#1).map != null
presumption	java.util.Iterator:next(...)@362 != null
post	status == One-of{old status, &com.dmdirc. updater.UpdateChecker$STATE__static_init.new UpdateChecker$STATE(UpdateChecker$STATE__static_ init#5), &com.dmdirc.updater.UpdateChecker$STAT E__static_init.new UpdateChecker$STATE(UpdateChecke r$STATE...
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on statusChanged
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Thread:start
test_vector	java.util.Iterator:hasNext(...)@362: {0}, {1}
test_vector	update.status@362: Inverse{&com.dmdirc.updater. UpdateStatus__static_init.new UpdateStatus(UpdateSt atus__static_init#1),&com.dmdirc.updater. UpdateStatus__static_init.new UpdateStatus(UpdateSt atus__static_init#6)}, Addr_Set{&com.dmdirc.u...

method	List getComponents()
post	return_value == &new ArrayList(UpdateChecker__ static_init#2)

method	List getAvailableUpdates()
post	return_value == &new ArrayList(UpdateChecker__ static_init#4)

method	void addListener(UpdateCheckerListener)
pre	new MapList(ListenerList#1).map != null
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.List:add

method	void removeListener(UpdateCheckerListener)
pre	new MapList(ListenerList#1).map != null
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.List:remove

method	UpdateChecker$STATE getStatus()
pre	init'ed(status)
post	return_value == status
post	init'ed(return_value)

method	void setStatus(UpdateChecker$STATE)
pre	new MapList(ListenerList#1).map != null
presumption	java.util.Iterator:next(...)@428 != null
post	status == newStatus
post	init'ed(status)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.ArrayList
test_vector	java.util.Iterator:hasNext(...)@428: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that get(...) != null

Prev Msg Next Msg

method not available - call not analyzed Info call on void statusChanged(UpdateChecker$STATE)

method	bool isEnabled(UpdateComponent)
pre	component != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@441 != null
post	init'ed(return_value)

method not available - call not analyzed Info call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()

call too complex - analysis skipped Info call on String getName()

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:hasOpt ionString(String, String)

method not available - call not analyzed Info call on bool com.dmdirc.config.ConfigManager:getOpt ionBool(String, String)

	method not available - call not analyzed	Info	call on Identity com.dmdirc.config.IdentityManager: getConfigIdentity()
	method not available - call not analyzed	Info	call on void com.dmdirc.config.Identity:setOption(S tring, String, String)

	method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
	method not available - call not analyzed	Info	call on int com.dmdirc.config.ConfigManager:getOpti onInt(String, String)