Messages

Last Msg First Msg

method

com.dmdirc.addons.nickcolours.NickColourPlugin__ static_init

method	void com.dmdirc.addons.nickcolours. NickColourPlugin()
post	this.randColours == &new String[](NickColourPlu gin#1)
post	new String[](NickColourPlugin#1) num objects == 1
post	this.randColours.length == 8
post	this.randColours[0] == &"E90E7F"
post	this.randColours[1] == &"8E55E9"
post	this.randColours[2] == &"B30E0E"
post	this.randColours[3] == &"18B33C"
post	this.randColours[4] == &"58ADB3"
post	this.randColours[5] == &"9E54B3"
post	this.randColours[6] == &"B39875"
post	this.randColours[7] == &"3176B3"

method not available - call not analyzed Info call on void com.dmdirc.plugins.Plugin()

method	void processEvent(ActionType, StringBuffer, Object[])
pre	type != null
pre	(soft) arguments != null
pre	(soft) arguments.length >= 2
pre	(soft) arguments[0] != null
pre	(soft) arguments[1] != null
pre	(soft) this.randColours != null
pre	(soft) this.randColours.length >= 1
pre	(soft) init'ed(this.randColours[...])
presumption	com.dmdirc.Channel:getChannelInfo(...)@70 != null
presumption	com.dmdirc.Channel:getServer(...)@71 != null
presumption	com.dmdirc.Channel:getServer(...)@77 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ GOTNAMES)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ JOIN)
presumption	com.dmdirc.parser.irc.ChannelInfo:getChannelClients (...)@73 != null
presumption	java.util.Iterator:next(...)@73 != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Map
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Client
unanalyzed	call on com.dmdirc.parser.irc.ClientInfo:getParser
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getMyself
unanalyzed	call on com.dmdirc.parser.irc.IRCParser:getIRCStrin gConverter
unanalyzed	call on com.dmdirc.parser.irc.ChannelClientInfo:get Nickname
unanalyzed	call on com.dmdirc.parser.irc.IRCStringConverter:to LowerCase
unanalyzed	call on java.lang.Object:equals
unanalyzed	call on com.dmdirc.config.ConfigManager:hasOptionSt ring
test_vector	java.lang.Object:equals(...)@69: {0}, {1}
test_vector	java.lang.Object:equals(...)@76: {0}, {1}

method not available - call not analyzed Info call on ChannelInfo com.dmdirc.Channel:getChannelIn fo()

method not available - call not analyzed Info call on Server com.dmdirc.Channel:getServer()

method not available - call not analyzed Info call on String com.dmdirc.Server:getNetwork()

method not available - call not analyzed Info call on List com.dmdirc.parser.irc.ChannelInfo:getC hannelClients()

method not available - call not analyzed Info call on Server com.dmdirc.Channel:getServer()

method not available - call not analyzed Info call on String com.dmdirc.Server:getNetwork()

method	void colourClient(String, ChannelClientInfo)
pre	client != null
pre	(soft) this.randColours != null
pre	(soft) this.randColours.length >= 1
pre	(soft) init'ed(this.randColours[...])
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@102 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@108 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@110 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@97 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@99 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@91 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@92 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@94 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getClient(. ..)@97 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getMap(... )@90 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getNickname (...)@103 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getParser(...)@91 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getParser(...)@92 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getParser(...)@94 != null
presumption	com.dmdirc.parser.irc.IRCParser:getIRCStringConvert er(...)@92 != null
presumption	com.dmdirc.parser.irc.IRCParser:getIRCStringConvert er(...)@94 != null
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptionBo ol
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on com.dmdirc.ui.messages.ColourManager:parseC olour
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@102: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@97: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@108: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@110: {0}, {1}
test_vector	java.lang.Object:equals(...)@97: {0}, {1}

method not available - call not analyzed Info call on Map com.dmdirc.parser.irc.ChannelClientInfo :getMap()

method not available - call not analyzed Info call on ClientInfo com.dmdirc.parser.irc. ChannelClientInfo:getClient()

method not available - call not analyzed Info call on IRCParser com.dmdirc.parser.irc. ClientInfo:getParser()

method not available - call not analyzed Info call on IRCStringConverter com.dmdirc.parser.irc. IRCParser:getIRCStringConverter()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelClientInfo:getNickname()

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. IRCStringConverter:toLowerCase(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 String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()

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 ClientInfo com.dmdirc.parser.irc. ChannelClientInfo:getClient()

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

method not available - call not analyzed Info call on String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()

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

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:parseColour(String)

method not available - call not analyzed Info call on String com.dmdirc.parser.irc. ChannelClientInfo:getNickname()

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because parts[0] == null

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because parts[0] == null

Prev Msg Next Msg

Prev Msg Next Msg

test always goes same way

click for all messages in this file Low Prob.

Test predetermined because parts[1] == null

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because parts[1] == null

Prev Msg Next Msg

method	void putColour(Map, Color, Color)
pre	(soft) map != null
presumption	init'ed(com.dmdirc.ChannelClientProperty.NICKLIST_ FOREGROUND)
presumption	init'ed(com.dmdirc.ChannelClientProperty.TEXT_ FOREGROUND)
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@139 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@144 != null
test_vector	nickColour: Addr_Set{null}, Inverse{null}
test_vector	textColour: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@139: {0}, {1}
test_vector	com.dmdirc.config.ConfigManager:getOptionBool(... )@144: {0}, {1}

method	Color getColour(String)
pre	nick != null
pre	this.randColours != null
pre	this.randColours.length >= 1
pre	(soft) init'ed(this.randColours[...])
post	init'ed(return_value)

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that count >= 0

array index out of bounds

Medium Prob.

check that count < this.randColours.length

method not available - call not analyzed Info call on Color com.dmdirc.ui.messages. ColourManager:parseColour(String)

Prev Msg Next Msg

method	Object[][] getData()
presumption	com.dmdirc.config.ConfigManager:getOptions(... )@176 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@176 != null
presumption	java.lang.String:indexOf(...)@179 <= 2³²-2
presumption	java.util.Iterator:next(...)@176 != null
presumption	java.util.List:size(...)@187 >= 1
presumption	java.util.Map:keySet(...)@176 != null
presumption	parts.length >= 2
post	return_value == &new Object[][](getData#3)
post	new Object[](getData#3) num objects in {1..2³²-1}
post	new Object[](getData#3).length == 4
post	new Object[][](getData#3) num objects == 1
post	return_value.length in {1..2³²-1}
post	possibly_updated(return_value[...])
post	new Object[](getData#3) num objects == java.util.List:size(...)@187
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
test_vector	java.lang.String:startsWith(...)@177: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@176: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@190: {0}, {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 String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()

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

Prev Msg Next Msg

array index out of bounds

click for all messages in this file Medium Prob.

check that i < res.length

Prev Msg Next Msg

method	String[] getParts(String)
presumption	com.dmdirc.config.ConfigManager:getOption(...)@207 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@207 != null
post	java.lang.String:split(...)._tainted == 0
post	java.lang.String:split(...).length == undefined
post	java.lang.String:split(...).length == 0, if init'ed
post	java.lang.String:split(...)[0] == undefined
post	java.lang.String:split(...)[0] == null
post	return_value == One-of{&new String[](getParts#1 ), &java.lang.String:split(...), &new String[](getParts#2)}
post	return_value in Addr_Set{&java.lang. String:split(...),&new String[](getParts#1)}
post	new String[](getParts#1) num objects <= 1
post	new String[](getParts#1).length == 2
post	new String[](getParts#1)[0] == null
post	new String[](getParts#1)[1] == null
post	new String[](getParts#2) num objects == 0
post	possibly_updated(new String[](getParts#2).length)
post	possibly_updated(new String[](getParts#2)[0])
post	possibly_updated(new String[](getParts#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 String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()

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

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(parts.length)

Prev Msg Next Msg

Prev Msg Next Msg

use of default init

click for all messages in this file Low Prob.

check if init'ed(parts.length)

test always goes same way

Low Prob.

Test predetermined because parts.length == 0

Prev Msg Next Msg

Prev Msg Next Msg

dead code

click for all messages in this file Low Prob.

Dead code here because parts.length == 0

Prev Msg Next Msg

method	void onLoad()
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ GOTNAMES)
presumption	init'ed(com.dmdirc.actions.CoreActionType.CHANNEL_ JOIN)
presumption	com.dmdirc.config.ConfigManager:getOptionList(... )@222 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@221 != null
presumption	com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@222 != null
post	possibly_updated(this.randColours)
test_vector	com.dmdirc.config.ConfigManager:hasOptionString(... )@221: {0}, {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 String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()

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

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:addLi stener(ActionListener, ActionType[])

method

void onUnload()

method not available - call not analyzed Info call on void com.dmdirc.actions.ActionManager:remov eListener(ActionListener)

method	void showConfig(PreferencesManager)
pre	manager != null
presumption	com.dmdirc.config.prefs.PreferencesManager:getCateg ory(...)@266 != null
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. BOOLEAN)
presumption	init'ed(com.dmdirc.config.prefs.PreferencesType. COLOUR)
unanalyzed	call on com.dmdirc.config.IdentityManager:getGlobal Config
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain
unanalyzed	call on com.dmdirc.config.ConfigManager:getOption
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.config.ConfigManager:getOptions
unanalyzed	call on java.util.Map:keySet
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:size
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.table.DefaultTableModel
unanalyzed	call on javax.swing.JTable
unanalyzed	call on javax.swing.table.DefaultTableCellRenderer
unanalyzed	call on com.dmdirc.addons.nickcolours. ColourRenderer:setOpaque
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on javax.swing.JTable:setFillsViewportHeight
unanalyzed	call on javax.swing.JTable:setDefaultRenderer
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourPanel:setLayout
unanalyzed	call on com.dmdirc.addons.nickcolours. NickColourPanel:add
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:addActionListener

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory(String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory(String, String, PreferencesInterface)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

method not available - call not analyzed Info call on String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

method not available - call not analyzed Info call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)

method not available - call not analyzed Info call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)

	method not available - call not analyzed	Info	call on Server com.dmdirc.Channel:getServer()
	method not available - call not analyzed	Info	call on String com.dmdirc.Server:getNetwork()

method not available - call not analyzed	Info	call on ClientInfo com.dmdirc.parser.irc. ChannelClientInfo:getClient()
method not available - call not analyzed	Info	call on IRCParser com.dmdirc.parser.irc. ClientInfo:getParser()
method not available - call not analyzed	Info	call on ClientInfo com.dmdirc.parser.irc. IRCParser:getMyself()

method not available - call not analyzed	Info	call on ConfigManager com.dmdirc.config. IdentityManager:getGlobalConfig()
method not available - call not analyzed	Info	call on String com.dmdirc.addons.nickcolours. NickColourPlugin:getDomain()
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 ClientInfo com.dmdirc.parser.irc. ChannelClientInfo:getClient()

	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesSetting(PreferencesType, String, String, String, String)
	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesCategory:addSetting(PreferencesSetting)

	method not available - call not analyzed	Info	call on PreferencesCategory com.dmdirc.config. prefs.PreferencesManager:getCategory(String)
	method not available - call not analyzed	Info	call on void com.dmdirc.config.prefs. PreferencesCategory:addSubCategory(PreferencesCateg ory)