| method | void init(ServletConfig) |
| pre | log != null |
| pre | org/apache/roller/weblogger/ui/rendering/plugins/co mments/CommentValidationManager.log != null |
| pre | (soft) org/apache/roller/weblogger/util/cache/Cache Manager.cacheFactory != null |
| pre | (soft) org/apache/roller/weblogger/util/cache/Cache Manager.cacheHandlers != null |
| pre | (soft) org/apache/roller/weblogger/util/cache/Cache Manager.caches != null |
| pre | (soft) org/apache/roller/weblogger/util/cache/Cache Manager.log != null |
| presumption | java.lang.Class:forName(...)@91 != null |
| presumption | java.lang.Integer:parseInt(...)@117 in -2_147_483..4_294_967 |
| post | this.authenticator != null |
| post | this.commentThrottle == One-of{&new GenericThrottle(init#3), old this.commentThrottle} |
| post | this.commentValidationManager == &new CommentValidationManager(init#2) |
| post | new ArrayList(CommentValidationManager#1) num objects == 1 |
| post | new CommentValidationManager(init#2) num objects == 1 |
| post | init'ed(this.commentValidationManager.bundle) |
| post | this.commentValidationManager.validators == &new ArrayList(CommentValidationManager#1) |
| post | init'ed(new Date(LRUCacheImpl#1) num objects) |
| post | new DefaultCommentAuthenticator(init#1) num objects <= 1 |
| post | init'ed(new ExpiringLRUCacheImpl(constructCache#1*) num objects) |
| post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).cache) |
| post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).hits) |
| post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).id) |
| post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).misses) |
| post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).puts) |
| post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).removes) |
| post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).startTime) |
| post | possibly_updated(new ExpiringLRUCacheImpl(construct Cache#1*).timeout) |
| post | new GenericThrottle(init#3) num objects <= 1 |
| post | init'ed(new GenericThrottle(init#3). clientHistoryCache) |
| post | init'ed(new GenericThrottle(init#3).interval) |
| post | init'ed(new GenericThrottle(init#3).threshold) |
| post | init'ed(new LRUCacheImpl(constructCache#1*) num objects) |
| post | possibly_updated(new LRUCacheImpl(constructCache#1* ).cache) |
| post | possibly_updated(new LRUCacheImpl(constructCache#1* ).hits) |
| post | possibly_updated(new LRUCacheImpl(constructCache#1* ).id) |
| post | possibly_updated(new LRUCacheImpl(constructCache#1* ).misses) |
| post | possibly_updated(new LRUCacheImpl(constructCache#1* ).puts) |
| post | possibly_updated(new LRUCacheImpl(constructCache#1* ).removes) |
| post | possibly_updated(new LRUCacheImpl(constructCache#1* ).startTime) |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.ResourceBundle:getString |
| unanalyzed | call on getName |
| unanalyzed | call on java.util.ResourceBundle:getBundle |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty |
| unanalyzed | call on java.util.StringTokenizer |
| unanalyzed | call on java.util.StringTokenizer:countTokens |
| unanalyzed | call on java.util.StringTokenizer:hasMoreTokens |
| unanalyzed | call on java.util.StringTokenizer:nextToken |
| unanalyzed | call on java.lang.Class:forName |
| unanalyzed | call on java.lang.Class:newInstance |
| unanalyzed | call on java.lang.Class:getName |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on java.util.Set:add |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.Map:containsKey |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on java.util.LinkedHashMap |
| unanalyzed | call on java.util.Collections:synchronizedMap |
| unanalyzed | call on org.apache.roller.weblogger.util.cache. LRUCacheImpl |
| unanalyzed | call on java.lang.Long:parseLong |
| unanalyzed | call on constructCache |
| test_vector | org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@106: {0}, {1} |
| method | void doPost(HttpServletRequest, HttpServletRespons e) |
| pre | log != null |
| pre | request != null |
| pre | init'ed(this.commentThrottle) |
| pre | (soft) init'ed(org/apache/roller/weblogger/util/IPB anList.instance.bannedIps) |
| pre | (soft) init'ed(org/apache/roller/weblogger/util/IPB anList.instance.bannedIpsFile.myLastModified) |
| pre | (soft) init'ed(this.commentThrottle. clientHistoryCache.hits) |
| pre | (soft) init'ed(this.commentThrottle. clientHistoryCache.misses) |
| pre | (soft) init'ed(this.commentThrottle. clientHistoryCache.puts) |
| pre | (soft) org/apache/roller/weblogger/ui/rendering/plu gins/comments/CommentValidationManager.log != null |
| pre | (soft) org/apache/roller/weblogger/util/GenericThro ttle.log != null |
| pre | (soft) org/apache/roller/weblogger/util/I18nMessage s.messagesMap != null |
| pre | (soft) org/apache/roller/weblogger/util/IPBanList. instance != null |
| pre | (soft) init'ed(org/apache/roller/weblogger/util/IPB anList.instance.bannedIpsFile) |
| pre | (soft) org/apache/roller/weblogger/util/IPBanList. log != null |
| pre | (soft) org/apache/roller/weblogger/util/MailUtil. log != null |
| pre | (soft) org/apache/roller/weblogger/util/cache/Cache Manager.cacheHandlers != null |
| pre | (soft) org/apache/roller/weblogger/util/cache/Cache Manager.log != null |
| pre | (soft) response != null |
| pre | (soft) this.authenticator != null |
| pre | (soft) this.commentThrottle.clientHistoryCache != null |
| pre | (soft) this.commentThrottle.clientHistoryCache. cache != null |
| pre | (soft) init'ed(this.commentThrottle.interval) |
| pre | (soft) init'ed(this.commentThrottle.threshold) |
| pre | (soft) this.commentValidationManager != null |
| pre | (soft) this.commentValidationManager.validators != null |
| presumption | java.util.Iterator:next(...)@305 != null |
| presumption | javax.servlet.http.HttpServletRequest:getRequestDis patcher(...)@273 != null |
| presumption | javax.servlet.http.HttpServletRequest:getRequestDis patcher(...)@371 != null |
| presumption | messageUtils.bundle != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@196 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getIndexManager(...)@336 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@195 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getWeblogManager(...)@326 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@195 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@326 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@328 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@336 != null |
| presumption | org.apache.roller.weblogger.ui.rendering.util. WeblogCommentRequest:getWeblogEntry(...)@204 != null |
| post | org/apache/roller/weblogger/util/IPBanList. instance.bannedIps == One-of{old org/apache/roller/ weblogger/util/IPBanList.instance.bannedIps, &new HashSet(loadBannedIps#1)} |
| post | init'ed(org/apache/roller/weblogger/util/IPBanList. instance.bannedIps) |
| post | (soft) init'ed(org/apache/roller/weblogger/util/IPB anList.instance.bannedIpsFile.myLastModified) |
| post | this.commentThrottle.clientHistoryCache.hits == One-of{old this.commentThrottle.clientHistoryCache .hits, old this.commentThrottle.clientHistoryCache. hits + 1, One-of{old this.commentThrottle. clientHistoryCache.hits, old this.commentThrottle. client... |
| post | (soft) init'ed(this.commentThrottle. clientHistoryCache.hits) |
| post | this.commentThrottle.clientHistoryCache.misses == One-of{old this.commentThrottle.clientHistoryCache .misses, old this.commentThrottle.clientHistoryCach e.misses + 1} |
| post | (soft) init'ed(this.commentThrottle. clientHistoryCache.misses) |
| post | this.commentThrottle.clientHistoryCache.puts == One-of{old this.commentThrottle.clientHistoryCache .puts, old this.commentThrottle.clientHistoryCache. puts + 1} |
| post | (soft) init'ed(this.commentThrottle. clientHistoryCache.puts) |
| post | this.commentThrottle.clientHistoryCache.removes == One-of{old this.commentThrottle.clientHistoryCache .removes, old this.commentThrottle.clientHistoryCac he.removes + 1, One-of{old this.commentThrottle. clientHistoryCache.removes, old this.commentThr... |
| post | new HashSet(loadBannedIps#1) num objects <= 1 |
| unanalyzed | call on java.util.List:size |
| unanalyzed | call on java.util.ResourceBundle:getString |
| unanalyzed | call on getName |
| unanalyzed | call on org.apache.commons.logging.Log:debug |
| unanalyzed | call on java.util.ArrayList |
| unanalyzed | call on org.apache.roller.weblogger.util. RollerMessages$RollerMessage |
| unanalyzed | call on java.util.List:add |
| unanalyzed | call on java.util.Map:get |
| unanalyzed | call on get |
| unanalyzed | call on java.lang.System:currentTimeMillis |
| unanalyzed | call on remove |
| unanalyzed | call on java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on java.util.Map:remove |
| unanalyzed | call on java.util.Date |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on put |
| unanalyzed | call on loadBannedIpsIfNeeded |
| unanalyzed | call on java.util.Set:contains |
| unanalyzed | call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:canWrite |
| unanalyzed | call on java.io.FileWriter |
| unanalyzed | call on java.io.PrintWriter |
| unanalyzed | call on java.io.PrintWriter:println |
| unanalyzed | call on java.io.PrintWriter:close |
| unanalyzed | call on org.apache.roller.weblogger.util. IPBanList$ModifiedFile:lastModified |
| unanalyzed | call on java.util.Set:add |
| unanalyzed | call on org.apache.commons.logging.Log:error |
| unanalyzed | call on loadBannedIps |
| unanalyzed | call on java.util.HashSet |
| unanalyzed | call on java.io.FileReader |
| unanalyzed | call on java.io.BufferedReader |
| unanalyzed | call on java.io.BufferedReader:readLine |
| unanalyzed | call on java.util.HashSet:add |
| unanalyzed | call on java.io.BufferedReader:close |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on org.apache.commons.logging.Log:info |
| unanalyzed | call on java.net.URLEncoder:encode |
| unanalyzed | call on java.util.ResourceBundle:getBundle |
| unanalyzed | call on java.util.Locale:toString |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getSe ssion |
| unanalyzed | call on javax.servlet.http.HttpSession:getAttribute |
| unanalyzed | call on javax.servlet.http.HttpServletRequest:getPa rameter |
| unanalyzed | call on java.lang.Integer:parseInt |
| unanalyzed | call on java.lang.Integer:intValue |
| unanalyzed | call on javax.servlet.http.HttpSession:removeAttrib ute |
| unanalyzed | call on java.util.List:iterator |
| unanalyzed | call on validate |
| unanalyzed | call on java.text.MessageFormat:format |
| unanalyzed | call on org.apache.roller.weblogger.business. startup.WebloggerStartup:getMailProvider |
| unanalyzed | call on org.apache.roller.weblogger.business. MailProvider:getSession |
| unanalyzed | call on javax.mail.internet.MimeMessage |
| unanalyzed | call on org.apache.commons.lang.StringUtils:isEmpty |
| unanalyzed | call on javax.mail.internet.InternetAddress |
| unanalyzed | call on javax.mail.Message:setFrom |
| unanalyzed | call on org.apache.commons.logging.Log:isDebugEnabl ed |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on javax.mail.Message:setSentDate |
| unanalyzed | call on javax.mail.Message:getAllRecipients |
| unanalyzed | call on javax.mail.SendFailedException |
| unanalyzed | call on org.apache.roller.weblogger.business. MailProvider:getTransport |
| unanalyzed | call on javax.mail.Transport:send |
| unanalyzed | call on javax.mail.SendFailedException:setNextExcep tion |
| unanalyzed | call on javax.mail.SendFailedException:getValidUnse ntAddresses |
| unanalyzed | call on javax.mail.Transport:close |
| unanalyzed | call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getCreator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. User:getEmailAddress |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getWebsite |
| unanalyzed | call on org.apache.roller.weblogger.business. Weblogger:getUrlStrategy |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getHandle |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getId |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getWeblogEntry |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getBooleanProperty |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailComments |
| unanalyzed | call on java.lang.Boolean:booleanValue |
| unanalyzed | call on org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty |
| unanalyzed | call on org.apache.roller.weblogger.pojos. Weblog:getEmailFromAddress |
| unanalyzed | call on java.util.TreeSet |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getComments |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getEmail |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getNotify |
| unanalyzed | call on java.lang.String:matches |
| unanalyzed | call on java.util.Set:remove |
| unanalyzed | call on java.util.Set:toArray |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getName |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getContent |
| unanalyzed | call on org.apache.commons.lang.StringUtils:replace |
| unanalyzed | call on java.lang.String:substring |
| unanalyzed | call on java.lang.String:length |
| unanalyzed | call on java.util.regex.Pattern:matcher |
| unanalyzed | call on java.util.regex.Matcher:find |
| unanalyzed | call on java.util.regex.Matcher:start |
| unanalyzed | call on java.util.regex.Matcher:end |
| unanalyzed | call on java.lang.String:replaceAll |
| unanalyzed | call on java.util.regex.Matcher:replaceAll |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getAnchor |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getWeblogCommentsURL |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on org.apache.commons.lang.StringUtils:equals |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle |
| unanalyzed | call on java.util.Set:iterator |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntryComment:getId |
| unanalyzed | call on invalidate |
| test_vector | this.commentThrottle: Addr_Set{null}, Inverse{null} |
| test_vector | errorKey.mArgs@305: Addr_Set{null}, Inverse{null} |
| test_vector | java.lang.String:equals(...)@171: {0}, {1} |
| test_vector | java.lang.String:equals(...)@323: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@304: {0}, {1} |
| test_vector | java.util.List:size(...)@70: {-231..0}, {1..232-1} |
| test_vector | javax.servlet.http.HttpServletRequest:getParameter( ...)@169: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@241: {0}, {1} |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@323: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:getComment ModerationRequired(...)@283: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:getComment ModerationRequired(...)@335: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:getCo mmentsStillAllowed(...)@260: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@260: {1}, {0} |
| test_vector | org.apache.roller.weblogger.pojos.WeblogEntry:isPub lished(...)@342: {0}, {1} |
| test_vector | org.apache.roller.weblogger.ui.rendering.util. WeblogCommentRequest:getLocale(...)@212: Addr_Set{null}, Inverse{null} |