Fix JSONObject summary

Author: t1mlange

soot-infoflow-summaries/summariesManual/org.json.JSONObject.xml

@@ -730,22 +730,38 @@
 		<method id="java.lang.String toString()">
 			<flows>
 				<flow isAlias="false" typeChecking="false">
-					<from sourceSinkType="Field" />
+					<from sourceSinkType="Field"
+						  AccessPath="[org.json.JSONObject: java.lang.Object[] values]"
+						  AccessPathTypes="[java.lang.Object[]]"/>
+					<to sourceSinkType="Return" />
+				</flow>
+				<flow isAlias="false" typeChecking="false">
+					<from sourceSinkType="Field"
+						  AccessPath="[org.json.JSONArray: java.lang.String[] keys]"
+						  AccessPathTypes="[java.lang.Object[]]"/>
 					<to sourceSinkType="Return" />
 				</flow>
 			</flows>
 		</method>
 		<method id="java.lang.String toString(int)">
 			<flows>
 				<flow isAlias="false" typeChecking="false">
-					<from sourceSinkType="Field" />
+					<from sourceSinkType="Field"
+						  AccessPath="[org.json.JSONObject: java.lang.Object[] values]"
+						  AccessPathTypes="[java.lang.Object[]]"/>
+					<to sourceSinkType="Return" />
+				</flow>
+				<flow isAlias="false" typeChecking="false">
+					<from sourceSinkType="Field"
+						  AccessPath="[org.json.JSONArray: java.lang.String[] keys]"
+						  AccessPathTypes="[java.lang.Object[]]"/>
 					<to sourceSinkType="Return" />
 				</flow>
 			</flows>
 		</method>
 		<method id="java.lang.String valueToString(java.lang.Object)">
 			<flows>
-				<flow isAlias="false" typeChecking="false">
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
 					<from sourceSinkType="Parameter" ParameterIndex="0" />
 					<to sourceSinkType="Return" />
 				</flow>