Messages

Last Msg First Msg

method	com.dmdirc.installer.Main__static_init
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
post	cli == One-of{old com/dmdirc/installer/cliparser/CL IParser.me, &new CLIParser(getCLIParser#1)}
post	cli != null
post	com/dmdirc/installer/cliparser/CLIParser.me == cli
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	new Hashtable(CLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1).helpParam == null
post	new CLIParser(getCLIParser#1).paramList == &new ArrayList(CLIParser#2)
post	new CLIParser(getCLIParser#1).params == &new Hashtable(CLIParser#1)
post	new CLIParser(getCLIParser#1).redundant == &new ArrayList(CLIParser#3)
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.ArrayList

method	void com.dmdirc.installer.Main()
pre	cli != null
pre	cli.params != null
pre	(soft) init'ed(com/dmdirc/installer/cliparser/CLIPa rser.me)
pre	(soft) init'ed(myInstaller)
presumption	getCLIParser(...).params != null
presumption	java.lang.System:getProperty(...)@68 != null
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
post	myInstaller == One-of{old myInstaller, &new WindowsInstaller(getInstaller#1), &new LinuxInstaller(getInstaller#2)}
post	init'ed(myInstaller)
post	wizardDialog == &new InstallerDialog(Main#2)
post	wizardDialog.wizard.dialog == &new InstallerDialog(Main#2)
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) num objects <= 1
post	new ArrayList(StepLayout#1) num objects == 1
post	new InstallerDialog(Main#2) num objects == 1
post	new JButton(WizardControlPanel#1) num objects == 1
post	new JButton(WizardControlPanel#2) num objects == 1
post	new JLabel(TitlePanel#2) num objects == 1
post	new JLabel(TitlePanel#3) num objects == 1
post	new JLabel(WizardControlPanel#3) num objects == 1
post	new ListenerList(InstallerDialog#4) num objects == 1
post	new StepLayout(WizardPanel#1) num objects == 1
post	new TitlePanel(InstallerDialog#1) num objects == 1
post	new WizardControlPanel(InstallerDialog#3) num objects == 1
post	new WizardPanel(InstallerDialog#2) num objects == 1
post	new CLIParser(getCLIParser#1) num objects <= 1
post	init'ed(new CLIParser(getCLIParser#1).helpParam)
post	init'ed(new CLIParser(getCLIParser#1).paramList)
post	init'ed(new CLIParser(getCLIParser#1).params)
post	init'ed(new CLIParser(getCLIParser#1).redundant)
post	new Hashtable(CLIParser#1) num objects <= 1
post	wizardDialog.control == &new WizardControlPanel (InstallerDialog#3)
post	wizardDialog.listeners == &new ListenerList(Ins tallerDialog#4)
post	wizardDialog.title == &new TitlePanel(Installer Dialog#1)
post	wizardDialog.wizard == &new WizardPanel(Install erDialog#2)
post	new LinuxInstaller(getInstaller#2) num objects == 0
post	init'ed(wizardDialog.wizard.layout.currentStep)
post	init'ed(wizardDialog.wizard.layout.hGap)
post	init'ed(wizardDialog.wizard.layout.parent)
post	wizardDialog.wizard.layout.steps == &new ArrayList(StepLayout#1)
post	init'ed(wizardDialog.wizard.layout.vGap)
post	wizardDialog.title.image == &new JLabel(TitlePanel#3)
post	wizardDialog.title.title == &new JLabel(TitlePanel#2)
post	new WindowsInstaller(getInstaller#1) num objects == 0
post	wizardDialog.control.next == &new JButton(WizardControlPanel#2)
post	wizardDialog.control.prev == &new JButton(WizardControlPanel#1)
post	wizardDialog.control.progress == &new JLabel(WizardControlPanel#3)
post	init'ed(wizardDialog.control.step)
post	init'ed(wizardDialog.control.total)
post	wizardDialog.wizard.layout == &new StepLayout(WizardPanel#1)
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.ArrayList
unanalyzed	call on com.dmdirc.installer.Main
unanalyzed	call on javax.swing.UIManager:getSystemLookAndFeelC lassName
unanalyzed	call on javax.swing.UIManager:setLookAndFeel
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on javax.swing.UIManager:put
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.UnsupportedOperationException
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on getStepDescription
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getStepName
unanalyzed	call on getIcon
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on javax.swing.JFrame
unanalyzed	call on java.awt.BorderLayout
unanalyzed	call on javax.swing.JPanel
unanalyzed	call on javax.swing.JLabel
unanalyzed	call on javax.swing.JLabel:getFont
unanalyzed	call on java.awt.Font:getSize
unanalyzed	call on java.awt.Font:deriveFont
unanalyzed	call on javax.swing.JLabel:setFont
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:add
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:setBackg round
unanalyzed	call on javax.swing.border.EtchedBorder
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:setBorde r
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:setLayo ut
unanalyzed	call on javax.swing.JButton
unanalyzed	call on javax.swing.JButton:getFont
unanalyzed	call on java.awt.Dimension
unanalyzed	call on javax.swing.JButton:setPreferredSize
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: setBorder
unanalyzed	call on javax.swing.BoxLayout
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: setLayout
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: add
unanalyzed	call on javax.swing.Box:createHorizontalGlue
unanalyzed	call on javax.swing.Box:createHorizontalStrut
unanalyzed	call on com.dmdirc.util.ListenerList
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set Layout
unanalyzed	call on javax.swing.BorderFactory:createEmptyBorder
unanalyzed	call on com.dmdirc.installer.ui.TitlePanel:getBorde r
unanalyzed	call on javax.swing.BorderFactory:createCompoundBor der
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:getBord er
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:setBord er
unanalyzed	call on com.dmdirc.installer.ui.WizardControlPanel: getBorder
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:add
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.lang.Thread:currentThread
unanalyzed	call on java.lang.Thread:getContextClassLoader
unanalyzed	call on java.lang.ClassLoader:getResource
unanalyzed	call on java.awt.Toolkit:createImage
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set IconImage
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set PreferredSize
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set MaximumSize
unanalyzed	call on javax.swing.JButton:addActionListener
unanalyzed	call on com.dmdirc.util.ListenerList:add
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on com.dmdirc.installer.ui.SwingStep:getStepNa me
unanalyzed	call on com.dmdirc.installer.ui.WizardPanel:add
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on com.dmdirc.installer.Installer
unanalyzed	call on com.dmdirc.installer.LinuxInstaller
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on com.dmdirc.installer.ui.SwingStep
unanalyzed	call on com.dmdirc.installer.ui.StepWelcome:setLayo ut
unanalyzed	call on javax.swing.text.DefaultStyledDocument
unanalyzed	call on javax.swing.JTextPane
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setOpaque
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setEditab le
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setHighli ghter
unanalyzed	call on java.awt.Insets
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setMargin
unanalyzed	call on com.dmdirc.installer.ui.TextLabel:setText
unanalyzed	call on com.dmdirc.installer.ui.StepWelcome:add
unanalyzed	call on com.dmdirc.installer.ui.StepError:setLayout
unanalyzed	call on com.dmdirc.installer.ui.StepError:add
unanalyzed	call on com.dmdirc.installer.Installer:getMenuName
unanalyzed	call on javax.swing.JCheckBox
unanalyzed	call on com.dmdirc.installer.Installer:defaultInsta llLocation
unanalyzed	call on javax.swing.JTextField
unanalyzed	call on com.dmdirc.installer.DefaultSettings
unanalyzed	call on com.dmdirc.installer.DefaultSettings:getSho rtcutMenuState
unanalyzed	call on javax.swing.JCheckBox:setSelected
unanalyzed	call on com.dmdirc.installer.DefaultSettings:getSho rtcutDesktopState
unanalyzed	call on com.dmdirc.installer.DefaultSettings:getSho rtcutQuickState
unanalyzed	call on com.dmdirc.installer.DefaultSettings:getSho rtcutProtocolState
unanalyzed	call on java.awt.GridBagConstraints
unanalyzed	call on java.awt.GridBagLayout
unanalyzed	call on com.dmdirc.installer.ui.StepSettings:setLay out
unanalyzed	call on com.dmdirc.installer.ui.StepSettings:add
unanalyzed	call on com.dmdirc.installer.Installer:supportsShor tcut
unanalyzed	call on javax.swing.Box:createVerticalGlue
unanalyzed	call on com.dmdirc.installer.ui.StepConfirm:setLayo ut
unanalyzed	call on com.dmdirc.installer.ui.StepConfirm:add
unanalyzed	call on com.dmdirc.installer.ui.StepInstall:setLayo ut
unanalyzed	call on javax.swing.JScrollPane
unanalyzed	call on com.dmdirc.installer.ui.StepInstall:add
test_vector	java.lang.String:startsWith(...)@70: {0}, {1}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getParam(...) != null

Prev Msg Next Msg

method not available - call not analyzed Info call on void com.dmdirc.installer.InstallerListener (Main)

method	void disposeOfInstaller()
pre	init'ed(myInstaller)
post	myInstaller == null
test_vector	myInstaller: Addr_Set{null}, Inverse{null}

method	Installer getInstaller()
pre	init'ed(myInstaller)
presumption	java.lang.System:getProperty(...)@101 != null
post	myInstaller == One-of{old myInstaller, &new WindowsInstaller(getInstaller#1), &new LinuxInstaller(getInstaller#2)}
post	init'ed(myInstaller)
post	return_value == myInstaller
post	new LinuxInstaller(getInstaller#2) num objects <= 1
post	new WindowsInstaller(getInstaller#1) num objects <= 1
unanalyzed	call on com.dmdirc.installer.Installer
test_vector	myInstaller: Inverse{null}, Addr_Set{null}
test_vector	java.lang.String:startsWith(...)@104: {0}, {1}

method	void setupCLIParser()
pre	cli != null
pre	cli.paramList != null
pre	cli.params != null
pre	cli.redundant != null
post	init'ed(cli.helpParam)
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.util.List:clear
unanalyzed	call on com.dmdirc.installer.cliparser.CLIParam
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.List:add

method	InstallerDialog getWizardFrame()
pre	init'ed(wizardDialog)
post	return_value == wizardDialog
post	init'ed(return_value)
test_vector	wizardDialog: Inverse{null}, Addr_Set{null}

call too complex - analysis skipped Info call on void com.dmdirc.installer.Main()

method	void setWizardFrame(InstallerDialog)
post	wizardDialog == dialog
post	init'ed(wizardDialog)

method	void main(String[])
pre	args != null
pre	args.length <= 2³²-1
pre	args[...] != null
pre	cli != null
pre	cli.paramList != null
pre	cli.params != null
pre	cli.redundant != null
pre	init'ed(wizardDialog.control.step)
pre	init'ed(wizardDialog.wizard.layout.currentStep)
pre	wizardDialog != null
pre	wizardDialog.control != null
pre	wizardDialog.control.next != null
pre	wizardDialog.control.prev != null
pre	wizardDialog.control.progress != null
pre	wizardDialog.listeners != null
pre	wizardDialog.title != null
pre	wizardDialog.title.image != null
pre	wizardDialog.title.title != null
pre	wizardDialog.wizard != null
pre	wizardDialog.wizard.layout != null
pre	wizardDialog.wizard.layout.steps != null
presumption	cli.helpParam.stringFlag@165 != null
post	init'ed(cli.helpParam)
post	init'ed(java.lang.String:substring(...)._tainted)
post	wizardDialog.control.step >= -2³¹+1
post	init'ed(wizardDialog.control.total)
post	wizardDialog.wizard.layout.currentStep <= 2³²-2
unanalyzed	call on com.dmdirc.installer.Main
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on javax.swing.JLabel:setText
unanalyzed	call on javax.swing.JLabel:setIcon
unanalyzed	call on getStepDescription
unanalyzed	call on java.lang.String:equals
unanalyzed	call on getStepName
unanalyzed	call on getIcon
unanalyzed	call on javax.swing.ImageIcon
unanalyzed	call on java.util.Map:clear
unanalyzed	call on java.util.List:clear
unanalyzed	call on com.dmdirc.installer.cliparser.CLIParam
unanalyzed	call on java.lang.Character:valueOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.List:add
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:charAt
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.io.PrintStream:println
unanalyzed	call on java.io.PrintStream:print
unanalyzed	call on java.lang.Integer:parseInt
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on setValue
unanalyzed	call on java.util.List:get
unanalyzed	call on com.dmdirc.util.ListenerList:get
unanalyzed	call on stepAboutToDisplay
unanalyzed	call on java.util.List:size
unanalyzed	call on java.awt.Container:getTreeLock
unanalyzed	call on java.awt.Container:getComponentCount
unanalyzed	call on java.awt.Container:getComponent
unanalyzed	call on java.awt.Component:isVisible
unanalyzed	call on java.awt.Component:setVisible
unanalyzed	call on java.awt.Container:validate
unanalyzed	call on javax.swing.JButton:setText
unanalyzed	call on javax.swing.JButton:setEnabled
unanalyzed	call on showFirst
unanalyzed	call on java.awt.event.WindowAdapter
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:add WindowListener
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:pac k
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set DefaultCloseOperation
unanalyzed	call on java.awt.MouseInfo:getPointerInfo
unanalyzed	call on java.awt.PointerInfo:getDevice
unanalyzed	call on java.awt.GraphicsDevice:getDefaultConfigura tion
unanalyzed	call on java.awt.GraphicsConfiguration:getBounds
unanalyzed	call on java.awt.Window:getWidth
unanalyzed	call on java.awt.Window:getHeight
unanalyzed	call on java.awt.Window:setLocation
unanalyzed	call on com.dmdirc.installer.ui.InstallerDialog:set Visible
unanalyzed	call on java.awt.Toolkit:getDefaultToolkit
unanalyzed	call on java.lang.ClassLoader:getSystemResource
unanalyzed	call on java.awt.Toolkit:createImage