Messages

Last Msg First Msg

method

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

method

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

method	void org.apache.roller.weblogger.webservices. adminprotocol.sdk.UserEntry(String, String)
post	java.lang.StringBuilder:toString(...)._tainted == urlPrefix._tainted \| name._tainted
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	this.href == &java.lang.StringBuilder:toString( ...)
post	this.name == name
post	init'ed(this.name)

method	void org.apache.roller.weblogger.webservices. adminprotocol.sdk.UserEntry(Element, String)
pre	e != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
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.emailAddress)
post	possibly_updated(this.enabled)
post	possibly_updated(this.fullName)
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	init'ed(this.name)
post	possibly_updated(this.password)
post	possibly_updated(this.screenName)
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.UserEntry(InputStream, String)
presumption	org.jdom.Document:detachRootElement(...)@77 != null
presumption	org.jdom.input.SAXBuilder:build(...)@76 != null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
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.emailAddress)
post	possibly_updated(this.enabled)
post	possibly_updated(this.fullName)
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	init'ed(this.name)
post	possibly_updated(this.password)
post	possibly_updated(this.screenName)
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.name)
presumption	java.lang.Long:valueOf(...)@132 != null
presumption	org.jdom.Element:getText(...)@114 == null
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	this.dateCreated == One-of{old this.dateCreated, &new Date(populate#2)}
post	possibly_updated(this.emailAddress)
post	possibly_updated(this.enabled)
post	possibly_updated(this.fullName)
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	init'ed(this.name)
post	possibly_updated(this.password)
post	possibly_updated(this.screenName)
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(...)@100: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@106: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@112: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@118: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@124: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@130: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@136: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@84: Addr_Set{null}, Inverse{null}
test_vector	org.jdom.Element:getChild(...)@94: 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()