| method | void doGet(HttpServletRequest, HttpServletResponse ) |
| pre | log != null |
| pre | init'ed(this.processReferrers) |
| pre | (soft) org/apache/roller/weblogger/ui/core/RollerCo ntext.servletContext != null |
| pre | (soft) org/apache/roller/weblogger/ui/rendering/Ren dererManager.rendererFactories != null |
| pre | (soft) org/apache/roller/weblogger/ui/rendering/mod el/ModelLoader.log != null |
| pre | (soft) org/apache/roller/weblogger/util/Blacklist. mLogger != null |
| pre | (soft) org/apache/roller/weblogger/util/cache/Cache dContent.log != null |
| pre | (soft) request != null |
| pre | (soft) response != null |
| pre | (soft) init'ed(robotPattern) |
| pre | (soft) init'ed(this.excludeOwnerPages) |
| pre | (soft) this.siteWideCache != null |
| pre | (soft) this.weblogPageCache != null |
| presumption | cachedContent.content@190 != null |
| presumption | cachedContent.content@192 != null |
| presumption | getContent(...).length@190 <= 232-1 |
| presumption | getContent(...).length@192 <= 232-1 |
| presumption | getContent(...).length@446 <= 232-1 |
| presumption | javax.servlet.http.HttpServletRequest:getRequestURL (...)@200 != null |
| presumption | javax.servlet.http.HttpServletRequest:getRequestURL (...)@355 != null |
| presumption | javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@205 != null |
| presumption | javax.servlet.http.HttpServletResponse:getOutputStr eam(...)@464 != null |
| presumption | javax.servlet.jsp.JspFactory:getDefaultFactory(... )@376 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@329 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@329 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@388 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@410 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getLastMod ified(...)@161 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@222 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@249 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@267 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getTheme(. ..)@276 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getLo cale(...)@312 != null |
| presumption | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getTags(...)@325 != null |
| presumption | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblog(...)@141 != null |
| presumption | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblog(...)@301 != null |
| presumption | org.apache.roller.weblogger.ui.rendering.util. cache.SiteWideCache:getLastModified(...)@159 != null |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getRe questURI |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogHandle |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:isSiteWideWeblog |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getHe ader |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.util.regex.Matcher:matches |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getRe questURL |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getQu eryString |
| unanalyzed | call on java.lang.String:indexOf |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:matches |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblog |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getBlacklist |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getProperty |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.util.regex.Pattern:compile |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.StringTokenizer |
| unanalyzed | call on java.util.StringTokenizer:hasMoreTokens |
| unanalyzed | call on java.util.StringTokenizer:nextToken |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed |
| unanalyzed | call on java.util.regex.Matcher:find |
| unanalyzed | call on java.util.regex.Matcher:group |
| unanalyzed | call on java.util.regex.Pattern:pattern |
| unanalyzed | call on java.lang.String:contains |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty |
| unanalyzed | call on org.apache.roller.weblogger.business. referrers.IncomingReferrer |
| unanalyzed | call on org.apache.roller.weblogger.business. referrers.IncomingReferrer:setReferrerUrl |
| unanalyzed | call on org.apache.roller.weblogger.business. referrers.IncomingReferrer:setRequestUrl |
| unanalyzed | call on org.apache.roller.weblogger.business. referrers.IncomingReferrer:setWeblogHandle |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogAnchor |
| unanalyzed | call on org.apache.roller.weblogger.business. referrers.IncomingReferrer:setWeblogAnchor |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. util.WeblogPageRequest:getWeblogDate |
| unanalyzed | call on org.apache.roller.weblogger.business. referrers.IncomingReferrer:setWeblogDateString |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getReferrerQueueManager |
| unanalyzed | call on org.apache.roller.weblogger.business. referrers.ReferrerQueueManager:processReferrer |
| unanalyzed | call on org.apache.roller.weblogger.business. HitCountQueue:getInstance |
| unanalyzed | call on org.apache.roller.weblogger.business. HitCountQueue:processHit |
| unanalyzed | call on java.util.StringTokenizer:countTokens |
| unanalyzed | call on java.lang.Class:forName |
| unanalyzed | call on java.lang.Class:newInstance |
| unanalyzed | call on init |
| unanalyzed | call on getModelName |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on org.apache.roller.weblogger. WebloggerException |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getPageModels |
| unanalyzed | call on org.apache.roller.weblogger.ui.rendering. velocity.deprecated.ContextLoader:setupContext |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on getRenderer |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Template:getId |
| unanalyzed | call on java.io.ByteArrayOutputStream |
| unanalyzed | call on java.io.OutputStreamWriter |
| unanalyzed | call on java.io.PrintWriter |
| unanalyzed | call on java.lang.RuntimeException |
| unanalyzed | call on java.io.PrintWriter:flush |
| unanalyzed | call on java.io.ByteArrayOutputStream:toByteArray |
| unanalyzed | call on java.io.PrintWriter:close |
| unanalyzed | call on java.io.ByteArrayOutputStream:close |
| test_vector | this.excludeOwnerPages: {0}, {1} |
| test_vector | this.processReferrers: {0}, {1} |
| test_vector | java.lang.String:equals(...)@233: {0}, {1} |
| test_vector | java.lang.String:equals(...)@247: {0}, {1} |
| test_vector | java.lang.String:startsWith(...)@312: {1}, {0} |
| test_vector | java.util.Date:before(...)@316: {0}, {1} |
| test_vector | java.util.List:size(...)@325: {-231..0}, {1..232-1} |
| test_vector | javax.servlet.ServletContext:getMimeType(...)@365: Addr_Set{null}, Inverse{null} |
| test_vector | javax.servlet.http.HttpServletRequest:getAttribute( ...)@186: Inverse{null}, Addr_Set{null} |
| test_vector | javax.servlet.http.HttpServletRequest:getAttribute( ...)@391: Addr_Set{null}, Inverse{null} |
| test_vector | javax.servlet.http.HttpServletRequest:getAttribute( ...)@467: Inverse{null}, Addr_Set{null} |
| test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@219: Addr_Set{null}, Inverse{null} |
| test_vector | javax.servlet.http.HttpServletResponse:isCommitted( ...)@125: {1}, {0} |
| test_vector | javax.servlet.http.HttpServletResponse:isCommitted( ...)@239: {1}, {0} |
| test_vector | javax.servlet.http.HttpServletResponse:isCommitted( ...)@257: {1}, {0} |
| test_vector | javax.servlet.http.HttpServletResponse:isCommitted( ...)@284: {1}, {0} |
| test_vector | javax.servlet.http.HttpServletResponse:isCommitted( ...)@339: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isNotEmpty(... )@362: {0}, {1} |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@147: {0}, {1} |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@401: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.ThemeTemplate:isH idden(...)@295: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:getLastMod ified(...)@160: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:isEnableMu ltiLang(...)@301: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:isShowAllL angs(...)@348: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@314: {1}, {0} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. ModDateHeaderUtil:respondIfNotModified(...)@168: {0}, {1} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getLocale(...)@298: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getLocale(...)@312: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getLocale(...)@348: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getTags(...)@247: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getTags(...)@325: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogAnchor(...)@265: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogAnchor(...)@305: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogCategory(...)@322: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogCategoryName(...)@319: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogEntry(...)@309: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogPage(...)@234: Inverse{null}, Addr_Set{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogPageName(...)@295: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:isLoggedIn(...)@167: {1}, {0} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:isLoggedIn(...)@186: {1}, {0} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:isLoggedIn(...)@467: {1}, {0} |
| method | bool processReferrer(HttpServletRequest) |
| pre | log != null |
| pre | request != null |
| pre | (soft) org/apache/roller/weblogger/util/Blacklist. mLogger != null |
| pre | (soft) init'ed(robotPattern) |
| presumption | java.util.regex.Pattern:matcher(...)@538 != null |
| presumption | javax.servlet.http.HttpServletRequest:getRequestURL (...)@545 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getReferrerQueueManager(...)@605 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@605 != null |
| presumption | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblog(...)@586 != null |
| post | init'ed(return_value) |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getBlacklist |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getProperty |
| unanalyzed | call on java.lang.String:trim |
| unanalyzed | call on java.util.regex.Pattern:compile |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.lang.String:startsWith |
| unanalyzed | call on java.util.StringTokenizer |
| unanalyzed | call on java.util.StringTokenizer:hasMoreTokens |
| unanalyzed | call on java.util.StringTokenizer:nextToken |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.util.regex.Matcher:find |
| unanalyzed | call on java.util.regex.Matcher:group |
| unanalyzed | call on java.util.regex.Pattern:pattern |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.lang.String:contains |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty |
| test_vector | robotPattern: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:indexOf(...)@556: {-1}, {-231..-2, 0..232-1} |
| test_vector | java.lang.String:indexOf(...)@578: {-231. .-2, 0..232-1}, {-1} |
| test_vector | java.lang.String:length(...)@538: {0}, {1..232-1} |
| test_vector | java.lang.String:matches(...)@584: {0}, {1} |
| test_vector | java.lang.String:startsWith(...)@567: {0}, {1} |
| test_vector | java.lang.String:startsWith(...)@573: {1}, {0} |
| test_vector | java.util.regex.Matcher:matches(...)@538: {0}, {1} |
| test_vector | javax.servlet.http.HttpServletRequest:getHeader(... )@537: Addr_Set{null}, Inverse{null} |
| test_vector | javax.servlet.http.HttpServletRequest:getHeader(... )@544: Addr_Set{null}, Inverse{null} |
| test_vector | javax.servlet.http.HttpServletRequest:getQueryStrin g(...)@546: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:isSiteWideWeblog(...)@531: {0}, {1} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogPageRequest:getWeblogHandle(...)@562: Addr_Set{null}, Inverse{null} |