Messages

Last Msg First Msg

method

com.dmdirc.installer.WindowsInstaller__static_ init

method

void com.dmdirc.installer.WindowsInstaller()

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

method	String defaultInstallLocation()
pre	init'ed(com/dmdirc/installer/cliparser/CLIParser. me)
presumption	getCLIParser(...).params != null
presumption	getParam(...).myValue@43 != 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	return_value != 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 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.lang.System:getProperty
unanalyzed	call on java.lang.String:indexOf
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(...)@46: {0}, {1}
test_vector	java.lang.System:getenv(...)@47: Inverse{null}, Addr_Set{null}

Prev Msg Next Msg

null dereference

click for all messages in this file Medium Prob.

check that getParam(...) != null

Prev Msg Next Msg

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

method	bool isVista()
presumption	java.lang.System:getProperty(...)@77 != null
post	init'ed(return_value)

method	bool isNT()
presumption	java.lang.System:getProperty(...)@86 != null
post	init'ed(return_value)

method	com.dmdirc.installer.WindowsInstaller$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@94 >= 1
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@94 >= 0
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@94 < com.dmdirc.installer.Installer$ShortcutT ype:values(...).length@94
presumption	com.dmdirc.installer.Installer_ShortcutType:values( ...)@94 != null
post	new int[](WindowsInstaller$1__static_init#1) num objects == 1

method	bool supportsShortcut(Installer$ShortcutType)
pre	shortcutType != null
pre	(soft) init'ed(com.dmdirc.installer. WindowsInstaller$1__static_init.new int[](WindowsInstaller$1__static_init#1)[...])
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length >= 1
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@94 < com.dmdirc.installer.Installer$ShortcutT ype:values(...).length
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@94 >= 0
presumption	java.lang.System:getProperty(...)@97 != null
post	init'ed(return_value)
test_vector	com.dmdirc.installer.WindowsInstaller$1__static_ init.new int[](WindowsInstaller$1__static_ init#1)[...]: {1}, {2..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	String getMenuName()
post	return_value == &"Start menu"

method	void addRegistryKey(String)
pre	this.step != null
unanalyzed	call on addText
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.lang.Thread

method	void editRegistryValue(String, String, String)
pre	data != null
pre	this.step != null
pre	value != null
unanalyzed	call on addText
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:toArray
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.lang.Thread

method	void editRegistryValue(String, String, String, String)
pre	data != null
pre	this.step != null
pre	value != null
presumption	java.util.ArrayList:size(...)@169 >= 0
unanalyzed	call on addText
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.lang.Thread
test_vector	java.lang.String:isEmpty(...)@156: {0}, {1}
test_vector	java.lang.String:isEmpty(...)@164: {1}, {0}

method	int execAndWait(String[])
pre	(soft) this.step != null
presumption	java.lang.Runtime:exec(...)@180 != null
presumption	java.lang.Runtime:getRuntime(...)@180 != null
post	init'ed(return_value)
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.lang.Thread
test_vector	java.lang.Process:exitValue(...)@187: {0}, {-2³¹..-1, 1..2³²-1}

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

method	void setupShortcut(String, Installer$ShortcutType)
pre	shortcutType != null
pre	(soft) init'ed(com.dmdirc.installer. WindowsInstaller$1__static_init.new int[](WindowsInstaller$1__static_init#1)[...])
pre	(soft) location != null
pre	(soft) this.step != null
presumption	com.dmdirc.installer.Installer$ShortcutType:values( ...).length >= 1
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@216 < com.dmdirc.installer.Installer$Shortcut Type:values(...).length
presumption	com.dmdirc.installer.Installer_ShortcutType:ordinal (...)@216 >= 0
unanalyzed	call on com.dmdirc.installer.Installer$ShortcutType :ordinal
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on addText
unanalyzed	call on execAndWait
unanalyzed	call on editRegistryValue
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:toArray
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
unanalyzed	call on java.lang.Thread
test_vector	com.dmdirc.installer.WindowsInstaller$1__static_ init.new int[](WindowsInstaller$1__static_ init#1)[...]: {1}, {2}, {3}, {4}, {5}, {-2³¹..0, 6..2³²-1}
test_vector	java.io.File:exists(...)@212: {0}, {1}
test_vector	java.io.File:exists(...)@301: {1}, {0}
test_vector	java.io.File:exists(...)@307: {0}, {1}
test_vector	java.lang.String:length(...)@293: {1.. 2³²-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

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

Prev Msg Next Msg

unused assignment

click for all messages in this file Low Prob.

Unused assignment into key

Prev Msg Next Msg

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()