Messages

Last Msg First Msg

method

com.dmdirc.actions.ActionSubstitutor__static_init

method	void com.dmdirc.actions.ActionSubstitutor(ActionTy pe)
post	this.type == type
post	init'ed(this.type)

method	Set getConfigSubstitutions()
presumption	com.dmdirc.config.ConfigManager:getOptions(...)@62 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@62 != null
post	init'ed(return_value)

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

method not available - call not analyzed Info call on Map com.dmdirc.config.ConfigManager:getOpti ons(String)

method	void doConfigSubstitutions(StringBuilder)
pre	(soft) target != null
presumption	com.dmdirc.config.ConfigManager:getOptions(...)@72 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@72 != null
presumption	java.util.Iterator:next(...)@72 != null
presumption	java.util.Map:entrySet(...)@72 != null
unanalyzed	call on java.lang.String:length
test_vector	java.util.Iterator:hasNext(...)@72: {0}, {1}

method	Map getComponentSubstitutions()
pre	this.type != null
pre	(soft) this.type.type != null
presumption	arr$.length@88 <= 2³²-1
presumption	getArgNames(...).length@91 >= 1
presumption	arr$.length@88 <= getArgNames(...).length@91
presumption	getArgNames(...)@91 != null
presumption	getArgTypes(...)@88 != null
presumption	java.util.Iterator:next(...)@89 != null
post	return_value == &new HashMap(getComponentSubsti tutions#1)
post	new HashMap(getComponentSubstitutions#1) num objects == 1
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.util.List:iterator
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on appliesTo
test_vector	java.util.Iterator:hasNext(...)@89: {0}, {1}

call too complex - analysis skipped Info call on Class[] getArgTypes()

call too complex - analysis skipped Info call on String[] getArgNames()

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

method	void doComponentSubstitutions(StringBuilder, Object[])
pre	this.type != null
pre	(soft) args != null
pre	(soft) init'ed(args[...])
pre	(soft) target != null
pre	(soft) this.type.type != null
presumption	arr$.length@110 <= 2³²-1
presumption	arr$.length@110 <= args.length
presumption	getArgTypes(...)@110 != null
presumption	java.util.Iterator:next(...)@112 != null
unanalyzed	call on java.lang.String:length
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.util.List:iterator
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on appliesTo
test_vector	args[...]: Addr_Set{null}, Inverse{null}
test_vector	get(...)@114: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@112: {0}, {1}

call too complex - analysis skipped Info call on Class[] getArgTypes()

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

method	Map getServerSubstitutions()
pre	this.type != null
pre	(soft) this.type.type != null
presumption	getCompatibleComponents(...)@137 init'ed
presumption	java.util.Iterator:next(...)@137 != null
post	return_value == &new HashMap(getServerSubstitut ions#1)
post	new HashMap(getServerSubstitutions#1) num objects == 1
unanalyzed	call on getType
unanalyzed	call on getArgTypes
unanalyzed	call on java.lang.Class:getSuperclass
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.util.List:iterator
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on appliesTo
test_vector	java.util.Iterator:hasNext(...)@137: {0}, {1}

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

method	void doServerSubstitutions(StringBuilder, Object[])
pre	args != null
pre	(soft) init'ed(args[0])
pre	(soft) target != null
presumption	getCompatibleComponents(...)@164 init'ed
presumption	java.util.Iterator:next(...)@164 != null
presumption	server.myState.state@156 != null
presumption	server.myState@156 != null
unanalyzed	call on java.lang.String:length
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.util.List:iterator
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on appliesTo
test_vector	args.length: {0}, {1..+Inf}
test_vector	args[0]: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.ServerState:equals(...)@160: {1}, {0}
test_vector	get(...)@166: Addr_Set{null}, Inverse{null}
test_vector	getServer(...)@156: Addr_Set{null}, Inverse{null}

call too complex - analysis skipped Info call on Server getServer()

method not available - call not analyzed Info call on bool com.dmdirc.ServerState:equals(Object)

call too complex - analysis skipped Info call on Server getServer()

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

method	bool hasFrameContainer()
pre	this.type != null
pre	(soft) this.type.type != null
presumption	getArgTypes(...).length@187 >= 1
presumption	getArgTypes(...)@186 != null
presumption	getArgTypes(...)@187 != null
post	init'ed(return_value)
test_vector	getArgTypes(...).length@186: {0}, {1..+Inf}

call too complex - analysis skipped Info call on Class[] getArgTypes()

method	bool usesWordSubstitutions()
pre	this.type != null
pre	(soft) this.type.type != null
presumption	getArgTypes(...).length@204 >= 3
presumption	getArgTypes(...)@204 != null
post	init'ed(return_value)

call too complex - analysis skipped Info call on Class[] getArgTypes()

method	void doWordSubstitutions(StringBuilder, Object[])
pre	args != null
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) target != null
unanalyzed	call on java.lang.String:length
test_vector	args.length: {0,1}, {2}, {3..+Inf}
test_vector	java.lang.StringBuffer:length(...)@231: {-2³¹..0}, {1..2³²-1}

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(words.length)

Prev Msg Next Msg

method	String doSubstitution(String, Object[])
pre	args != null
pre	this.type != null
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) this.type.type != null
post	java.lang.StringBuilder:toString(...)._tainted == target._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	return_value == &java.lang.StringBuilder:toStri ng(...)
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 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

method	void doReplacement(StringBuilder, String, String)
pre	haystack != null
pre	(soft) needle != null
presumption	java.lang.StringBuilder:indexOf(...)@273 + java.lang.String:length(...)@276 in {-2³¹..2³²-1}
test_vector	java.lang.StringBuilder:indexOf(...)@273: {-1}, {-2³¹..-2, 0..2³²-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 Map com.dmdirc.config.ConfigManager:getOpti ons(String)

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

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