Messages

Last Msg First Msg

method

com.dmdirc.actions.ActionCondition__static_init

method	void com.dmdirc.actions.ActionCondition(int, ActionComponent, ActionComparison, String)
post	this.arg == arg
post	init'ed(this.arg)
post	this.comparison == comparison
post	init'ed(this.comparison)
post	this.component == component
post	init'ed(this.component)
post	this.starget == &""
post	this.target == target
post	init'ed(this.target)

method	void com.dmdirc.actions.ActionCondition(String, ActionComparison, String)
post	this.arg == -1
post	this.comparison == comparison
post	init'ed(this.comparison)
post	this.starget == starget
post	init'ed(this.starget)
post	this.target == target
post	init'ed(this.target)

method	bool test(ActionSubstitutor, Object[])
pre	args != null
pre	sub != null
pre	sub.type != null
pre	this.arg >= -1
pre	this.comparison != null
pre	init'ed(this.target)
pre	(soft) this.arg < args.length
pre	(soft) init'ed(args[0])
pre	(soft) init'ed(args[1])
pre	(soft) args[1].length in {1..2³²-1}
pre	(soft) init'ed(args[2])
pre	(soft) args[2].length in {1..2³²-1}
pre	(soft) init'ed(args[...])
pre	(soft) sub.type.type != null
pre	(soft) this.component != null
pre	(soft) init'ed(this.starget)
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map$Entry:getValue
unanalyzed	call on [Ljava.lang.String;:instanceof
unanalyzed	call on java.lang.String:instanceof
unanalyzed	call on java.lang.String:split
unanalyzed	call on doServerSubstitutions
unanalyzed	call on doComponentSubstitutions
unanalyzed	call on getServer
unanalyzed	call on getState
unanalyzed	call on com.dmdirc.ServerState:equals
unanalyzed	call on getCompatibleComponents
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.lang.Object:toString
unanalyzed	call on get
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on getType
unanalyzed	call on getArgTypes
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on appliesTo
test_vector	this.arg: {0..2³²-1}, {-1}

Prev Msg Next Msg

unused assignment in callee

click for all messages in this file Low Prob.

Unused assignment to (java.lang.StringBuilder:toStr ing(...)._tainted) in doSubstitution

Prev Msg Next Msg

call too complex - analysis skipped Info call on bool test(Object, Object)

call too complex - analysis skipped Info call on Object get(Object)

call too complex - analysis skipped Info call on bool test(Object, Object)

method	int getArg()
pre	init'ed(this.arg)
post	return_value == this.arg
post	init'ed(return_value)

method	ActionComponent getComponent()
pre	init'ed(this.component)
post	return_value == this.component
post	init'ed(return_value)

method	ActionComparison getComparison()
pre	init'ed(this.comparison)
post	return_value == this.comparison
post	init'ed(return_value)

method	String getTarget()
pre	init'ed(this.target)
post	return_value == this.target
post	init'ed(return_value)

method	void setArg(int)
post	this.arg == arg
post	init'ed(this.arg)

method	void setComponent(ActionComponent)
post	this.component == component
post	init'ed(this.component)

method	void setComparison(ActionComparison)
post	this.comparison == comparison
post	init'ed(this.comparison)

method	void setTarget(String)
post	this.target == target
post	init'ed(this.target)

method	String getStarget()
pre	init'ed(this.starget)
post	return_value == this.starget
post	init'ed(return_value)

method	void setStarget(String)
post	this.starget == starget
post	init'ed(this.starget)

method	String toString()
pre	init'ed(this.arg)
pre	init'ed(this.comparison)
pre	init'ed(this.component)
pre	init'ed(this.starget)
pre	init'ed(this.target)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)

method	bool equals(Object)
pre	(soft) init'ed(obj.arg)
pre	(soft) init'ed(obj.comparison)
pre	(soft) init'ed(obj.component)
pre	(soft) init'ed(obj.starget)
pre	(soft) init'ed(obj.target)
pre	(soft) init'ed(this.arg)
pre	(soft) init'ed(this.comparison)
pre	(soft) init'ed(this.component)
pre	(soft) this.starget != null
pre	(soft) this.target != null
post	init'ed(return_value)

method	int hashCode()
pre	init'ed(this.arg)
pre	this.comparison != null
pre	this.target != null
pre	(soft) this.component != null
pre	(soft) this.starget != null
presumption	java.lang.String:hashCode(...)@216 in {-433_856_121..216_960_272}
presumption	this.arg + java.lang.String:hashCode(...)100 + java.lang.Object:hashCode(...)@21610_000 + java.lang.String:hashCode(...)@216*100_000 in {-2³¹..2³²-1}
post	init'ed(return_value)
test_vector	this.arg: {-2³¹..-2, 0..2³²-1}, {-1}

	call too complex - analysis skipped	Info	call on Object get(Object)
	call too complex - analysis skipped	Info	call on bool test(Object, Object)