Messages

Last Msg First Msg

method

com.dmdirc.addons.windowstatus.WindowStatusPlugin_ _static_init

method	void com.dmdirc.addons.windowstatus. WindowStatusPlugin()
post	this.panel == &new WindowStatusPanel(WindowStat usPlugin#1)
post	new JLabel(WindowStatusPanel#1) num objects == 1
post	new WindowStatusPanel(WindowStatusPlugin#1) num objects == 1
post	this.panel.label == &new JLabel(WindowStatusPan el#1)
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.BorderFactory:createEtchedBorde r
unanalyzed	call on com.dmdirc.addons.windowstatus. WindowStatusPanel:setBorder
unanalyzed	call on net.miginfocom.swing.MigLayout
unanalyzed	call on com.dmdirc.addons.windowstatus. WindowStatusPanel:setLayout
unanalyzed	call on com.dmdirc.addons.windowstatus. WindowStatusPanel:add

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

method	void onLoad()
presumption	com.dmdirc.Main:getUI(...)@71 != null
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ FRAME_CHANGED)
presumption	com.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@71 != null
unanalyzed	call on com.dmdirc.Main:getUI
unanalyzed	call on updateStatus
unanalyzed	call on com.dmdirc.ui.interfaces.UIController:getAc tiveWindow
unanalyzed	call on com.dmdirc.ui.interfaces.InputWindow:getCon tainer

method not available - call not analyzed Info call on UIController com.dmdirc.Main:getUI()

method not available - call not analyzed Info call on StatusBar com.dmdirc.ui.interfaces. UIController:getStatusBar()

method not available - call not analyzed Info call on void com.dmdirc.ui.interfaces. StatusBar:addComponent(StatusBarComponent)

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

method	void onUnload()
presumption	com.dmdirc.Main:getUI(...)@82 != null
presumption	com.dmdirc.ui.interfaces.UIController:getStatusBar( ...)@82 != null

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

method	void processEvent(ActionType, StringBuffer, Object[])
pre	type != null
pre	(soft) arguments != null
pre	(soft) arguments.length >= 1
pre	(soft) init'ed(arguments[0])
presumption	init'ed(com.dmdirc.actions.CoreActionType.CLIENT_ FRAME_CHANGED)
test_vector	java.lang.Object:equals(...)@95: {0}, {1}

call too complex - analysis skipped Info call on void updateStatus(FrameContainer)

method	void updateStatus()
presumption	com.dmdirc.Main:getUI(...)@104 != null
test_vector	com.dmdirc.ui.interfaces.UIController:getActiveWind ow(...)@104: Addr_Set{null}, Inverse{null}

method not available - call not analyzed Info call on UIController com.dmdirc.Main:getUI()

method not available - call not analyzed Info call on Window com.dmdirc.ui.interfaces. UIController:getActiveWindow()

method not available - call not analyzed Info call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()

call too complex - analysis skipped Info call on void updateStatus(FrameContainer)

method	void updateStatus(FrameContainer)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
pre	(soft) init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) this.panel != null
pre	(soft) this.panel.label != null
presumption	com.dmdirc.Channel:getChannelInfo(...)@126 != null
presumption	com.dmdirc.Query:getServer(...)@176 != null
presumption	com.dmdirc.Query:getServer(...)@177 != null
presumption	com.dmdirc.Server:getParser(...)@177 != null
presumption	com.dmdirc.parser.irc.ChannelClientInfo:getImportan tModePrefix(...)@137 != null
presumption	com.dmdirc.parser.irc.ChannelInfo:getChannelClients (...)@133 != null
presumption	com.dmdirc.parser.irc.ClientInfo:getRealName(... )@179 != null
presumption	getGlobalConfig(...).sources != null
presumption	java.lang.Integer:intValue(...)@158 <= 2³²-2
presumption	java.util.Iterator:next(...)@133 != null
presumption	java.util.Iterator:next(...)@165 != null
presumption	java.util.Map:entrySet(...)@165 != null
post	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(new ArrayList(getSources#1) num objects)
post	new ArrayList(getSources#1) num objects == 0
post	new ArrayList(getSources#1) num objects <= 1
post	init'ed(new ConfigManager(getGlobalConfig#1) num objects)
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects <= 1
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	init'ed(new ConfigManager(getGlobalConfig#1).file)
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	init'ed(new MapList(ConfigManager#1) num objects)
post	new MapList(ConfigManager#1) num objects == 0
post	new MapList(ConfigManager#1) num objects <= 1
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on java.lang.Boolean:parseBoolean
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on javax.swing.JLabel:setText
test_vector	current: Inverse{null}, Addr_Set{null}
test_vector	com.dmdirc.Channel:instanceof(...)@124: {0}, {1}
test_vector	com.dmdirc.Query:instanceof(...)@172: {0}, {1}
test_vector	com.dmdirc.Server:getParser(...)@176: Addr_Set{null}, Inverse{null}
test_vector	com.dmdirc.Server:instanceof(...)@120: {0}, {1}
test_vector	com.dmdirc.parser.irc.IRCParser:getClientInfo(... )@177: Addr_Set{null}, Inverse{null}
test_vector	java.lang.Boolean:parseBoolean(...)@159: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@139: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@180: {1}, {0}
test_vector	java.util.Iterator:hasNext(...)@133: {0}, {1}
test_vector	java.util.Iterator:hasNext(...)@165: {0}, {1}
test_vector	java.util.Map:containsKey(...)@136: {1}, {0}
test_vector	java.util.Map:get(...)@153: Inverse{null}, Addr_Set{null}

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

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

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

method not available - call not analyzed Info call on int com.dmdirc.parser.irc.ChannelInfo:getUs erCount()

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 long com.dmdirc.parser.irc.ChannelClientInf o:getImportantModeValue()

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

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

method not available - call not analyzed Info call on String com.dmdirc.Query:getHost()

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

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

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

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

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

method not available - call not analyzed Info call on String com.dmdirc.Query:getHost()

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

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

method	void showConfig(PreferencesManager)
pre	manager != null
pre	manager.categories != null
pre	init'ed(com/dmdirc/config/IdentityManager. globalconfig)
pre	(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
presumption	category.isInline@198 == 1
presumption	getCategory(...).subcats@208 != null
post	com/dmdirc/config/IdentityManager.globalconfig != null
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(getSources#1) num objects == 0
post	new ConfigManager(getGlobalConfig#1) num objects == 0
post	new MapList(ConfigManager#1) num objects == 0
post	new ArrayList(getSources#1) num objects <= 1
post	new ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
post	new MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
post	new ConfigManager(getGlobalConfig#1).channel == &java.lang.StringBuilder:toString(...)
post	init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). channel)
post	new ConfigManager(getGlobalConfig#1).ircd == &""
post	new ConfigManager(getGlobalConfig#1).network == &""
post	new ConfigManager(getGlobalConfig#1).server == &""
post	init'ed(new ConfigManager(getGlobalConfig#1).ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). ircd)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). network)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).listeners == &new MapList(ConfigManager#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). listeners)
post	init'ed(new ConfigManager(getGlobalConfig#1). network)
post	init'ed(new ConfigManager(getGlobalConfig#1). server)
post	new ConfigManager(getGlobalConfig#1).sources == &new ArrayList(getSources#1)
post	init'ed(new ConfigManager(getGlobalConfig#1). sources)
post	not_init'ed(new ConfigManager(getGlobalConfig#1). sources)
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.util.ConfigFile:getKeyDomain
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.Map:get
unanalyzed	call on com.dmdirc.util.ConfigFile:isKeyDomain
unanalyzed	call on hasOption
unanalyzed	call on getOption
unanalyzed	call on java.util.List:iterator
unanalyzed	call on getSources
unanalyzed	call on addListener
unanalyzed	call on com.dmdirc.config.ConfigSource
unanalyzed	call on com.dmdirc.util.MapList
unanalyzed	call on addConfigManager
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Integer:intValue
unanalyzed	call on java.lang.Integer:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on com.dmdirc.logger.Logger:assertTrue
unanalyzed	call on getTarget
unanalyzed	call on com.dmdirc.config.ConfigTarget$TYPE:ordinal
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.util.Collections:sort
unanalyzed	call on com.dmdirc.config.prefs.PreferencesType:equ als
unanalyzed	call on java.lang.String:equals

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

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getCategory(...) != null

Prev Msg Next Msg

method not available - call not analyzed	Info	call on UIController com.dmdirc.Main:getUI()
method not available - call not analyzed	Info	call on StatusBar com.dmdirc.ui.interfaces. UIController:getStatusBar()
method not available - call not analyzed	Info	call on void com.dmdirc.ui.interfaces. StatusBar:addComponent(StatusBarComponent)

	method not available - call not analyzed	Info	call on WritableFrameContainer com.dmdirc.ui. interfaces.InputWindow:getContainer()
	call too complex - analysis skipped	Info	call on void updateStatus(FrameContainer)

method not available - call not analyzed	Info	call on String com.dmdirc.addons.windowstatus. WindowStatusPlugin:getDomain()
method not available - call not analyzed	Info	call on Server com.dmdirc.Query:getServer()
method not available - call not analyzed	Info	call on IRCParser com.dmdirc.Server:getParser()