method

org.apache.roller.weblogger.util.URLUtilities__ static_init

method

void org.apache.roller.weblogger.util. URLUtilities()

method	String getQueryString(Map)
presumption	java.util.Map:keySet(...)@49 != null
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value in Addr_Set{null,&java.lang. StringBuffer:toString(...)}
test_vector	params: Inverse{null}, Addr_Set{null}
test_vector	java.lang.StringBuffer:length(...)@53: {-231..-1, 1..232-1}, {0}
test_vector	java.util.Iterator:hasNext(...)@49: {0}, {1}

method	String encode(String)
post	init'ed(return_value)

method	String decode(String)
post	init'ed(return_value)

method	String getEncodedTagsString(List)
post	java.lang.StringBuffer:toString(...)._tainted == 0
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj
test_vector	tags: Addr_Set{null}, Inverse{null}
test_vector	java.util.Iterator:hasNext(...)@107: {0}, {1}
test_vector	java.util.List:size(...)@98: {-231..0}, {1..232-1}

method	String encodePath(String)
pre	path != null
presumption	java.lang.String:indexOf(...)@121 <= 232-2
post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)
post	return_value == &java.lang.StringBuffer:toStrin g(...)
unanalyzed	call on java.net.URLEncoder:encode
unanalyzed	call on java.lang.Throwable:__curr_excep_obj