URLUtilities.java

URLUtilities.java

current inspection = 2009-09-04 18:33:31 (id #2)

base = 2009-09-04 18:33:31 (id #1)

Filter Options

History:

+	added
-	dropped
U	unchanged

Annotation Kind:

pre

presumption

post

unanalyzed

test

+ String decode(String)

-/+	Kind	Annotation Text	Date
+	post	init'ed(return_value)	2009-09-04 18:33:31

+ String encode(String)

-/+	Kind	Annotation Text	Date
+	post	init'ed(return_value)	2009-09-04 18:33:31

+ String encodePath(String)

-/+	Kind	Annotation Text	Date
+	pre	path != null	2009-09-04 18:33:31
+	presumption	java.lang.String:indexOf(...)@121 <= 2³²-2	2009-09-04 18:33:31
+	post	init'ed(java.lang.StringBuffer:toString(...)._ tainted)	2009-09-04 18:33:31
+	post	return_value == &java.lang.StringBuffer:toStrin g(...)	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Throwable:__curr_excep_obj	2009-09-04 18:33:31
+	unanalyzed	call on java.net.URLEncoder:encode	2009-09-04 18:33:31

+ String getEncodedTagsString(List)

-/+	Kind	Annotation Text	Date
+	post	java.lang.StringBuffer:toString(...)._tainted == 0	2009-09-04 18:33:31
+	post	return_value == &java.lang.StringBuffer:toStrin g(...)	2009-09-04 18:33:31
+	unanalyzed	call on java.lang.Throwable:__curr_excep_obj	2009-09-04 18:33:31
+	unanalyzed	call on java.net.URLEncoder:encode	2009-09-04 18:33:31
+	test_vector	java.util.Iterator:hasNext(...)@107: {0}, {1}	2009-09-04 18:33:31
+	test_vector	java.util.List:size(...)@98: {-2³¹..0}, {1..2³²-1}	2009-09-04 18:33:31
+	test_vector	tags: Addr_Set{null}, Inverse{null}	2009-09-04 18:33:31

+ String getQueryString(Map)

-/+	Kind	Annotation Text	Date
+	presumption	java.util.Map:keySet(...)@49 != null	2009-09-04 18:33:31
+	post	java.lang.StringBuffer:toString(...)._tainted == 0	2009-09-04 18:33:31
+	post	return_value in Addr_Set{null,&java.lang. StringBuffer:toString(...)}	2009-09-04 18:33:31
+	test_vector	java.lang.StringBuffer:length(...)@53: {-2³¹..-1, 1..2³²-1}, {0}	2009-09-04 18:33:31
+	test_vector	java.util.Iterator:hasNext(...)@49: {0}, {1}	2009-09-04 18:33:31
+	test_vector	params: Inverse{null}, Addr_Set{null}	2009-09-04 18:33:31

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

-/+	Kind	Annotation Text	Date

+ org.apache.roller.weblogger.util.URLUtilities__static_init

-/+	Kind	Annotation Text	Date