LauncherComponent.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void com.dmdirc.updater.components.LauncherComponent()

    • Kind Annotation Text

  • com.dmdirc.updater.components.LauncherComponent__static_init

    • Kind Annotation Text
    postplatform == &""
    postversion == -1

  • bool doInstall(String)

    • Kind Annotation Text
    preplatform != null
    presumptioninit'ed(java.io.File.separator)
    postreturn_value == 1
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on extractResource
    unanalyzedcall on extractResources
    unanalyzedcall on getFileListing
    unanalyzedcall on getResourceBytes
    unanalyzedcall on getResourcesStartingWithAsBytes
    unanalyzedcall on java.io.BufferedInputStream
    unanalyzedcall on java.io.BufferedInputStream:close
    unanalyzedcall on java.io.BufferedInputStream:read
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.File:getPath
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:isFile
    unanalyzedcall on java.io.File:length
    unanalyzedcall on java.io.File:listFiles
    unanalyzedcall on java.io.File:mkdirs
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.FileInputStream:close
    unanalyzedcall on java.io.FileInputStream:read
    unanalyzedcall on java.io.FileOutputStream
    unanalyzedcall on java.io.FileOutputStream:close
    unanalyzedcall on java.io.FileOutputStream:flush
    unanalyzedcall on java.io.FileOutputStream:write
    unanalyzedcall on java.lang.String:indexOf
    unanalyzedcall on java.lang.String:lastIndexOf
    unanalyzedcall on java.lang.String:length
    unanalyzedcall on java.lang.String:startsWith
    unanalyzedcall on java.lang.String:substring
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Arrays:asList
    unanalyzedcall on java.util.Enumeration:hasMoreElements
    unanalyzedcall on java.util.Enumeration:nextElement
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.zip.ZipEntry:getName
    unanalyzedcall on java.util.zip.ZipEntry:getSize
    unanalyzedcall on java.util.zip.ZipEntry:isDirectory
    unanalyzedcall on java.util.zip.ZipFile
    unanalyzedcall on java.util.zip.ZipFile:entries
    unanalyzedcall on java.util.zip.ZipFile:getEntry
    unanalyzedcall on java.util.zip.ZipFile:getInputStream
    test_vectorjava.io.File:exists(...)@107: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@104: {0}, {1}
    test_vectorjava.lang.String:equalsIgnoreCase(...)@104: {1}, {0}

  • String getFriendlyName()

    • Kind Annotation Text
    postreturn_value == &"Launcher"

  • String getFriendlyVersion()

    • Kind Annotation Text
    preinit'ed(version)
    postjava.lang.String:valueOf(...)._tainted == 0
    postreturn_value == &java.lang.String:valueOf(...)

  • String getName()

    • Kind Annotation Text
    preinit'ed(platform)
    postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
    postjava.lang.StringBuilder:toString(...)._tainted == platform._tainted
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)

  • Version getVersion()

    • Kind Annotation Text
    preinit'ed(version)
    postinit'ed(return_value.intVersion)
    postnew Version(getVersion#1) num objects == 1
    postreturn_value == &new Version(getVersion#1)
    postreturn_value.intVersion == version
    postreturn_value.strVersion == null

  • bool isUsingLauncher()

    • Kind Annotation Text
    preinit'ed(version)
    postinit'ed(return_value)

  • void setLauncherInfo(String)

    • Kind Annotation Text
    preinfo != null
    presumptionjava.lang.String:indexOf(...)@51 <= 232-2
    postinit'ed(java.lang.String:substring(...)._tainted)
    postplatform == One-of{old platform, &amp;java.lang. String:substring(...)}
    postpossibly_updated(version)
    unanalyzedcall on java.util.List:add
    test_vectorjava.lang.String:indexOf(...)@51: {-231.. -2, 0..232-2}, {-1}