Messages

Last Msg First Msg

method

com.dmdirc.installer.LinuxInstaller__static_init

method

void com.dmdirc.installer.LinuxInstaller()

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

method	bool isRoot()
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
presumption	getCLIParser(...).params != null
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	com/dmdirc/installer/cliparser/CLIParser.me != null
post	init'ed(return_value)
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
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	bool validFile(String)
pre	filename != null
post	init'ed(return_value)

method	String defaultInstallLocation()
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
presumption	getCLIParser(...).params != null
post	com/dmdirc/installer/cliparser/CLIParser.me != null
post	init'ed(java.lang.String:valueOf(...)._tainted)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	init'ed(return_value)
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 ArrayList(CLIParser#2) num objects == 0
post	new ArrayList(CLIParser#3) num objects == 0
post	new CLIParser(getCLIParser#1) num objects == 0
post	new CLIParser(getCLIParser#1).helpParam == null
post	init'ed(new CLIParser(getCLIParser#1).helpParam)
post	new CLIParser(getCLIParser#1).paramList == &new ArrayList(CLIParser#2)
post	init'ed(new CLIParser(getCLIParser#1).paramList)
post	new CLIParser(getCLIParser#1).params == &new Hashtable(CLIParser#1)
post	init'ed(new CLIParser(getCLIParser#1).params)
post	new CLIParser(getCLIParser#1).redundant == &new ArrayList(CLIParser#3)
post	init'ed(new CLIParser(getCLIParser#1).redundant)
post	new Hashtable(CLIParser#1) num objects == 0
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
unanalyzed	call on java.lang.String:valueOf
test_vector	java.lang.String:isEmpty(...)@62: {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	com.dmdirc.installer.LinuxInstaller$1__static_ init
presumption	com.dmdirc.installer.Installer$ShortcutType. DESKTOP != null
presumption	com.dmdirc.installer.Installer$ShortcutType.MENU != null
presumption	com.dmdirc.installer.Installer$ShortcutType. PROTOCOL != null
presumption	com.dmdirc.installer.Installer$ShortcutType. QUICKLAUNCH != null
presumption	com.dmdirc.installer.Installer$ShortcutType. UNINSTALLER != null
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length@75 >= 1
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@75 >= 0
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@75 < com.dmdirc.installer.Installer$ShortcutT ype:values(...).length@75
presumption	com.dmdirc.installer.Installer_ShortcutType:values( ...)@75 != null
post	new int[](LinuxInstaller$1__static_init#1) num objects == 1

method	bool supportsShortcut(Installer$ShortcutType)
pre	shortcutType != null
pre	(soft) init'ed(com.dmdirc.installer. LinuxInstaller$1__static_init.new int[](LinuxInstal ler$1__static_init#1)[...])
pre	(soft) init'ed(com/dmdirc/installer/cliparser/CLIPa rser.me)
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length >= 1
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length - com.dmdirc.installer.Installer_Shortc utType:ordinal(...)@75 in range
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@75 < com.dmdirc.installer.Installer$ShortcutT ype:values(...).length
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@75 >= 0
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	init'ed(return_value)
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#3) 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
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	com.dmdirc.installer.LinuxInstaller$1__static_init. new int[](LinuxInstaller$1__static_init#1)[...]: {1}, {2}, {3..5}, {-2³¹.. 0, 6..2³²-1}

method not available - call not analyzed Info call on Installer$ShortcutType[] com.dmdirc. installer.Installer$ShortcutType:values()

method not available - call not analyzed Info call on int com.dmdirc.installer.Installer$Shortcut Type:ordinal()

method not available - call not analyzed Info call on int com.dmdirc.installer.Installer$Shortcut Type:ordinal()

method	void setupShortcut(String, Installer$ShortcutType)
pre	(soft) init'ed(com.dmdirc.installer. LinuxInstaller$1__static_init.new int[](LinuxInstal ler$1__static_init#1)[...])
pre	(soft) init'ed(com/dmdirc/installer/cliparser/CLIPa rser.me)
pre	(soft) shortcutType != null
pre	(soft) this.step != null
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length >= 1
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length - com.dmdirc.installer.Installer_Shortc utType:ordinal(...)@106 in range
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@106 < com.dmdirc.installer.Installer$Shortcut Type:values(...).length
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@106 >= 0
presumption	java.io.File:getParentFile(...)@187 != null
presumption	java.io.File:getParentFile(...)@188 != null
presumption	java.lang.Runtime:exec(...)@168 != null
presumption	java.lang.Runtime:getRuntime(...)@168 != null
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	possibly_updated(new ArrayList(CLIParser#2) num objects)
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	possibly_updated(new ArrayList(CLIParser#3) num objects)
post	new ArrayList(CLIParser#3) num objects <= 1
post	possibly_updated(new CLIParser(getCLIParser#1) num objects)
post	new CLIParser(getCLIParser#1) num objects <= 1
post	possibly_updated(new CLIParser(getCLIParser#1). helpParam)
post	init'ed(new CLIParser(getCLIParser#1).helpParam)
post	possibly_updated(new CLIParser(getCLIParser#1). paramList)
post	init'ed(new CLIParser(getCLIParser#1).paramList)
post	possibly_updated(new CLIParser(getCLIParser#1). params)
post	init'ed(new CLIParser(getCLIParser#1).params)
post	possibly_updated(new CLIParser(getCLIParser#1). redundant)
post	init'ed(new CLIParser(getCLIParser#1).redundant)
post	possibly_updated(new Hashtable(CLIParser#1) num objects)
post	new Hashtable(CLIParser#1) num objects <= 1
unanalyzed	call on isRoot
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on com.dmdirc.installer.Installer$ShortcutType :ordinal
unanalyzed	call on java.io.PrintWriter:println
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	com.dmdirc.installer.LinuxInstaller$1__static_init. new int[](LinuxInstaller$1__static_init#1)[...]: {2}, {3}, {4}, {5}, {-2³¹..1, 6..2³²-1}
test_vector	java.io.File:exists(...)@187: {1}, {0}

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into filename

Prev Msg Next Msg

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into command

Prev Msg Next Msg

method not available - call not analyzed Info call on int com.dmdirc.installer.Installer$Shortcut Type:ordinal()

method not available - call not analyzed Info call on void com.dmdirc.installer.StreamReader:star t()

method	void writeFile(PrintWriter, String)
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
pre	writer != null
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	com/dmdirc/installer/cliparser/CLIParser.me != null
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
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method	void postInstall(String)
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
post	com/dmdirc/installer/cliparser/CLIParser.me == One-of{old com/dmdirc/installer/cliparser/CLIParse r.me, &new CLIParser(getCLIParser#1)}
post	com/dmdirc/installer/cliparser/CLIParser.me != null
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
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get

method not available - call not analyzed	Info	call on Installer$ShortcutType[] com.dmdirc. installer.Installer$ShortcutType:values()
method not available - call not analyzed	Info	call on int com.dmdirc.installer.Installer$Shortcut Type:ordinal()
method not available - call not analyzed	Info	call on int com.dmdirc.installer.Installer$Shortcut Type:ordinal()