Messages

Last Msg First Msg

method

org.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry$Tags__static_init

method

org.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry__static_init

method	void org.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry(Element, String)
pre	e != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	possibly_updated(this.appEntriesUrl)
post	possibly_updated(this.appResourcesUrl)
post	possibly_updated(this.creatingUser)
post	this.dateCreated == One-of{undefined, &new Date(populate#2)}
post	this.dateCreated in Addr_Set{null,&new Date(populate#2)}
post	possibly_updated(this.description)
post	possibly_updated(this.emailAddress)
post	possibly_updated(this.enabled)
post	init'ed(this.handle)
post	this.href == &java.lang.StringBuilder:toString( ...)
post	this.locale == One-of{undefined, null, &new Locale(LocaleString#1), &new Locale(LocaleStri ng#2), &new Locale(LocaleString#3)}
post	this.locale == null
post	possibly_updated(this.name)
post	possibly_updated(this.timezone)
post	new Date(populate#2) num objects <= 1
post	new Locale(LocaleString#1) num objects == 0
post	new Locale(LocaleString#2) num objects == 0
post	new Locale(LocaleString#3) num objects == 0
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getText
unanalyzed	call on setHref
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.Boolean:valueOf

method	void org.apache.roller.weblogger.webservices. adminprotocol.sdk.WeblogEntry(InputStream, String)
presumption	org.jdom.Document:detachRootElement(...)@76 != null
presumption	org.jdom.input.SAXBuilder:build(...)@75 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	possibly_updated(this.appEntriesUrl)
post	possibly_updated(this.appResourcesUrl)
post	possibly_updated(this.creatingUser)
post	this.dateCreated == One-of{undefined, &new Date(populate#2)}
post	this.dateCreated in Addr_Set{null,&new Date(populate#2)}
post	possibly_updated(this.description)
post	possibly_updated(this.emailAddress)
post	possibly_updated(this.enabled)
post	init'ed(this.handle)
post	this.href == &java.lang.StringBuilder:toString( ...)
post	this.locale == One-of{undefined, null, &new Locale(LocaleString#1), &new Locale(LocaleStri ng#2), &new Locale(LocaleString#3)}
post	this.locale == null
post	possibly_updated(this.name)
post	possibly_updated(this.timezone)
post	new Date(populate#2) num objects <= 1
post	new Locale(LocaleString#1) num objects == 0
post	new Locale(LocaleString#2) num objects == 0
post	new Locale(LocaleString#3) num objects == 0
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getText
unanalyzed	call on setHref
unanalyzed	call on java.lang.Long:valueOf
unanalyzed	call on java.lang.Long:longValue
unanalyzed	call on java.util.Date
unanalyzed	call on java.lang.Boolean:valueOf

info method not available -- call on void org.jdom.input.SAXBuilder()

info method not available -- call on Document org.jdom.input.SAXBuilder:build (InputStream)

info method not available -- call on Element org.jdom.Document:detachRootElem ent()

method	void populate(Element, String)
pre	e != null
pre	(soft) init'ed(this.handle)
presumption	java.lang.Long:valueOf(...)@131 != null
presumption	org.jdom.Element:getText(...)@107 == null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	possibly_updated(this.appEntriesUrl)
post	possibly_updated(this.appResourcesUrl)
post	possibly_updated(this.creatingUser)
post	this.dateCreated == One-of{old this.dateCreated, &new Date(populate#2)}
post	possibly_updated(this.description)
post	possibly_updated(this.emailAddress)
post	possibly_updated(this.enabled)
post	init'ed(this.handle)
post	this.href == &java.lang.StringBuilder:toString( ...)
post	this.locale == One-of{old this.locale, null, &new Locale(LocaleString#1), &new Locale(LocaleString#2), &new Locale(LocaleStri ng#3)}
post	possibly_updated(this.name)
post	possibly_updated(this.timezone)
post	new Date(populate#2) num objects <= 1
post	new Locale(LocaleString#1) num objects == 0
post	new Locale(LocaleString#2) num objects == 0
post	new Locale(LocaleString#3) num objects == 0
unanalyzed	call on java.util.TimeZone:getTimeZone
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
test_vector	org.jdom.Element:getChild(...)@105: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@111: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@117: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@123: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@129: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@135: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@141: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@147: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@83: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@93: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@99: Addr_Set{null}, Inverse{null}

info method not available -- call on Element org.jdom.Element:getChild(String , Namespace)

info method not available -- call on String org.jdom.Element:getText()