| method | org.apache.roller.weblogger.ui.rendering. RendererManager__static_init |
| presumption | org.apache.commons.logging.LogFactory:getLog(... )@40 != null |
| post | "Unable to instantiate renderer factory ["._tainted == 0 |
| post | "]"._tainted == 0 |
| post | (soft) log != null |
| post | rendererFactories == &new HashSet(RendererManag er__static_init#1) |
| post | new HashSet(RendererManager__static_init#1) num objects == 1 |
| test_vector | java.lang.String:length(...)@52: {0}, {1..232-1} |
| test_vector | java.lang.String:length(...)@71: {0}, {1..232-1} |
| test_vector | java.util.Set:size(...)@89: {1..232-1}, {-231..0} |
| test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@48: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getProperty(...)@49: Addr_Set{null}, Inverse{null} |