IdentityManager.java

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


Filter Options
Annotation Kind:
pre
presumption
post
unanalyzed
test_vector


  • void addConfigManager(ConfigManager)

    • Kind Annotation Text

  • void addIdentity(Identity)

    • Kind Annotation Text
    pre(soft) identity != null
    pre(soft) identity.file != null
    pre(soft) identity.listeners != null
    pre(soft) identity.myTarget != null
    pre(soft) identity.myTarget.type != null
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    pre(soft) init'ed(identity.myTarget.data)
    presumptionjava.util.Iterator:next(...)@330 != null
    presumptionmanager.listeners@330 != null
    presumptionmanager.sources@330 != null
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOptions
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on removeListener
    test_vectorjava.util.Iterator:hasNext(...)@330: {1}, {0}
    test_vectorjava.util.List:contains(...)@321: {0}, {1}

  • void com.dmdirc.config.IdentityManager()

    • Kind Annotation Text

  • com.dmdirc.config.IdentityManager__static_init

    • Kind Annotation Text
    postidentities == &new ArrayList(IdentityManager__ static_init#1)
    postmanagers == &new WeakList(IdentityManager__ static_init#2)
    postnew ArrayList(IdentityManager__static_init#1) num objects == 1
    postnew WeakList(IdentityManager__static_init#2) num objects == 1

  • void extractIdentities(String)

    • Kind Annotation Text
    presumptioncom.dmdirc.util.resourcemanager.ResourceManager:get ResourceManager(...)@151 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on java.lang.System:getProperty

  • Identity getAddonIdentity()

    • Kind Annotation Text
    preinit'ed(addonConfig)
    postinit'ed(return_value)
    postreturn_value == addonConfig

  • Identity getChannelConfig(String, String)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigTarget$1__ static_init.new int[](ConfigTarget$1__static_init#1 )[...])
    prechannel != null
    prenetwork != null
    presumptiongetTarget(...).data@453 != null
    presumptionidentity.myTarget@453 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    presumptionjava.lang.String:isEmpty(...)@440 == 0
    presumptionjava.lang.String:isEmpty(...)@445 == 0
    presumptionjava.util.Iterator:next(...)@453 != null
    postinit'ed(return_value)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ConfigFile(Identity#2) num objects == 0, if init'ed
    postnew ConfigManager(setOption#2) num objects == 0, if init'ed
    postnew ConfigManager(setOption#2).channel == null
    postnew ConfigManager(setOption#2).ircd == null
    postnew ConfigManager(setOption#2).listeners == null
    postnew ConfigManager(setOption#2).network == null
    postnew ConfigManager(setOption#2).server == null
    postnew ConfigManager(setOption#2).sources == null
    postnew ConfigTarget(getTarget#1) num objects == 0, if init'ed
    postnew ConfigTarget(getTarget#1).data == null
    postnew ConfigTarget(getTarget#1).order == 0, if init'ed
    postnew ConfigTarget(getTarget#1).type == null
    postnew Identity(createIdentity#7) num objects == 0, if init'ed
    postnew Identity(createIdentity#7).file == null
    postnew Identity(createIdentity#7).globalConfig == null
    postnew Identity(createIdentity#7).listeners == null
    postnew Identity(createIdentity#7).myTarget == null
    postnew Identity(createIdentity#7).needSave == 0, if init'ed
    postnew Identity(createIdentity#7).sources == null
    postnew MapList(ConfigManager#1) num objects == 0, if init'ed
    postnew WeakList(Identity#1) num objects == 0, if init'ed
    unanalyzedcall on addConfigManager
    unanalyzedcall on addIdentity
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:addDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.ConfigFile:write
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on createIdentity
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on removeListener
    test_vectorgetTarget(...).type@453: Inverse{&com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#8)}, Addr_Set{&com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE...
    test_vectorjava.lang.String:equalsIgnoreCase(...)@454: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@453: {1}, {0}

  • Identity getConfigIdentity()

    • Kind Annotation Text
    preinit'ed(config)
    postinit'ed(return_value)
    postreturn_value == config

  • String getDirectory()

    • Kind Annotation Text
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postreturn_value == &java.lang.StringBuilder:toStri ng(...)

  • ConfigManager getGlobalConfig()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    preinit'ed(globalconfig)
    postglobalconfig != null
    postglobalconfig == One-of{old globalconfig, &new ConfigManager(getGlobalConfig#1)}
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(getSources#1) num objects <= 1
    postnew ConfigManager(getGlobalConfig#1) num objects <= 1
    postnew ConfigManager(getGlobalConfig#1).channel == &amp;java.lang.StringBuilder:toString(...)
    postnew ConfigManager(getGlobalConfig#1).ircd == &amp;""
    postnew ConfigManager(getGlobalConfig#1).listeners == &amp;new MapList(ConfigManager#1)
    postnew ConfigManager(getGlobalConfig#1).network == &amp;""
    postnew ConfigManager(getGlobalConfig#1).server == &amp;""
    postnew ConfigManager(getGlobalConfig#1).sources == &amp;new ArrayList(getSources#1)
    postnew MapList(ConfigManager#1) num objects <= 1
    postreturn_value == globalconfig
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:iterator
    test_vectorglobalconfig: Inverse{null}, Addr_Set{null}

  • Identity getNetworkConfig(String)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigTarget$1__ static_init.new int[](ConfigTarget$1__static_init#1 )[...])
    prenetwork != null
    presumptiongetTarget(...).data@490 != null
    presumptionidentity.myTarget@490 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    presumptionjava.lang.String:isEmpty(...)@482 == 0
    presumptionjava.util.Iterator:next(...)@490 != null
    postinit'ed(return_value)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ConfigFile(Identity#2) num objects == 0, if init'ed
    postnew ConfigManager(setOption#2) num objects == 0, if init'ed
    postnew ConfigManager(setOption#2).channel == null
    postnew ConfigManager(setOption#2).ircd == null
    postnew ConfigManager(setOption#2).listeners == null
    postnew ConfigManager(setOption#2).network == null
    postnew ConfigManager(setOption#2).server == null
    postnew ConfigManager(setOption#2).sources == null
    postnew ConfigTarget(getTarget#1) num objects == 0, if init'ed
    postnew ConfigTarget(getTarget#1).data == null
    postnew ConfigTarget(getTarget#1).order == 0, if init'ed
    postnew ConfigTarget(getTarget#1).type == null
    postnew Identity(createIdentity#7) num objects == 0, if init'ed
    postnew Identity(createIdentity#7).file == null
    postnew Identity(createIdentity#7).globalConfig == null
    postnew Identity(createIdentity#7).listeners == null
    postnew Identity(createIdentity#7).myTarget == null
    postnew Identity(createIdentity#7).needSave == 0, if init'ed
    postnew Identity(createIdentity#7).sources == null
    postnew MapList(ConfigManager#1) num objects == 0, if init'ed
    postnew WeakList(Identity#1) num objects == 0, if init'ed
    unanalyzedcall on addConfigManager
    unanalyzedcall on addIdentity
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:addDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.ConfigFile:write
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on createIdentity
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on removeListener
    test_vectorgetTarget(...).type@490: Inverse{&amp;com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#6)}, Addr_Set{&amp;com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE...
    test_vectorjava.lang.String:equalsIgnoreCase(...)@491: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@490: {1}, {0}

  • List getProfiles()

    • Kind Annotation Text
    presumptionidentity.file@380 != null
    presumptionjava.util.Iterator:next(...)@380 != null
    postnew ArrayList(getProfiles#1) num objects == 1
    postreturn_value == &amp;new ArrayList(getProfiles#1)
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on java.util.Map:containsKey
    test_vectorjava.util.Iterator:hasNext(...)@380: {1}, {0}

  • Identity getServerConfig(String)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigTarget$1__ static_init.new int[](ConfigTarget$1__static_init#1 )[...])
    preserver != null
    presumptiongetTarget(...).data@527 != null
    presumptionidentity.myTarget@527 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    presumptionjava.lang.String:isEmpty(...)@519 == 0
    presumptionjava.util.Iterator:next(...)@527 != null
    postinit'ed(return_value)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ConfigFile(Identity#2) num objects == 0, if init'ed
    postnew ConfigManager(setOption#2) num objects == 0, if init'ed
    postnew ConfigManager(setOption#2).channel == null
    postnew ConfigManager(setOption#2).ircd == null
    postnew ConfigManager(setOption#2).listeners == null
    postnew ConfigManager(setOption#2).network == null
    postnew ConfigManager(setOption#2).server == null
    postnew ConfigManager(setOption#2).sources == null
    postnew ConfigTarget(getTarget#1) num objects == 0, if init'ed
    postnew ConfigTarget(getTarget#1).data == null
    postnew ConfigTarget(getTarget#1).order == 0, if init'ed
    postnew ConfigTarget(getTarget#1).type == null
    postnew Identity(createIdentity#7) num objects == 0, if init'ed
    postnew Identity(createIdentity#7).file == null
    postnew Identity(createIdentity#7).globalConfig == null
    postnew Identity(createIdentity#7).listeners == null
    postnew Identity(createIdentity#7).myTarget == null
    postnew Identity(createIdentity#7).needSave == 0, if init'ed
    postnew Identity(createIdentity#7).sources == null
    postnew MapList(ConfigManager#1) num objects == 0, if init'ed
    postnew WeakList(Identity#1) num objects == 0, if init'ed
    unanalyzedcall on addConfigManager
    unanalyzedcall on addIdentity
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:addDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.ConfigFile:write
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on createIdentity
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on removeListener
    test_vectorgetTarget(...).type@527: Inverse{&amp;com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_ init#7)}, Addr_Set{&amp;com.dmdirc.config. ConfigTarget$TYPE__static_init.new ConfigTarget$TYP E(ConfigTarget$TYPE...
    test_vectorjava.lang.String:equalsIgnoreCase(...)@528: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@527: {1}, {0}

  • List getSources(ConfigManager)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    pre(soft) init'ed(manager.channel)
    pre(soft) init'ed(manager.ircd)
    pre(soft) init'ed(manager.network)
    pre(soft) init'ed(manager.server)
    pre(soft) manager != null
    presumptionidentity.myTarget.type@402 != null
    presumptionidentity.myTarget@402 != null
    presumptionjava.util.Iterator:next(...)@402 != null
    postnew ArrayList(getSources#1) num objects == 1
    postreturn_value == &amp;new ArrayList(getSources#1)
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on getTarget
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    test_vectorjava.util.Iterator:hasNext(...)@402: {1}, {0}

  • void load()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    preinit'ed(globalconfig)
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.FATAL)
    postaddonConfig == &amp;new Identity(load#4)
    postaddonConfig.file == &amp;new ConfigFile(load#2)
    postaddonConfig.listeners == &amp;new WeakList(Identity #1)
    postaddonConfig.myTarget == &amp;new ConfigTarget(load# 1)
    postaddonConfig.myTarget.data == &amp;""
    postaddonConfig.myTarget.order == 500_000
    postaddonConfig.myTarget.type == &amp;com.dmdirc. config.ConfigTarget$TYPE__static_init.new ConfigTarget$TYPE(ConfigTarget$TYPE__static_init#1 )
    postglobalconfig != null
    postglobalconfig == One-of{old globalconfig, &amp;new ConfigManager(getGlobalConfig#1)}
    postinit'ed(addonConfig.globalConfig)
    postinit'ed(addonConfig.needSave)
    postinit'ed(new ConfigManager(getGlobalConfig#1).file)
    postinit'ed(new ConfigManager(setOption#2).channel)
    postinit'ed(new ConfigManager(setOption#2).ircd)
    postinit'ed(new ConfigManager(setOption#2).listeners)
    postinit'ed(new ConfigManager(setOption#2).network)
    postinit'ed(new ConfigManager(setOption#2).server)
    postinit'ed(new ConfigManager(setOption#2).sources)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(getSources#1) num objects <= 1
    postnew ArrayList(getSources#1) num objects == 0
    postnew ConfigFile(load#2) num objects == 1
    postnew ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
    postnew ConfigManager(getGlobalConfig#1).channel == &amp;java.lang.StringBuilder:toString(...)
    postnew ConfigManager(getGlobalConfig#1).ircd == &amp;""
    postnew ConfigManager(getGlobalConfig#1).listeners == &amp;new MapList(ConfigManager#1)
    postnew ConfigManager(getGlobalConfig#1).network == &amp;""
    postnew ConfigManager(getGlobalConfig#1).server == &amp;""
    postnew ConfigManager(getGlobalConfig#1).sources == &amp;new ArrayList(getSources#1)
    postnew ConfigManager(setOption#2) num objects == 0
    postnew ConfigTarget(load#1) num objects == 1
    postnew Identity(load#4) num objects == 1
    postnew MapList(ConfigManager#1) num objects == 0
    postnew MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
    postnew WeakList(Identity#1) num objects == 1
    unanalyzedcall on addConfigManager
    unanalyzedcall on addIdentity
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:appError
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:addDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.ConfigFile:write
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on createIdentity
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.File
    unanalyzedcall on java.io.File:exists
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.lang.Class:getResourceAsStream
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:replace
    unanalyzedcall on java.lang.String:replaceAll
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on removeListener
    test_vectorglobalconfig: Addr_Set{null}, Inverse{null}
    test_vectorjava.util.List:size(...)@85: {-231..-1, 1..232-1}, {0}

  • void loadConfig()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.HIGH)
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    postconfig == One-of{&amp;new Identity(loadConfig#3), old config}
    postinit'ed(config.globalConfig)
    postinit'ed(config.needSave)
    postinit'ed(new ConfigManager(setOption#2).channel)
    postinit'ed(new ConfigManager(setOption#2).ircd)
    postinit'ed(new ConfigManager(setOption#2).listeners)
    postinit'ed(new ConfigManager(setOption#2).network)
    postinit'ed(new ConfigManager(setOption#2).server)
    postinit'ed(new ConfigManager(setOption#2).sources)
    postinit'ed(new ConfigTarget(getTarget#1).data)
    postinit'ed(new ConfigTarget(getTarget#1).order)
    postinit'ed(new ConfigTarget(getTarget#1).type)
    postinit'ed(new Identity(loadConfig#3).file)
    postinit'ed(new Identity(loadConfig#3).globalConfig)
    postinit'ed(new Identity(loadConfig#3).listeners)
    postinit'ed(new Identity(loadConfig#3).myTarget)
    postinit'ed(new Identity(loadConfig#3).needSave)
    postinit'ed(new Identity(loadConfig#3).sources)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(getSources#1) num objects <= 1
    postnew ArrayList(getSources#1) num objects == 0
    postnew ConfigFile(Identity#2) num objects <= 1
    postnew ConfigManager(setOption#2) num objects <= 1
    postnew ConfigManager(setOption#2) num objects == 0
    postnew ConfigTarget(getTarget#1) num objects <= 1
    postnew Identity(loadConfig#3) num objects <= 1
    postnew MapList(ConfigManager#1) num objects <= 1
    postnew MapList(ConfigManager#1) num objects == 0
    postnew WeakList(Identity#1) num objects <= 1
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on removeListener
    test_vectorjava.io.File:exists(...)@268: {1}, {0}

  • void loadDefaults()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    preinit'ed(globalconfig)
    presumptiongetGlobalConfig(...).sources != null
    presumptionjava.io.File:listFiles(...)@119 != null
    postglobalconfig != null
    postinit'ed(new ConfigManager(getGlobalConfig#1). channel)
    postinit'ed(new ConfigManager(getGlobalConfig#1).file)
    postinit'ed(new ConfigManager(getGlobalConfig#1).ircd)
    postinit'ed(new ConfigManager(getGlobalConfig#1). listeners)
    postinit'ed(new ConfigManager(getGlobalConfig#1). network)
    postinit'ed(new ConfigManager(getGlobalConfig#1). server)
    postinit'ed(new ConfigManager(getGlobalConfig#1). sources)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    postnew ArrayList(getSources#1) num objects <= 1
    postnew ArrayList(getSources#1) num objects == 0
    postnew ConfigManager(getGlobalConfig#1) num objects == 0
    postnew ConfigManager(getGlobalConfig#1) num objects == new ArrayList(getSources#1) num objects
    postnew ConfigManager(getGlobalConfig#1).channel == &amp;java.lang.StringBuilder:toString(...)
    postnew ConfigManager(getGlobalConfig#1).ircd == &amp;""
    postnew ConfigManager(getGlobalConfig#1).listeners == &amp;new MapList(ConfigManager#1)
    postnew ConfigManager(getGlobalConfig#1).network == &amp;""
    postnew ConfigManager(getGlobalConfig#1).server == &amp;""
    postnew ConfigManager(getGlobalConfig#1).sources == &amp;new ArrayList(getSources#1)
    postnew MapList(ConfigManager#1) num objects == 0
    postnew MapList(ConfigManager#1) num objects == new ArrayList(getSources#1) num objects
    postpossibly_updated(new ConfigManager(getGlobalConfig# 1).channel)
    postpossibly_updated(new ConfigManager(getGlobalConfig# 1).ircd)
    postpossibly_updated(new ConfigManager(getGlobalConfig# 1).listeners)
    postpossibly_updated(new ConfigManager(getGlobalConfig# 1).network)
    postpossibly_updated(new ConfigManager(getGlobalConfig# 1).server)
    postpossibly_updated(new ConfigManager(getGlobalConfig# 1).sources)
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.config.InvalidIdentityFileExcept ion:getMessage
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:getFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:extractResources
    unanalyzedcall on com.dmdirc.util.resourcemanager. ResourceManager:getResourceManager
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.File:equals
    unanalyzedcall on java.io.File:getAbsolutePath
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:listFiles
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.IOException:getMessage
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:isEmpty
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.LinkedList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on loadUser
    unanalyzedcall on removeListener
    test_vectorcom.dmdirc.updater.Version:compareTo(...)@136: {-231..0}, {1..232-1}
    test_vectorjava.io.File:exists(...)@119: {0}, {1}
    test_vectorjava.io.File:listFiles(...).length@119: {1..+Inf}, {0}
    test_vectorjava.io.File:listFiles(...)@119: Addr_Set{null}, Inverse{null}

  • void loadIdentity(File)

    • Kind Annotation Text
    pre(soft) file != null
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    presumptionidentity.file@222 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    presumptionjava.util.Iterator:next(...)@222 != null
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.LinkedList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on removeListener
    test_vectorjava.io.File:equals(...)@223: {0}, {1}
    test_vectorjava.util.Iterator:hasNext(...)@222: {1}, {0}

  • void loadUser()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.Main:getConfigDir
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.config.InvalidIdentityFileExcept ion:getMessage
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:getFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.File:equals
    unanalyzedcall on java.io.File:getAbsolutePath
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:listFiles
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.IOException:getMessage
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.System:getProperty
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.LinkedList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on loadUser
    unanalyzedcall on removeListener
    test_vectorjava.io.File:exists(...)@173: {1}, {0}

  • void loadUser(File)

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    predir != null
    presumptionarr$.length@203 <= 232-1
    presumptionarr$[i$]@203 != null
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
    presumptionjava.io.File:listFiles(...)@203 != null
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.config.InvalidIdentityFileExcept ion:getMessage
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:getFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.File:equals
    unanalyzedcall on java.io.File:getAbsolutePath
    unanalyzedcall on java.io.File:isDirectory
    unanalyzedcall on java.io.File:listFiles
    unanalyzedcall on java.io.FileInputStream
    unanalyzedcall on java.io.IOException:getMessage
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.LinkedList
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on loadUser
    unanalyzedcall on removeListener
    test_vectorjava.io.File:isDirectory(...)@204: {0}, {1}
    test_vectorjava.io.File:listFiles(...)@198: Inverse{null}, Addr_Set{null}

  • void loadVersion()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    presumptioninit'ed(com.dmdirc.logger.ErrorLevel.FATAL)
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.util.ConfigFile
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:read
    unanalyzedcall on com.dmdirc.util.ConfigFile:setAutomake
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on com.dmdirc.util.WeakList
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.lang.Exception
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:parseInt
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.String:trim
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.ArrayList:iterator
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on removeListener

  • void removeIdentity(Identity)

    • Kind Annotation Text
    pre(soft) identity != null
    pre(soft) identity.file != null
    pre(soft) identity.listeners != null
    presumptionjava.util.Iterator:next(...)@353 != null
    presumptionmanager.listeners@353 != null
    presumptionmanager.sources@353 != null
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOptions
    unanalyzedcall on hasOption
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on removeListener
    test_vectorjava.util.Iterator:hasNext(...)@353: {1}, {0}

  • void save()

    • Kind Annotation Text
    pre(soft) init'ed(com.dmdirc.config.ConfigManager$1__ static_init.new int[](ConfigManager$1__static_init# 1)[...])
    presumptionidentity.file@307 != null
    presumptionidentity.listeners@307 != null
    presumptionjava.util.Iterator:next(...)@307 != null
    postinit'ed(new ArrayList(getSources#1) num objects)
    postinit'ed(new ConfigManager(save#3*) num objects)
    postinit'ed(new ConfigManager(save#3*).channel)
    postinit'ed(new ConfigManager(save#3*).ircd)
    postinit'ed(new ConfigManager(save#3*).listeners)
    postinit'ed(new ConfigManager(save#3*).network)
    postinit'ed(new ConfigManager(save#3*).server)
    postinit'ed(new ConfigManager(save#3*).sources)
    postinit'ed(new MapList(ConfigManager#1) num objects)
    postjava.lang.StringBuilder:toString(...)._tainted == 0
    unanalyzedcall on addConfigManager
    unanalyzedcall on addListener
    unanalyzedcall on com.dmdirc.config.ConfigSource
    unanalyzedcall on com.dmdirc.config.ConfigTarget$TYPE:ordinal
    unanalyzedcall on com.dmdirc.interfaces.ConfigChangeListener: configChanged
    unanalyzedcall on com.dmdirc.logger.Logger:assertTrue
    unanalyzedcall on com.dmdirc.logger.Logger:userError
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:getKeyDomains
    unanalyzedcall on com.dmdirc.util.ConfigFile:isKeyDomain
    unanalyzedcall on com.dmdirc.util.ConfigFile:isWritable
    unanalyzedcall on com.dmdirc.util.ConfigFile:write
    unanalyzedcall on com.dmdirc.util.MapList
    unanalyzedcall on com.dmdirc.util.MapList:containsKey
    unanalyzedcall on com.dmdirc.util.MapList:get
    unanalyzedcall on equals
    unanalyzedcall on getDomains
    unanalyzedcall on getOption
    unanalyzedcall on getOptions
    unanalyzedcall on getSources
    unanalyzedcall on getTarget
    unanalyzedcall on hasOption
    unanalyzedcall on java.io.IOException:getMessage
    unanalyzedcall on java.lang.IllegalArgumentException
    unanalyzedcall on java.lang.Integer:intValue
    unanalyzedcall on java.lang.Integer:valueOf
    unanalyzedcall on java.lang.String:equals
    unanalyzedcall on java.lang.String:equalsIgnoreCase
    unanalyzedcall on java.lang.Throwable:__curr_excep_obj
    unanalyzedcall on java.util.ArrayList
    unanalyzedcall on java.util.Collections:sort
    unanalyzedcall on java.util.HashMap
    unanalyzedcall on java.util.HashSet
    unanalyzedcall on java.util.HashSet:iterator
    unanalyzedcall on java.util.List:add
    unanalyzedcall on java.util.List:addAll
    unanalyzedcall on java.util.List:contains
    unanalyzedcall on java.util.List:iterator
    unanalyzedcall on java.util.List:remove
    unanalyzedcall on java.util.Map$Entry:getKey
    unanalyzedcall on java.util.Map$Entry:getValue
    unanalyzedcall on java.util.Map:clear
    unanalyzedcall on java.util.Map:containsKey
    unanalyzedcall on java.util.Map:entrySet
    unanalyzedcall on java.util.Map:get
    unanalyzedcall on java.util.Map:keySet
    unanalyzedcall on java.util.Map:put
    unanalyzedcall on java.util.Map:remove
    unanalyzedcall on java.util.Set:iterator
    unanalyzedcall on java.util.logging.Logger:fine
    unanalyzedcall on java.util.logging.Logger:finer
    unanalyzedcall on java.util.logging.Logger:finest
    unanalyzedcall on java.util.logging.Logger:isLoggable
    unanalyzedcall on removeListener
    test_vectorjava.util.Iterator:hasNext(...)@307: {1}, {0}