| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(this.planetCache.cacheEnabled) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.planetCache.lastUpdateTime) | 2009-09-04 18:33:31 |
| + | pre | (soft) init'ed(this.planetCache.timeout) | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/uti l/PlanetRequest.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) org/apache/roller/weblogger/ui/rendering/uti l/cache/PlanetCache.log != null | 2009-09-04 18:33:31 |
| + | pre | (soft) request != null | 2009-09-04 18:33:31 |
| + | pre | (soft) response != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.planetCache != null | 2009-09-04 18:33:31 |
| + | pre | (soft) this.planetCache.contentCache != null | 2009-09-04 18:33:31 |
| + | pre | log != null | 2009-09-04 18:33:31 |
| + | presumption | java.util.Date:getTime(...)@94 - java.util. Date:getTime(...)@94%1_000 in -9_223_372_036_854_77 5_808..264-1 | 2009-09-04 18:33:31 |
| + | presumption | javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@118 != null | 2009-09-04 18:33:31 |
| + | presumption | javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@215 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.planet.business.Planet:getPlanetM anager(...)@78 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.planet.business.PlanetFactory:get Planet(...)@78 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.ui.rendering. RendererManager:getRenderer(...)@178 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.cache. CachedContent:getContent(...).length@117 <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.cache. CachedContent:getContent(...).length@214 <= 232-1 | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.cache. CachedContent:getContent(...)@117 != null | 2009-09-04 18:33:31 |
| + | presumption | org.apache.roller.weblogger.util.cache. CachedContent:getContent(...)@214 != null | 2009-09-04 18:33:31 |
| + | post | (soft) init'ed(this.planetCache.lastUpdateTime) | 2009-09-04 18:33:31 |
| + | post | new ExpiringCacheEntry(getLastModified#2) num objects <= 1 | 2009-09-04 18:33:31 |
| + | post | this.planetCache.lastUpdateTime == One-of{old this.planetCache.lastUpdateTime, &new ExpiringCacheEntry(getLastModified#2)} | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:booleanValue | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Boolean:valueOf | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:equals | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.String:substring | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.lang.Throwable:__curr_excep_obj | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.security.Principal:getName | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Date | 2009-09-04 18:33:31 |
| + | unanalyzed | call on java.util.Locale:getLanguage | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletRequest:getDa teHeader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletRequest:getLo cale | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletRequest:getRe questURL | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletRequest:getSe rvletPath | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletRequest:getUs erPrincipal | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletResponse:setD ateHeader | 2009-09-04 18:33:31 |
| + | unanalyzed | call on javax.servlet.http.HttpServletResponse:setS tatus | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.commons.logging.Log:debug | 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. WebloggerException | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.PlanetRequest:getAuthenticUser | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. Cache:get | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. Cache:put | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. ExpiringCacheEntry | 2009-09-04 18:33:31 |
| + | unanalyzed | call on org.apache.roller.weblogger.util.cache. ExpiringCacheEntry:getValue | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:indexOf(...)@101: {-1}, {-231..-2, 0..232-1} | 2009-09-04 18:33:31 |
| + | test_vector | java.lang.String:startsWith(...)@101: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | javax.servlet.http.HttpServletRequest:getHeader(... )@100: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | javax.servlet.http.HttpServletRequest:getHeader(... )@99: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@128: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@147: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | org.apache.commons.lang.StringUtils:isNotEmpty(... )@138: {0}, {1} | 2009-09-04 18:33:31 |
| -/+ |
Kind |
Annotation Text |
Date |
|---|
| + | pre | (soft) init'ed(planetRequest.excerpts) | 2009-09-04 18:33:31 |
| + | pre | init'ed(planetRequest.context) | 2009-09-04 18:33:31 |
| + | pre | init'ed(planetRequest.flavor) | 2009-09-04 18:33:31 |
| + | pre | init'ed(planetRequest.group) | 2009-09-04 18:33:31 |
| + | pre | init'ed(planetRequest.language) | 2009-09-04 18:33:31 |
| + | pre | init'ed(planetRequest.type) | 2009-09-04 18:33:31 |
| + | pre | planetRequest != null | 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 |
| + | test_vector | org.apache.roller.weblogger.ui.rendering.util. PlanetRequest:getAuthenticUser(...)@259: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | planetRequest.excerpts: {0}, {1} | 2009-09-04 18:33:31 |
| + | test_vector | planetRequest.flavor: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |
| + | test_vector | planetRequest.group: Addr_Set{null}, Inverse{null} | 2009-09-04 18:33:31 |