| method | void sendPendingEntryNotice(WeblogEntry) |
| pre | (soft) entry != null |
| pre | (soft) log != null |
| presumption | init'ed(java.lang.Boolean.TRUE) |
| presumption | java.util.ArrayList:size(...)@113 >= 0 |
| presumption | java.util.Iterator:next(...)@105 != null |
| presumption | java.util.ResourceBundle:getBundle(...)@118 != null |
| presumption | org.apache.roller.weblogger.business. MailProvider:getSession(...)@81 != null |
| presumption | org.apache.roller.weblogger.business. UserManager:getUsers(...)@99 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@116 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@87 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@116 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@87 != null |
| presumption | org.apache.roller.weblogger.business.startup. WebloggerStartup:getMailProvider(...)@81 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getCr eator(...)@89 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getCr eator(...)@90 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@106 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@116 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@118 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@121 != null |
| presumption | init'ed(org.apache.roller.weblogger.pojos. WeblogPermission.AUTHOR) |
| presumption | to.length@113 <= 232-1 |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.mail.SendFailedException:setNextExcep tion |
| unanalyzed | call on javax.mail.SendFailedException:getValidUnse ntAddresses |
| unanalyzed | call on javax.mail.Transport:close |
| test_vector | java.util.Iterator:hasNext(...)@104: {0}, {1} |
| test_vector | org.apache.roller.weblogger.pojos.User:getEmailAddr ess(...)@106: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.roller.weblogger.pojos.Weblog:hasUserPer missions(...)@106: {0}, {1} |
| method | void sendWeblogInvitation(Weblog, User) |
| pre | user != null |
| pre | website != null |
| pre | (soft) log != null |
| presumption | java.util.ResourceBundle:getBundle(...)@172 != null |
| presumption | org.apache.roller.weblogger.business. MailProvider:getSession(...)@151 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@158 != null |
| presumption | org.apache.roller.weblogger.business.startup. WebloggerStartup:getMailProvider(...)@151 != null |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.mail.SendFailedException:setNextExcep tion |
| unanalyzed | call on javax.mail.SendFailedException:getValidUnse ntAddresses |
| unanalyzed | call on javax.mail.Transport:close |
| method | void sendUserActivationEmail(User) |
| pre | user != null |
| pre | (soft) log != null |
| presumption | java.util.ResourceBundle:getBundle(...)@215 != null |
| presumption | org.apache.roller.weblogger.business. MailProvider:getSession(...)@208 != null |
| presumption | org.apache.roller.weblogger.business.startup. WebloggerStartup:getMailProvider(...)@208 != null |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| 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.commons.lang.StringUtils:split |
| unanalyzed | call on java.util.Locale |
| unanalyzed | call on java.util.Locale:getDefault |
| method | void sendEmailNotification(WeblogEntryComment, RollerMessages, I18nMessages, bool) |
| pre | commentObject != null |
| pre | (soft) log != null |
| pre | (soft) messages != null |
| pre | (soft) messages.mErrors != null |
| pre | (soft) messages.mMessages != null |
| pre | (soft) resources != null |
| pre | (soft) resources.bundle != null |
| presumption | bcc.length@318 <= 232-1 |
| presumption | java.util.Iterator:next(...)@298 != null |
| presumption | java.util.Iterator:next(...)@372 != null |
| presumption | java.util.Iterator:next(...)@389 != null |
| presumption | java.util.Set:toArray(...)@318 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@354 != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@408 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@354 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@408 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getEmailCo mments(...)@270 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getCo mments(...)@296 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getCr eator(...)@266 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@265 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getEmail(...)@304 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getNotify(...)@302 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@264 != null |
| presumption | to.length@318 <= 232-1 |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| 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 java.util.ResourceBundle:getString |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| 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 java.util.List:size |
| unanalyzed | call on java.util.List:iterator |
| test_vector | notifySubscribers: {0}, {1} |
| test_vector | commenterAddrs.length@318: {0}, {1..+Inf} |
| test_vector | java.lang.Boolean:booleanValue(...)@270: {1}, {0} |
| test_vector | java.lang.Boolean:booleanValue(...)@302: {0}, {1} |
| test_vector | java.lang.String:matches(...)@304: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@371: {0}, {1} |
| test_vector | java.util.Iterator:hasNext(...)@388: {0}, {1} |
| test_vector | java.util.List:size(...)@70: {-231..0}, {1..232-1} |
| test_vector | java.util.List:size(...)@74: {-231..0}, {1..232-1} |
| test_vector | java.util.Set:size(...)@421: {2..232-1}, {-231..1} |
| test_vector | org.apache.commons.lang.StringUtils:equals(... )@421: {0}, {1} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@283: {0}, {1} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@299: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@336: {1}, {0} |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@269: {0}, {1} |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@327: {0}, {1} |
| method | void sendEmailApprovalNotifications(List, I18nMessages) |
| pre | comments != null |
| pre | (soft) log != null |
| pre | (soft) resources != null |
| pre | (soft) resources.bundle != null |
| presumption | java.util.Iterator:next(...)@493 != null |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| 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 java.util.List:iterator |
| 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 java.text.MessageFormat:format |
| 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:add |
| 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 java.util.ResourceBundle:getString |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| 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.List:size |
| unanalyzed | call on java.util.HashMap |
| unanalyzed | call on java.util.Map:put |
| unanalyzed | call on org.apache.roller.weblogger.business. URLStrategy:getActionURL |
| unanalyzed | call on java.util.Set:size |
| unanalyzed | call on org.apache.commons.lang.StringUtils:equals |
| unanalyzed | call on org.apache.roller.weblogger.pojos. WeblogEntry:getTitle |
| unanalyzed | call on java.lang.Exception:getMessage |
| unanalyzed | call on java.util.ArrayList |
| test_vector | java.util.Iterator:hasNext(...)@493: {0}, {1} |
| method | void sendEmailApprovalNotification(WeblogEntryComm ent, I18nMessages) |
| pre | cd != null |
| pre | (soft) log != null |
| pre | (soft) resources != null |
| pre | (soft) resources.bundle != null |
| presumption | org.apache.roller.weblogger.business. Weblogger:getUrlStrategy(...)@539 != null |
| presumption | org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@539 != null |
| presumption | org.apache.roller.weblogger.pojos.Weblog:getEmailCo mments(...)@519 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getCr eator(...)@515 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntry:getWe bsite(...)@514 != null |
| presumption | org.apache.roller.weblogger.pojos.WeblogEntryCommen t:getWeblogEntry(...)@513 != null |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| 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 java.util.ResourceBundle:getString |
| unanalyzed | call on org.apache.commons.logging.Log:warn |
| test_vector | java.lang.Boolean:booleanValue(...)@519: {1}, {0} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@528: {0}, {1} |
| test_vector | org.apache.roller.weblogger.config.WebloggerRuntime Config:getBooleanProperty(...)@518: {0}, {1} |
| method | void sendMessage(String, String[], String[], String[], String, String, String) |
| pre | (soft) bcc.length <= 232-1 |
| pre | (soft) init'ed(bcc[...]) |
| pre | (soft) cc.length <= 232-1 |
| pre | (soft) init'ed(cc[...]) |
| pre | (soft) log != null |
| pre | (soft) to.length <= 232-1 |
| pre | (soft) init'ed(to[...]) |
| presumption | init'ed(javax.mail.Message$RecipientType.BCC) |
| presumption | init'ed(javax.mail.Message$RecipientType.CC) |
| presumption | init'ed(javax.mail.Message$RecipientType.TO) |
| presumption | javax.mail.Message:getAllRecipients(...)@636 != null |
| presumption | org.apache.roller.weblogger.business. MailProvider:getTransport(...)@642 != null |
| presumption | remainingAddresses.length@636 <= 232-1 |
| test_vector | bcc: Addr_Set{null}, Inverse{null} |
| test_vector | cc: Addr_Set{null}, Inverse{null} |
| test_vector | to: Addr_Set{null}, Inverse{null} |
| test_vector | org.apache.commons.lang.StringUtils:isEmpty(... )@596: {1}, {0} |
| test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@599: {0}, {1} |
| test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@607: {0}, {1} |
| test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@617: {0}, {1} |
| test_vector | org.apache.commons.logging.Log:isDebugEnabled(... )@627: {0}, {1} |
| test_vector | org.apache.roller.weblogger.business.startup. WebloggerStartup:getMailProvider(...)@587: Inverse{null}, Addr_Set{null} |
| method | void sendTextMessage(String, String[], String[], String[], String, String) |
| pre | (soft) bcc.length <= 232-1 |
| pre | (soft) init'ed(bcc[...]) |
| pre | (soft) cc.length <= 232-1 |
| pre | (soft) init'ed(cc[...]) |
| pre | (soft) log != null |
| pre | (soft) to.length <= 232-1 |
| pre | (soft) init'ed(to[...]) |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.mail.SendFailedException:setNextExcep tion |
| unanalyzed | call on javax.mail.SendFailedException:getValidUnse ntAddresses |
| unanalyzed | call on javax.mail.Transport:close |
| method | void sendTextMessage(String, String, String[], String[], String, String) |
| pre | (soft) bcc.length <= 232-1 |
| pre | (soft) init'ed(bcc[...]) |
| pre | (soft) cc.length <= 232-1 |
| pre | (soft) init'ed(cc[...]) |
| pre | (soft) log != null |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.mail.SendFailedException:setNextExcep tion |
| unanalyzed | call on javax.mail.SendFailedException:getValidUnse ntAddresses |
| unanalyzed | call on javax.mail.Transport:close |
| test_vector | to: Addr_Set{null}, Inverse{null} |
| method | void sendTextMessage(String, String, String, String, String, String) |
| pre | (soft) log != null |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.mail.SendFailedException:setNextExcep tion |
| unanalyzed | call on javax.mail.SendFailedException:getValidUnse ntAddresses |
| unanalyzed | call on javax.mail.Transport:close |
| test_vector | bcc: Addr_Set{null}, Inverse{null} |
| test_vector | cc: Addr_Set{null}, Inverse{null} |
| test_vector | to: Addr_Set{null}, Inverse{null} |
| method | void sendHTMLMessage(String, String[], String[], String[], String, String) |
| pre | (soft) bcc.length <= 232-1 |
| pre | (soft) init'ed(bcc[...]) |
| pre | (soft) cc.length <= 232-1 |
| pre | (soft) init'ed(cc[...]) |
| pre | (soft) log != null |
| pre | (soft) to.length <= 232-1 |
| pre | (soft) init'ed(to[...]) |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.mail.SendFailedException:setNextExcep tion |
| unanalyzed | call on javax.mail.SendFailedException:getValidUnse ntAddresses |
| unanalyzed | call on javax.mail.Transport:close |
| method | void sendHTMLMessage(String, String, String, String, String, String) |
| pre | (soft) log != null |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.mail.SendFailedException:setNextExcep tion |
| unanalyzed | call on javax.mail.SendFailedException:getValidUnse ntAddresses |
| unanalyzed | call on javax.mail.Transport:close |
| test_vector | bcc: Addr_Set{null}, Inverse{null} |
| test_vector | cc: Addr_Set{null}, Inverse{null} |
| test_vector | to: Addr_Set{null}, Inverse{null} |
| method | void sendHTMLMessage(String, String, String[], String[], String, String) |
| pre | (soft) bcc.length <= 232-1 |
| pre | (soft) init'ed(bcc[...]) |
| pre | (soft) cc.length <= 232-1 |
| pre | (soft) init'ed(cc[...]) |
| pre | (soft) log != null |
| 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 org.apache.commons.logging.Log:debug |
| unanalyzed | call on javax.mail.Message:setRecipients |
| unanalyzed | call on javax.mail.Message:setSubject |
| unanalyzed | call on javax.mail.Message:setContent |
| unanalyzed | call on java.util.Date |
| 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 java.lang.Throwable:__curr_excep_obj |
| unanalyzed | call on javax.mail.SendFailedException:setNextExcep tion |
| unanalyzed | call on javax.mail.SendFailedException:getValidUnse ntAddresses |
| unanalyzed | call on javax.mail.Transport:close |
| test_vector | to: Addr_Set{null}, Inverse{null} |