WindowsInstaller.java

WindowsInstaller.java

current inspection = 2009-09-03 21:56:13 (id #1)

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void addRegistryKey(String)

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

com.dmdirc.installer.WindowsInstaller$1__static_init

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

void com.dmdirc.installer.WindowsInstaller()

Kind	Annotation Text

com.dmdirc.installer.WindowsInstaller__static_init

Kind	Annotation Text

String defaultInstallLocation()

Kind	Annotation Text
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	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	java.lang.StringBuilder:toString(...)._tainted == 0
post	new ArrayList(CLIParser#2) num objects <= 1
post	new ArrayList(CLIParser#2) num objects == 0
post	new ArrayList(CLIParser#3) num objects == 0
post	new ArrayList(CLIParser#3) num objects == new ArrayList(CLIParser#2) num objects
post	new CLIParser(getCLIParser#1) num objects == 0
post	new CLIParser(getCLIParser#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)
post	new Hashtable(CLIParser#1) num objects == 0
post	new Hashtable(CLIParser#1) num objects == new ArrayList(CLIParser#2) num objects
post	return_value != null
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:valueOf
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Hashtable
unanalyzed	call on java.util.Map:containsKey
unanalyzed	call on java.util.Map:get
test_vector	java.lang.String:isEmpty(...)@46: {0}, {1}
test_vector	java.lang.System:getenv(...)@47: Inverse{null}, Addr_Set{null}

void editRegistryValue(String, String, String)

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

void editRegistryValue(String, String, String, String)

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

int execAndWait(String[])

Kind	Annotation Text
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 java.lang.Thread
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
test_vector	java.lang.Process:exitValue(...)@187: {0}, {-2³¹..-1, 1..2³²-1}

String getMenuName()

Kind	Annotation Text
post	return_value == &"Start menu"

bool isNT()

Kind	Annotation Text
presumption	java.lang.System:getProperty(...)@86 != null
post	init'ed(return_value)

bool isVista()

Kind	Annotation Text
presumption	java.lang.System:getProperty(...)@77 != null
post	init'ed(return_value)

void setupShortcut(String, Installer$ShortcutType)

Kind	Annotation Text
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
pre	shortcutType != 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 addText
unanalyzed	call on com.dmdirc.installer.Installer$ShortcutType :ordinal
unanalyzed	call on com.dmdirc.installer.StreamReader
unanalyzed	call on com.dmdirc.installer.StreamReader:start
unanalyzed	call on editRegistryValue
unanalyzed	call on execAndWait
unanalyzed	call on java.io.IOException:getMessage
unanalyzed	call on java.lang.Process:exitValue
unanalyzed	call on java.lang.Process:getErrorStream
unanalyzed	call on java.lang.Process:getInputStream
unanalyzed	call on java.lang.Process:waitFor
unanalyzed	call on java.lang.Runtime:exec
unanalyzed	call on java.lang.Runtime:getRuntime
unanalyzed	call on java.lang.SecurityException:getMessage
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:isEmpty
unanalyzed	call on java.lang.System:getProperty
unanalyzed	call on java.lang.Thread
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.ArrayList:add
unanalyzed	call on java.util.ArrayList:size
unanalyzed	call on java.util.ArrayList:toArray
unanalyzed	call on javax.swing.SwingUtilities:invokeLater
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}

bool supportsShortcut(Installer$ShortcutType)

Kind	Annotation Text
pre	(soft) init'ed(com.dmdirc.installer. WindowsInstaller$1__static_init.new int[](WindowsInstaller$1__static_init#1)[...])
pre	shortcutType != null
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}

bool validFile(String)

Kind	Annotation Text
pre	filename != null
post	init'ed(return_value)