| method | Version getVersion() |
| presumption | com.dmdirc.config.ConfigManager:getOption(...)@65 != null |
| presumption | com.dmdirc.config.IdentityManager:getGlobalConfig(. ..)@62 != null |
| post | return_value in Addr_Set{&new Version(getVersio n#2),&new Version(getVersion#1)} |
| post | new Version(getVersion#1) num objects <= 1 |
| post | init'ed(new Version(getVersion#1).intVersion) |
| post | init'ed(new Version(getVersion#1).strVersion) |
| post | new Version(getVersion#2) num objects <= 1 |
| post | new Version(getVersion#2).intVersion == -1 |
| post | new Version(getVersion#2).strVersion == null |
| unanalyzed | call on java.lang.String:matches |
| unanalyzed | call on java.lang.Integer:parseInt |
| test_vector | com.dmdirc.config.ConfigManager:hasOptionString(... )@64: {0}, {1} |
| method | bool doInstall(String) |
| post | return_value == 0 |
| unanalyzed | call on java.util.zip.ZipFile |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on java.util.zip.ZipFile:entries |
| unanalyzed | call on java.util.Enumeration:hasMoreElements |
| unanalyzed | call on java.util.Enumeration:nextElement |
| unanalyzed | call on java.util.zip.ZipEntry:getName |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.io.FileOutputStream |
| unanalyzed | call on java.io.FileOutputStream:write |
| unanalyzed | call on java.io.FileOutputStream:flush |
| unanalyzed | call on java.io.FileOutputStream:close |
| unanalyzed | call on extractResources |
| unanalyzed | call on getResourcesStartingWithAsBytes |
| unanalyzed | call on java.lang.String:startsWith |
| 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:read |
| unanalyzed | call on java.io.FileInputStream:close |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on com.dmdirc.logger.Logger:userError |
| unanalyzed | call on java.io.File:listFiles |
| unanalyzed | call on java.util.Arrays:asList |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on java.io.File:isFile |
| unanalyzed | call on getFileListing |
| unanalyzed | call on java.util.List:addAll |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.io.File:getPath |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Map:entrySet |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on java.util.Map$Entry:getKey |
| unanalyzed | call on extractResource |
| unanalyzed | call on getResourceBytes |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on java.lang.String:lastIndexOf |
| unanalyzed | call on java.io.File:mkdirs |
| unanalyzed | call on java.util.zip.ZipFile:getEntry |
| unanalyzed | call on java.util.zip.ZipEntry:isDirectory |
| unanalyzed | call on java.util.zip.ZipEntry:getSize |
| unanalyzed | call on java.util.zip.ZipFile:getInputStream |
| unanalyzed | call on java.io.BufferedInputStream |
| unanalyzed | call on java.io.BufferedInputStream:read |
| unanalyzed | call on java.io.BufferedInputStream:close |