| method | void upgradeBlog(Blog, String, String) |
| pre | (soft) blog != null |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@15 != null |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| unanalyzed | call on net.sourceforge.pebble.domain.Blog:getRoot |
| unanalyzed | call on java.io.File |
| unanalyzed | call on java.io.File:listFiles |
| unanalyzed | call on java.io.File:getName |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.io.File:getAbsolutePath |
| unanalyzed | call on java.io.File:renameTo |
| unanalyzed | call on java.io.File:isDirectory |
| unanalyzed | call on java.io.File:mkdir |
| unanalyzed | call on java.lang.String:endsWith |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on java.io.File:exists |
| unanalyzed | call on java.text.SimpleDateFormat |
| unanalyzed | call on net.sourceforge.pebble.domain. Blog:getTimeZone |
| unanalyzed | call on java.text.SimpleDateFormat:setTimeZone |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.String:valueOf |
| unanalyzed | call on java.io.File:lastModified |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on java.text.SimpleDateFormat:format |
| unanalyzed | call on net.sourceforge.pebble.domain.Blog:reindex |
| test_vector | fromVersion: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:startsWith(...)@20: {1}, {0} |
| test_vector | java.lang.String:startsWith(...)@21: {1}, {0} |
| test_vector | java.lang.String:startsWith(...)@22: {1}, {0} |
| test_vector | java.lang.String:startsWith(...)@23: {0}, {1} |