| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | java.lang.Class:forName(...)@57 != null | 2009-09-04 18:33:31 |
| + | presumption | java.lang.System.out != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Properties:keys(...)@116 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.commons.logging.LogFactory:getLog(... )@44 != null | 2009-09-04 18:33:31 |
| + | post | "="._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | "Roller Weblogger: Failed to load custom properties from "._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | "Roller Weblogger: Successfully loaded custom properties from "._tainted == 0 | 2009-09-04 18:33:31 |
| + | post | (soft) log != null | 2009-09-04 18:33:31 |
| + | post | config == &new Properties(WebloggerConfig__ static_init#1) | 2009-09-04 18:33:31 |
| + | post | custom_config == &".roller-custom.properties" | 2009-09-04 18:33:31 |
| + | post | custom_config_file in Addr_Set{null,&new File(WebloggerConfig__static_init#2)} | 2009-09-04 18:33:31 |
| + | post | custom_jvm_param == &"roller.custom.config" | 2009-09-04 18:33:31 |
| + | post | default_config == &".org.apache.roller. weblogger.config.roller.properties" | 2009-09-04 18:33:31 |
| + | post | new File(WebloggerConfig__static_init#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | new Properties(WebloggerConfig__static_init#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Enumeration:hasMoreElements | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Enumeration:nextElement | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:keys | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Properties:put | 2009-09-04 18:33:31 |
| + | test_vector | java.io.File:exists(...)@78: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.Class:getResourceAsStream(...)@64: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:length(...)@74: {0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.System:getProperty(...)@73: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Properties:get(...)@92: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |