| method | String getCurrentWorkingDirectory() |
| presumption | init'ed(com.dmdirc.logger.ErrorLevel.MEDIUM) |
| presumption | java.lang.ClassLoader:getResource(...)@45 != null |
| presumption | java.lang.ClassLoader:getResource(...)@51 != null |
| presumption | java.lang.String:lastIndexOf(...)@62 <= 232-2 |
| presumption | java.lang.System:getProperty(...)@56 != null |
| presumption | java.lang.Thread:currentThread(...)@45 != null |
| presumption | java.lang.Thread:currentThread(...)@51 != null |
| presumption | java.lang.Thread:getContextClassLoader(...)@45 != null |
| presumption | java.lang.Thread:getContextClassLoader(...)@51 != null |
| presumption | java.net.URL:getPath(...)@54 != null |
| post | java.lang.String:substring(...)._tainted == 0 |
| post | init'ed(return_value) |
| test_vector | java.lang.String:equals(...)@50: {0}, {1} |
| test_vector | java.lang.String:equals(...)@53: {0}, {1} |
| test_vector | java.lang.String:startsWith(...)@56: {0}, {1} |