Fix Uri.toString() summary and add summary for WebResourceRequest

Author: MarcMil

soot-infoflow-summaries/summariesManual/android.net.Uri.xml

@@ -293,19 +293,19 @@
 					<from sourceSinkType="Field" BaseType="android.net.Uri"
 						AccessPath="[android.net.Uri: java.lang.String scheme]"
 						AccessPathTypes="[java.lang.String]" />
-					<to sourceSinkType="Return" BaseType="android.net.Uri" />
+					<to sourceSinkType="Return" BaseType="java.lang.String" />
 				</flow>
 				<flow isAlias="false" typeChecking="false">
 					<from sourceSinkType="Field" BaseType="android.net.Uri"
 						AccessPath="[android.net.Uri: java.lang.String ssp]"
 						AccessPathTypes="[java.lang.String]" />
-					<to sourceSinkType="Return" BaseType="android.net.Uri" />
+					<to sourceSinkType="Return" BaseType="java.lang.String" />
 				</flow>
 				<flow isAlias="false" typeChecking="false">
 					<from sourceSinkType="Field" BaseType="android.net.Uri"
 						AccessPath="[android.net.Uri: java.lang.String fragment]"
 						AccessPathTypes="[java.lang.String]" />
-					<to sourceSinkType="Return" BaseType="android.net.Uri" />
+					<to sourceSinkType="Return" BaseType="java.lang.String" />
 				</flow>
 			</flows>
 		</method>

soot-infoflow-summaries/summariesManual/android.webkit.WebResourceRequest.xml

@@ -0,0 +1,54 @@
+<?xml version="1.0" ?>
+<summary fileFormatVersion="101">
+	<hierarchy superClass="java.lang.Object"/>
+	<methods>
+		<method id="android.net.Uri getUrl()">
+			<flows>
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
+					<from sourceSinkType="Field" />
+					<to sourceSinkType="Return" />
+				</flow>
+			</flows>
+		</method>
+		<method id="boolean isForMainFrame()">
+			<flows>
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
+					<from sourceSinkType="Field" />
+					<to sourceSinkType="Return" />
+				</flow>
+			</flows>
+		</method>
+		<method id="boolean isRedirect()">
+			<flows>
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
+					<from sourceSinkType="Field" />
+					<to sourceSinkType="Return" />
+				</flow>
+			</flows>
+		</method>
+		<method id="boolean hasGesture()">
+			<flows>
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
+					<from sourceSinkType="Field" />
+					<to sourceSinkType="Return" />
+				</flow>
+			</flows>
+		</method>
+		<method id="java.lang.String getMethod()">
+			<flows>
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
+					<from sourceSinkType="Field" />
+					<to sourceSinkType="Return" />
+				</flow>
+			</flows>
+		</method>
+		<method id="java.util.Map getRequestHeaders()">
+			<flows>
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
+					<from sourceSinkType="Field" />
+					<to sourceSinkType="Return" />
+				</flow>
+			</flows>
+		</method>
+	</methods>
+</summary>