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

    • Kind Annotation Text

  • com.dmdirc.updater.components.ModeAliasesComponent__static_init

    • Kind Annotation Text

  • bool doInstall(String)

    • Kind Annotation Text
    postreturn_value == 0
    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

  • String getFriendlyName()

    • Kind Annotation Text
    postreturn_value == &"Mode aliases"

  • String getFriendlyVersion()

    • Kind Annotation Text
    postjava.lang.String:valueOf(...)._tainted == 0
    postreturn_value == &java.lang.String:valueOf(...)
    unanalyzedcall on com.dmdirc.config.ConfigManager:getOptionIn t
    unanalyzedcall on com.dmdirc.config.ConfigManager:hasOptionIn t
    unanalyzedcall on com.dmdirc.config.IdentityManager:getGlobal Config

  • String getName()

    • Kind Annotation Text
    postreturn_value == &"modealiases"

  • Version getVersion()

    • Kind Annotation Text
    presumptioncom.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@62 != null
    postinit'ed(new Version(getVersion#1).intVersion)
    postnew Version(getVersion#1) num objects <= 1
    postnew Version(getVersion#1).strVersion == null
    postnew Version(getVersion#2) num objects <= 1
    postnew Version(getVersion#2).intVersion == -1
    postnew Version(getVersion#2).strVersion == null
    postreturn_value in Addr_Set{&amp;new Version(getVersio n#2),&amp;new Version(getVersion#1)}
    test_vectorcom.dmdirc.config.ConfigManager:hasOptionInt(... )@64: {0}, {1}