ResourceManager.java

ResourceManager.java

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

Filter Options

Annotation Kind:

pre

presumption

post

unanalyzed

test_vector

void com.dmdirc.util.resourcemanager.ResourceManager()

Kind	Annotation Text

com.dmdirc.util.resourcemanager.ResourceManager__static_init

Kind	Annotation Text

bool extractResource(String, String, bool)

Kind	Annotation Text
pre	resourceName != null
presumption	java.lang.String:lastIndexOf(...)@165 <= 2³²-2
post	init'ed(return_value)
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on java.io.BufferedInputStream
unanalyzed	call on java.io.BufferedInputStream:close
unanalyzed	call on java.io.BufferedInputStream:read
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:length
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on java.io.FileInputStream:read
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.FileOutputStream:close
unanalyzed	call on java.io.FileOutputStream:flush
unanalyzed	call on java.io.FileOutputStream:write
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.zip.ZipEntry:getSize
unanalyzed	call on java.util.zip.ZipEntry:isDirectory
unanalyzed	call on java.util.zip.ZipFile:getEntry
unanalyzed	call on java.util.zip.ZipFile:getInputStream
test_vector	java.io.File:exists(...)@157: {1}, {0}
test_vector	java.io.File:exists(...)@161: {1}, {0}
test_vector	java.io.File:isDirectory(...)@169: {1}, {0}
test_vector	java.lang.String:indexOf(...)@150: {-2³¹. .-1}, {0..2³²-1}
test_vector	usePath: {0}, {1}

void extractResources(String, String)

Kind	Annotation Text
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on extractResource
unanalyzed	call on getFileListing
unanalyzed	call on getResourceBytes
unanalyzed	call on getResourcesStartingWithAsBytes
unanalyzed	call on java.io.BufferedInputStream
unanalyzed	call on java.io.BufferedInputStream:close
unanalyzed	call on java.io.BufferedInputStream:read
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:length
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on java.io.FileInputStream:read
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.FileOutputStream:close
unanalyzed	call on java.io.FileOutputStream:flush
unanalyzed	call on java.io.FileOutputStream:write
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map$Entry:getKey
unanalyzed	call on java.util.Map:entrySet
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.Set:iterator
unanalyzed	call on java.util.zip.ZipEntry:getSize
unanalyzed	call on java.util.zip.ZipEntry:isDirectory
unanalyzed	call on java.util.zip.ZipFile:getEntry
unanalyzed	call on java.util.zip.ZipFile:getInputStream

void extractResources(String, String, bool)

Kind	Annotation Text
presumption	java.util.Iterator:next(...)@190 != null
presumption	java.util.Map:entrySet(...)@190 != null
presumption	java.util.Map_Entry:getKey(...)@191 != null
unanalyzed	call on com.dmdirc.logger.Logger:userError
unanalyzed	call on getFileListing
unanalyzed	call on getResourceBytes
unanalyzed	call on java.io.BufferedInputStream
unanalyzed	call on java.io.BufferedInputStream:close
unanalyzed	call on java.io.BufferedInputStream:read
unanalyzed	call on java.io.File
unanalyzed	call on java.io.File:exists
unanalyzed	call on java.io.File:getPath
unanalyzed	call on java.io.File:isDirectory
unanalyzed	call on java.io.File:isFile
unanalyzed	call on java.io.File:length
unanalyzed	call on java.io.File:listFiles
unanalyzed	call on java.io.File:mkdirs
unanalyzed	call on java.io.FileInputStream
unanalyzed	call on java.io.FileInputStream:close
unanalyzed	call on java.io.FileInputStream:read
unanalyzed	call on java.io.FileOutputStream
unanalyzed	call on java.io.FileOutputStream:close
unanalyzed	call on java.io.FileOutputStream:flush
unanalyzed	call on java.io.FileOutputStream:write
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:lastIndexOf
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.lang.String:startsWith
unanalyzed	call on java.lang.String:substring
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on java.util.HashMap
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:addAll
unanalyzed	call on java.util.List:iterator
unanalyzed	call on java.util.Map:put
unanalyzed	call on java.util.zip.ZipEntry:getSize
unanalyzed	call on java.util.zip.ZipEntry:isDirectory
unanalyzed	call on java.util.zip.ZipFile:getEntry
unanalyzed	call on java.util.zip.ZipFile:getInputStream
test_vector	java.util.Iterator:hasNext(...)@190: {0}, {1}

ResourceManager getResourceManager()

Kind	Annotation Text
pre	init'ed(me)
presumption	init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM)
presumption	java.lang.ClassLoader:getResource(...)@52 != null
presumption	java.lang.ClassLoader:getResource(...)@61 != null
presumption	java.lang.ClassLoader:getResource(...)@66 != null
presumption	java.lang.System:getProperty(...)@69 != null
presumption	java.lang.Thread:currentThread(...)@52 != null
presumption	java.lang.Thread:currentThread(...)@61 != null
presumption	java.lang.Thread:currentThread(...)@66 != null
presumption	java.lang.Thread:getContextClassLoader(...)@52 != null
presumption	java.lang.Thread:getContextClassLoader(...)@61 != null
presumption	java.lang.Thread:getContextClassLoader(...)@66 != null
presumption	java.net.URL:getPath(...)@52 != null
presumption	java.net.URLDecoder:decode(...)@56 != null
post	init'ed(me)
post	init'ed(new FileResourceManager(getResourceManager# 1).basePath)
post	init'ed(new ZipResourceManager(getResourceManager#2 ).entries)
post	init'ed(new ZipResourceManager(getResourceManager#2 ).zipFile)
post	init'ed(new ZipResourceManager(getResourceManager#3 ).entries)
post	init'ed(new ZipResourceManager(getResourceManager#3 ).zipFile)
post	me == One-of{old me, &new FileResourceManager(g etResourceManager#1), &new ZipResourceManager(g etResourceManager#2), &new ZipResourceManager(g etResourceManager#3)}
post	new ArrayList(ZipResourceManager#2) num objects <= 1
post	new FileResourceManager(getResourceManager#1) num objects <= 1
post	new ZipFile(ZipResourceManager#1) num objects <= 1
post	new ZipResourceManager(getResourceManager#2) num objects <= 1
post	new ZipResourceManager(getResourceManager#3) num objects <= 1
post	return_value == me
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.zip.ZipEntry:getName
unanalyzed	call on java.util.zip.ZipFile
unanalyzed	call on java.util.zip.ZipFile:entries
test_vector	java.lang.String:equals(...)@65: {0}, {1}
test_vector	java.lang.String:equals(...)@68: {0}, {1}
test_vector	java.lang.String:startsWith(...)@69: {0}, {1}
test_vector	me: Inverse{null}, Addr_Set{null}

ResourceManager getResourceManager(String)

Kind	Annotation Text
pre	url != null
presumption	java.lang.String:startsWith(...)@103 == 1
post	init'ed(java.lang.String:substring(...)._tainted)
post	new ArrayList(ZipResourceManager#2) num objects <= 1
post	new FileResourceManager(getResourceManager#1) num objects <= 1
post	new FileResourceManager(getResourceManager#1). basePath == &java.lang.String:substring(...)
post	new ZipFile(ZipResourceManager#1) num objects <= 1
post	new ZipResourceManager(getResourceManager#2) num objects <= 1
post	new ZipResourceManager(getResourceManager#2). entries == &new ArrayList(ZipResourceManager#2)
post	new ZipResourceManager(getResourceManager#2). zipFile == &new ZipFile(ZipResourceManager#1)
post	return_value in Addr_Set{&new ZipResourceManage r(getResourceManager#2),&new FileResourceManage r(getResourceManager#1)}
unanalyzed	call on com.dmdirc.util.resourcemanager. ResourceManager
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.Enumeration:hasMoreElements
unanalyzed	call on java.util.Enumeration:nextElement
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.zip.ZipEntry:getName
unanalyzed	call on java.util.zip.ZipFile
unanalyzed	call on java.util.zip.ZipFile:entries
test_vector	java.lang.String:startsWith(...)@101: {0}, {1}
test_vector	java.lang.String:startsWith(...)@103: {1}, {0}

void resourceToFile(byte[], File)

Kind	Annotation Text