Messages

Last Msg First Msg

method	org.apache.roller.weblogger.webservices. adminprotocol.Handler$URI__static_init
post	init'ed(PATHINFO_PATTERN)

method	void org.apache.roller.weblogger.webservices. adminprotocol.Handler$URI(HttpServletRequest)
pre	request != null
pre	(soft) PATHINFO_PATTERN != null
presumption	java.util.regex.Matcher:matches(...)@63 == 1
presumption	java.util.regex.Pattern:matcher(...)@62 != null
post	init'ed(this.entryId)
post	init'ed(this.type)
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
test_vector	java.lang.String:length(...)@58: {1.. 2³²-1}, {0}
test_vector	javax.servlet.http.HttpServletRequest:getPathInfo(. ..)@56: Addr_Set{null}, Inverse{null}

method	String getType()
pre	init'ed(this.type)
post	return_value == this.type
post	init'ed(return_value)

method	String getEntryId()
pre	init'ed(this.entryId)
post	return_value == this.entryId
post	init'ed(return_value)

method	bool isIntrospection()
pre	init'ed(this.entryId)
pre	(soft) init'ed(this.type)
post	init'ed(return_value)

method	bool isCollection()
pre	init'ed(this.entryId)
pre	(soft) init'ed(this.type)
post	init'ed(return_value)

method	bool isEntry()
pre	init'ed(this.entryId)
pre	(soft) init'ed(this.type)
post	init'ed(return_value)

method	org.apache.roller.weblogger.webservices. adminprotocol.Handler__static_init
presumption	org.apache.commons.logging.LogFactory:getFactory(.. .)@93 != null
post	init'ed(logger)

info method not available -- call on LogFactory org.apache.commons.logging. LogFactory:getFactory()

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

method	Handler getHandler(HttpServletRequest)
pre	req != null
pre	(soft) org/apache/roller/weblogger/webservices/admi nprotocol/Handler$URI.PATHINFO_PATTERN != null
presumption	java.lang.String:equals(...)@119 == 1
presumption	org.apache.roller.weblogger.config.WebloggerConfig: getBooleanProperty(...)@103 == 1
post	init'ed(java.lang.String:substring(...)._tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	return_value in Addr_Set{&new RollerMemberHandl er(getHandler#5),&new RollerUserHandler(getHand ler#4),&new RollerWeblogHandler(getHandler#3), &new IntrospectionHandler(getHandler#2)}
post	new Handler$URI(Handler#1) num objects == 1
post	possibly_updated(new Handler$URI(Handler#1). entryId)
post	possibly_updated(new Handler$URI(Handler#1).type)
post	new IntrospectionHandler(getHandler#2) num objects <= 1
post	new IntrospectionHandler(getHandler#2).request == req
post	new IntrospectionHandler(getHandler#2).request != null
post	init'ed(new IntrospectionHandler(getHandler#2). roller)
post	new IntrospectionHandler(getHandler#2).uri == &new Handler$URI(Handler#1)
post	new IntrospectionHandler(getHandler#2).urlPrefix == &java.lang.StringBuilder:toString(...)
post	new IntrospectionHandler(getHandler#2).userName in Addr_Set{null,&java.lang.String:substring(... )}
post	new RollerMemberHandler$MemberURI(RollerMemberHandl er#1) num objects <= 1
post	init'ed(new RollerMemberHandler$MemberURI(RollerMem berHandler#1).entryId)
post	new RollerMemberHandler$MemberURI(RollerMemberHandl er#1).handle == null
post	init'ed(new RollerMemberHandler$MemberURI(RollerMem berHandler#1).type)
post	init'ed(new RollerMemberHandler$MemberURI(RollerMem berHandler#1).username)
post	new RollerMemberHandler(getHandler#5) num objects <= 1
post	new RollerMemberHandler(getHandler#5).memberUri == &new RollerMemberHandler$MemberURI(RollerMembe rHandler#1)
post	new RollerMemberHandler(getHandler#5).request == req
post	new RollerMemberHandler(getHandler#5).request != null
post	init'ed(new RollerMemberHandler(getHandler#5). roller)
post	new RollerMemberHandler(getHandler#5).uri == &new Handler$URI(Handler#1)
post	new RollerMemberHandler(getHandler#5).urlPrefix == &java.lang.StringBuilder:toString(...)
post	new RollerMemberHandler(getHandler#5).userName in Addr_Set{null,&java.lang.String:substring(... )}
post	new RollerUserHandler(getHandler#4) num objects <= 1
post	new RollerUserHandler(getHandler#4).request == req
post	new RollerUserHandler(getHandler#4).request != null
post	init'ed(new RollerUserHandler(getHandler#4). roller)
post	new RollerUserHandler(getHandler#4).uri == &new Handler$URI(Handler#1)
post	new RollerUserHandler(getHandler#4).urlPrefix == &java.lang.StringBuilder:toString(...)
post	new RollerUserHandler(getHandler#4).userName in Addr_Set{null,&java.lang.String:substring(... )}
post	new RollerWeblogHandler(getHandler#3) num objects <= 1
post	new RollerWeblogHandler(getHandler#3).request == req
post	new RollerWeblogHandler(getHandler#3).request != null
post	init'ed(new RollerWeblogHandler(getHandler#3). roller)
post	new RollerWeblogHandler(getHandler#3).uri == &new Handler$URI(Handler#1)
post	new RollerWeblogHandler(getHandler#3).urlPrefix == &java.lang.StringBuilder:toString(...)
post	new RollerWeblogHandler(getHandler#3).userName in Addr_Set{null,&java.lang.String:substring(... )}
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa thInfo
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.Handler
unanalyzed	call on java.lang.String:split
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerRuntimeConfig:getAbsoluteContextURL
unanalyzed	call on javax.servlet.http.HttpServletRequest:getHe ader
unanalyzed	call on java.util.StringTokenizer
unanalyzed	call on java.util.StringTokenizer:hasMoreTokens
unanalyzed	call on java.util.StringTokenizer:nextToken
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on org.apache.commons.codec.binary. Base64:decodeBase64
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getUserData
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. User:hasRole
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
unanalyzed	call on authenticate
test_vector	java.lang.String:equals(...)@115: {0}, {1}
test_vector	java.lang.String:equals(...)@117: {0}, {1}

info method not available -- call on bool org.apache.roller.weblogger.config. WebloggerConfig:getBooleanProperty(String)

Prev Msg Next Msg

+

click for all messages in this file medium

conditional throw check might fail: requires isEntry(...) != 0

Prev Msg Next Msg

method	void org.apache.roller.weblogger.webservices. adminprotocol.Handler(HttpServletRequest)
pre	request != null
pre	(soft) org/apache/roller/weblogger/webservices/admi nprotocol/Handler$URI.PATHINFO_PATTERN != null
presumption	org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger(...)@40 != null
post	init'ed(java.lang.String:substring(...)._tainted)
post	java.lang.StringBuilder:toString(...)._tainted == 0
post	this.request == request
post	this.request != null
post	init'ed(this.roller)
post	this.uri == &new Handler$URI(Handler#1)
post	this.urlPrefix == &java.lang.StringBuilder:toSt ring(...)
post	this.userName == One-of{null, &java.lang. String:substring(...)}
post	this.userName in Addr_Set{null,&java.lang. String:substring(...)}
post	new Handler$URI(Handler#1) num objects == 1
post	init'ed(this.uri.entryId)
post	init'ed(this.uri.type)
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
unanalyzed	call on javax.servlet.http.HttpServletRequest:getPa thInfo
unanalyzed	call on java.lang.String:length
unanalyzed	call on java.util.regex.Pattern:matcher
unanalyzed	call on java.util.regex.Matcher:matches
unanalyzed	call on java.util.regex.Matcher:group
unanalyzed	call on org.apache.roller.weblogger.business. WebloggerFactory:getWeblogger
unanalyzed	call on javax.servlet.http.HttpServletRequest:getHe ader
unanalyzed	call on java.util.StringTokenizer
unanalyzed	call on java.util.StringTokenizer:hasMoreTokens
unanalyzed	call on java.util.StringTokenizer:nextToken
unanalyzed	call on java.lang.String:equalsIgnoreCase
unanalyzed	call on java.lang.String:getBytes
unanalyzed	call on org.apache.commons.codec.binary. Base64:decodeBase64
unanalyzed	call on java.lang.String
unanalyzed	call on java.lang.String:indexOf
unanalyzed	call on java.lang.String:substring
unanalyzed	call on getUserData
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getPassword
unanalyzed	call on org.apache.roller.weblogger.config. WebloggerConfig:getProperty
unanalyzed	call on java.lang.Boolean:valueOf
unanalyzed	call on java.lang.Boolean:booleanValue
unanalyzed	call on org.apache.roller.weblogger.util. Utilities:encodePassword
unanalyzed	call on java.lang.String:trim
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getUserName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.apache.roller.weblogger.pojos. User:hasRole
unanalyzed	call on org.apache.roller.weblogger.pojos. User:getEnabled
unanalyzed	call on org.apache.roller.weblogger.business. Weblogger:getUserManager
unanalyzed	call on org.apache.roller.weblogger.business. UserManager:getUserByUserName
unanalyzed	call on java.lang.Throwable:__curr_excep_obj

info method not available -- call on Weblogger org.apache.roller.weblogger. business.WebloggerFactory:getWeblogger()

info method not available -- call on String org.apache.roller.weblogger. config.WebloggerRuntimeConfig:getAbsoluteContextURL ()

method	String getUserName()
pre	init'ed(this.userName)
post	return_value == this.userName
post	init'ed(return_value)

method	void setUserName(String)
post	this.userName == userName
post	init'ed(this.userName)

method	Handler$URI getUri()
pre	init'ed(this.uri)
post	return_value == this.uri
post	init'ed(return_value)

method	HttpServletRequest getRequest()
pre	init'ed(this.request)
post	return_value == this.request
post	init'ed(return_value)

method	Weblogger getRoller()
pre	init'ed(this.roller)
post	return_value == this.roller
post	init'ed(return_value)

method	String getUrlPrefix()
pre	init'ed(this.urlPrefix)
post	return_value == this.urlPrefix
post	init'ed(return_value)

method	EntrySet getEntrySet(Reader)
post	init'ed(java.lang.StringBuilder:toString(...)._ tainted)
post	init'ed(return_value)
post	new MemberEntrySet(getEntrySet#1*) num objects <= 1
post	init'ed(new MemberEntrySet(getEntrySet#1*). entries)
post	init'ed(new MemberEntrySet(getEntrySet#1*).href)
post	new UserEntrySet(getEntrySet#1*) num objects <= 1
post	init'ed(new UserEntrySet(getEntrySet#1*).entries)
post	init'ed(new UserEntrySet(getEntrySet#1*).href)
post	new WeblogEntrySet(getEntrySet#1*) num objects <= 1
post	init'ed(new WeblogEntrySet(getEntrySet#1*). entries)
post	init'ed(new WeblogEntrySet(getEntrySet#1*).href)
unanalyzed	call on java.lang.Exception
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on getUrlPrefix
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.EntrySet
unanalyzed	call on java.util.Arrays:asList
unanalyzed	call on setEntries
unanalyzed	call on org.jdom.Document:getRootElement
unanalyzed	call on org.jdom.Element:getName
unanalyzed	call on java.lang.String:equals
unanalyzed	call on org.jdom.Element:getChildren
unanalyzed	call on java.util.ArrayList
unanalyzed	call on java.util.List:iterator
unanalyzed	call on org.jdom.Element:getChild
unanalyzed	call on org.jdom.Element:getText
unanalyzed	call on java.util.List:add
unanalyzed	call on java.util.List:toArray
unanalyzed	call on setHref
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.sdk.Entry
unanalyzed	call on java.lang.String:split
unanalyzed	call on java.util.Locale
unanalyzed	call on java.lang.IllegalArgumentException
unanalyzed	call on java.util.TimeZone:getTimeZone
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 (Reader)

method	Weblog getWebsiteData(String)
pre	this.roller != null
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@202 != null
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@204 != null
post	return_value != null
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
test_vector	org.apache.roller.weblogger.business. UserManager:getWebsiteByHandle(...)@202: Inverse{null}, Addr_Set{null}

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String, Boolean)

Prev Msg Next Msg

+

click for all messages in this file low

conditional throw check might fail: requires wd != null

Prev Msg Next Msg

method	User getUserData(String)
pre	this.roller != null
presumption	init'ed(java.lang.Boolean.FALSE)
presumption	init'ed(java.lang.Boolean.TRUE)
presumption	org.apache.roller.weblogger.business. Weblogger:getUserManager(...)@218 != null
post	return_value != null
unanalyzed	call on org.apache.roller.weblogger.webservices. adminprotocol.HandlerException
unanalyzed	call on java.lang.Exception
test_vector	org.apache.roller.weblogger.business. UserManager:getUserByUserName(...)@219: Inverse{null}, Addr_Set{null}

info method not available -- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()

info method not available -- call on User org.apache.roller.weblogger. business.UserManager:getUserByUserName(String, Boolean)

Prev Msg Next Msg

+

click for all messages in this file low

conditional throw check might fail: requires ud != null

Prev Msg Next Msg

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

	info	method not available	-- call on UserManager org.apache.roller.weblogger. business.Weblogger:getUserManager()
	info	method not available	-- call on Weblog org.apache.roller.weblogger. business.UserManager:getWebsiteByHandle(String, Boolean)