Last Msg First Msg
























method org.apache.roller.weblogger.business.pings. WeblogUpdatePinger$PingResult__static_init










method org.apache.roller.weblogger.business.pings. WeblogUpdatePinger__static_init
postinit'ed(logger)









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











method void org.apache.roller.weblogger.business.pings. WeblogUpdatePinger$PingResult(Boolean, String)
postinit'ed(this.error)
postthis.message == One-of{message, &""}
postthis.message != null










method bool isError()
preinit'ed(this.error)
postreturn_value == this.error
postinit'ed(return_value)










method void setError(bool)
postthis.error == error
postinit'ed(this.error)










method String getMessage()
preinit'ed(this.message)
postreturn_value == this.message
postinit'ed(return_value)










method void setMessage(String)
postthis.message == message
postinit'ed(this.message)










method String toString()
preinit'ed(this.error)
preinit'ed(this.message)
postinit'ed(java.lang.StringBuilder:toString(...)._ tainted)
postreturn_value == &java.lang.StringBuilder:toStri ng(...)










method void org.apache.roller.weblogger.business.pings. WeblogUpdatePinger()










method WeblogUpdatePinger$PingResult sendPing(PingTarget, Weblog)
prepingTarget != null
prewebsite != null
presumptionorg.apache.commons.logging.LogFactory:getLog(... )@52 != null
postinit'ed(java.lang.Object:toString(...)._tainted)
postreturn_value == One-of{&new WeblogUpdatePinger$ PingResult(parseResult#1), &new WeblogUpdatePinger$PingResult(parseResult#2), &new WeblogUpdatePinger$PingResult(parseResult #4)}
postreturn_value in Addr_Set{&new WeblogUpdatePinge r$PingResult(parseResult#1),&new WeblogUpdatePinger$PingResult(parseResult#2), &new WeblogUpdatePinger$PingResult(parseResult# 4)}
postnew WeblogUpdatePinger$PingResult(parseResult#1) num objects <= 1
postnew WeblogUpdatePinger$PingResult(parseResult#1)._ tainted == 0
postnew WeblogUpdatePinger$PingResult(parseResult#2)._ tainted == 0
postnew WeblogUpdatePinger$PingResult(parseResult#4)._ tainted == 0
postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#1).error)
postnew WeblogUpdatePinger$PingResult(parseResult#1). message == &""
postnew WeblogUpdatePinger$PingResult(parseResult#2) num objects <= 1
postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#2).error)
postnew WeblogUpdatePinger$PingResult(parseResult#2). message != null
postnew WeblogUpdatePinger$PingResult(parseResult#4) num objects <= 1
postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#4).error)
postnew WeblogUpdatePinger$PingResult(parseResult#4). message == &java.lang.Object:toString(...)
unanalyzedcall on java.lang.Boolean:booleanValue
unanalyzedcall on java.util.Map:get
unanalyzedcall on java.lang.Throwable:__curr_excep_obj
unanalyzedcall on org.apache.commons.logging.Log:isDebugEnabl ed
unanalyzedcall on java.lang.Object:getClass
unanalyzedcall on java.lang.Class:getName
unanalyzedcall on org.apache.commons.logging.Log:debug
unanalyzedcall on java.lang.Object:toString
test_vectorjava.util.Set:contains(...)@107: {1}, {0}
test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@112: {0}, {1}
test_vectororg.apache.commons.logging.Log:isDebugEnabled(... )@123: {0}, {1}









  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getAbsoluteURL()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.PingTarget:getPingUrl()










Prev Msg Next Msg
+
medium
null dereferencecheck might fail: requires variantOptions != null
Prev Msg Next Msg










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()










  infomethod not available-- call on bool org.apache.commons.logging. Log:isDebugEnabled()










  infomethod not available-- call on String org.apache.roller.weblogger. pojos.Weblog:getName()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)










  infomethod not available-- call on void org.apache.xmlrpc.client. XmlRpcClientConfigImpl()










  infomethod not available-- call on void org.apache.xmlrpc.client. XmlRpcClientConfigImpl:setServerURL(URL)










  infomethod not available-- call on void org.apache.xmlrpc.client. XmlRpcClient()










  infomethod not available-- call on void org.apache.xmlrpc.client. XmlRpcClient:setConfig(XmlRpcClientConfig)










  infomethod not available-- call on Object org.apache.xmlrpc.client. XmlRpcClient:execute(String, Object[])










  infomethod not available-- call on bool org.apache.commons.logging. Log:isDebugEnabled()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method WeblogUpdatePinger$PingResult parseResult(Object)
presumptionjava.lang.Object:getClass(...)@137 != null
presumptionorg.apache.commons.logging.LogFactory:getLog(... )@52 != null
postinit'ed(java.lang.Object:toString(...)._tainted)
postreturn_value in Addr_Set{&new WeblogUpdatePinge r$PingResult(parseResult#2),&new WeblogUpdatePinger$PingResult(parseResult#4), &new WeblogUpdatePinger$PingResult(parseResult# 1)}
postnew WeblogUpdatePinger$PingResult(parseResult#1) num objects <= 1
postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#1).error)
postnew WeblogUpdatePinger$PingResult(parseResult#1). message == &""
postnew WeblogUpdatePinger$PingResult(parseResult#2) num objects <= 1
postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#2).error)
postnew WeblogUpdatePinger$PingResult(parseResult#2). message != null
postnew WeblogUpdatePinger$PingResult(parseResult#4) num objects <= 1
postinit'ed(new WeblogUpdatePinger$PingResult(parseResu lt#4).error)
postnew WeblogUpdatePinger$PingResult(parseResult#4). message == &java.lang.Object:toString(...)
unanalyzedcall on java.lang.Boolean:booleanValue
test_vectorobj: Inverse{null}, Addr_Set{null}









  infomethod not available-- call on bool org.apache.commons.logging. Log:isDebugEnabled()
  infomethod not available-- call on void org.apache.commons.logging. Log:debug(Object)











method bool shouldRetry(Exception)
postinit'ed(return_value)