| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(pageRequest.authenticUser) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(pageRequest.context) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(pageRequest.pageNum) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(pageRequest.tags) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(pageRequest.weblogCategoryName) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(pageRequest.weblogDate) | 2009-09-04 18:33:31 |
| + | pre | (soft) pageRequest.customParams != null | 2009-09-04 18:33:31 |
| + | pre | init'ed(pageRequest.locale) | 2009-09-04 18:33:31 |
| + | pre | init'ed(pageRequest.weblogAnchor) | 2009-09-04 18:33:31 |
| + | pre | init'ed(pageRequest.weblogHandle) | 2009-09-04 18:33:31 |
| + | pre | init'ed(pageRequest.weblogPageName) | 2009-09-04 18:33:31 |
| + | pre | pageRequest != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Set:size(...)@208 >= 0 | 2009-09-04 18:33:31 |
| + | post | init'ed(java.lang.StringBuffer:toString(...)._ tainted) | 2009-09-04 18:33:31 |
| + | post | return_value == &java.lang.StringBuffer:toStrin g(...) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:getBytes | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:keySet | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Set:iterator | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util. Utilities:toBase64 | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:equals(...)@204: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.List:size(...)@206: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Map:size(...)@229: {-231..0}, {1..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | pageRequest.locale: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | pageRequest.tags: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | pageRequest.weblogAnchor: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | pageRequest.weblogCategoryName: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | pageRequest.weblogDate: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | pageRequest.weblogPageName: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | presumption | java.lang.String:length(...)@71 <= 232-2 | 2009-09-04 18:33:31 |
| + | presumption | java.util.Enumeration:nextElement(...)@67 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.config.WebloggerConfig: keys(...)@64 != null | 2009-09-04 18:33:31 |
| + | post | init'ed(this.cacheEnabled) | 2009-09-04 18:33:31 |
| + | post | init'ed(this.contentCache) | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@70: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | java.util.Enumeration:hasMoreElements(...)@66: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@60: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | presumption | org.apache.commons.logging.LogFactory:getLog(... )@44 != null | 2009-09-04 18:33:31 |
| + | post | (soft) log != null | 2009-09-04 18:33:31 |
| + | post | init'ed(singletonInstance.cacheEnabled) | 2009-09-04 18:33:31 |
| + | post | init'ed(singletonInstance.contentCache) | 2009-09-04 18:33:31 |
| + | post | new WeblogPageCache(WeblogPageCache__static_ init#1) num objects == 1 | 2009-09-04 18:33:31 |
| + | post | singletonInstance == &new WeblogPageCache(Weblo gPageCache__static_init#1) | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:length | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:startsWith | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 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.HashMap | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Map:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:info | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:warn | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:keys | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. CacheManager:constructCache | 2009-09-04 18:33:31 |