Messages

Last Msg First Msg

method | net.sourceforge.pebble.event.blogentry. PostToTwitterBlogEntryListener__static_init
post | init'ed(log)

method | void net.sourceforge.pebble.event.blogentry. PostToTwitterBlogEntryListener()

| info | method not available | -- call on Log org.apache.commons.logging. LogFactory:getLog(Class)

method | void blogEntryPublished(BlogEntryEvent)
pre | event != null
pre | (soft) net/sourceforge/pebble/domain/AbstractBlog. log != null
pre | (soft) net/sourceforge/pebble/domain/BlogManager. instance != null
pre | (soft) init'ed(net/sourceforge/pebble/domain/BlogMa nager.instance.multiBlog)
presumption | blogEntry.blog != null
presumption | blogEntry.blog.permalinkProvider != null
presumption | blogEntry.blog.pluginProperties != null
presumption | blogEntry.blog.pluginProperties@42 != null
presumption | blogEntry.blog.pluginProperties@50 != null
presumption | blogEntry.blog.properties != null
presumption | blogEntry.blog.properties@42 != null
presumption | blogEntry.blog.properties@50 != null
presumption | blogEntry.blog@42 != null
presumption | blogEntry.blog@50 != null
presumption | blogEntry.title@50 != null
presumption | getBlog(...).messages != null
presumption | net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource(...)@91 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@32 != null
unanalyzed | call on java.lang.String:length
unanalyzed | call on java.lang.String:substring
unanalyzed | call on java.lang.String:valueOf
unanalyzed | call on java.net.URL
unanalyzed | call on java.net.URL:openConnection
unanalyzed | call on java.net.URLConnection:setDoInput
unanalyzed | call on java.net.URLConnection:setDoOutput
unanalyzed | call on java.net.URLConnection:setUseCaches
unanalyzed | call on java.net.URLConnection:getInputStream
unanalyzed | call on java.io.InputStreamReader
unanalyzed | call on java.io.BufferedReader
unanalyzed | call on java.io.BufferedReader:readLine
unanalyzed | call on java.io.BufferedReader:close
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on java.net.MalformedURLException:getMessage
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on java.io.IOException:getMessage
unanalyzed | call on java.io.PrintStream:println
unanalyzed | call on twitter4j.Twitter
unanalyzed | call on twitter4j.Twitter:updateStatus
unanalyzed | call on getProperty
unanalyzed | call on getBlog
unanalyzed | call on getName
unanalyzed | call on getPluginProperties
unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed | call on java.util.Properties:getProperty
unanalyzed | call on net.sourceforge.pebble.api.event.blogentry. BlogEntryEvent:getSource
unanalyzed | call on java.util.List:size
unanalyzed | call on java.util.List:subList
unanalyzed | call on net.sourceforge.pebble.util. SecurityUtils:getUsername
unanalyzed | call on java.util.Date
unanalyzed | call on java.util.List:add
unanalyzed | call on getUrl
unanalyzed | call on getPermalinkProvider
unanalyzed | call on getPermalink
unanalyzed | call on org.apache.commons.logging.Log:info
unanalyzed | call on java.lang.String:indexOf
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getIns tance
unanalyzed | call on net.sourceforge.pebble.PebbleContext:getCon figuration
test_vector | java.lang.String:equalsIgnoreCase(...)@56: {0}, {1}

Prev Msg Next Msg

+ |
| medium
| null dereference | check might fail: requires tinyUrl != null

Prev Msg Next Msg

Prev Msg Next Msg

+ |
| medium
| precondition failure | net/sourceforge/pebble/event/blogentry/PostToTwitte rBlogEntryListener.composeMessage: longUrl != null

Prev Msg Next Msg

| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

method | bool checkUrl(String)
pre | longUrl != null
post | init'ed(return_value)

method | String composeMessage(String, String, String)
pre | longUrl != null
pre | title != null
pre | (soft) tinyUrl != null
presumption | java.lang.String:length(...)@92 <= 2_147_483_787
post | return_value != null

method | String getTwitterUrl(BlogEntry)
pre | blogEntry != null
pre | blogEntry.blog != null
pre | blogEntry.blog.pluginProperties != null
pre | blogEntry.blog.properties != null
post | return_value != null
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on getBlog
unanalyzed | call on getName
unanalyzed | call on getPluginProperties
unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed | call on java.util.Properties:getProperty

method | String getTwitterPassword(BlogEntry)
pre | blogEntry != null
pre | blogEntry.blog != null
pre | blogEntry.blog.pluginProperties != null
pre | blogEntry.blog.properties != null
post | init'ed(return_value)
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on getBlog
unanalyzed | call on getName
unanalyzed | call on getPluginProperties
unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed | call on java.util.Properties:getProperty

method | String getTwitterUsername(BlogEntry)
pre | blogEntry != null
pre | blogEntry.blog != null
pre | blogEntry.blog.pluginProperties != null
pre | blogEntry.blog.properties != null
post | init'ed(return_value)
unanalyzed | call on org.apache.commons.logging.Log:debug
unanalyzed | call on org.apache.commons.logging.Log:error
unanalyzed | call on getBlog
unanalyzed | call on getName
unanalyzed | call on getPluginProperties
unanalyzed | call on net.sourceforge.pebble.PluginProperties:get Property
unanalyzed | call on java.util.Properties:getProperty

method | String getProperty(BlogEntry, String)
pre | blogEntry != null
pre | blogEntry.blog != null
pre | blogEntry.blog.pluginProperties != null
pre | blogEntry.blog.properties != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@32 != null
post | init'ed(return_value)
unanalyzed | call on java.util.Properties:getProperty
test_vector | net.sourceforge.pebble.PluginProperties:getProperty (...)@134: Inverse{null}, Addr_Set{null}
test_vector | net.sourceforge.pebble.PluginProperties:getProperty (...)@136: Inverse{null}, Addr_Set{null}

| info | method not available | -- call on String net.sourceforge.pebble. PluginProperties:getProperty(String)

| info | method not available | -- call on String net.sourceforge.pebble. PluginProperties:getProperty(String)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)

method | void post(String, String, String, String)
presumption | java.lang.System.out != null

| info | method not available | -- call on void twitter4j.Twitter(String, String)

| info | method not available | -- call on Status twitter4j.Twitter:updateStatus(St ring)

method | String makeTinyURL(String)
presumption | java.net.URL:openConnection(...)@174 != null
presumption | org.apache.commons.logging.LogFactory:getLog(... )@32 != null
post | init'ed(return_value)
test_vector | java.io.BufferedReader:readLine(...)@180: Inverse{null}, Addr_Set{null}

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:error(Object)

| info | method not available | -- call on void org.apache.commons.logging. Log:debug(Object)