Cut subfields on toString()

Author: t1mlange

soot-infoflow-summaries/summariesManual/java.lang.Object.xml

@@ -3,7 +3,7 @@
 	<methods>
 		<method id="java.lang.String toString()">
 			<flows>
-				<flow isAlias="false" typeChecking="false">
+				<flow isAlias="false" typeChecking="false" cutSubfields="true">
 					<from sourceSinkType="Field" />
 					<to sourceSinkType="Return" />
 				</flow>

soot-infoflow-summaries/test/soot/jimple/infoflow/test/methodSummary/ApiClassClient.java

@@ -275,4 +275,13 @@ public void killTaint2() {
 		sink(collection.get());
 	}
 
+	public void taintedFieldToString() {
+		Data d = new Data();
+		d.objectField = source();
+		// in: d.objectField
+		// expected out: str (not str.objectField!)
+		String str = d.toString();
+		char c = str.charAt(2);
+		sink(c);
+	}
 }

soot-infoflow-summaries/test/soot/jimple/infoflow/test/methodSummary/junit/SummaryTaintWrapperTests.java

@@ -212,6 +212,11 @@ public void killTaint2() {
 		testNoFlowForMethod("<soot.jimple.infoflow.test.methodSummary.ApiClassClient: void killTaint2()>");
 	}
 
+	@Test(timeout = 30000)
+	public void taintedFieldToString() {
+		testFlowForMethod("<soot.jimple.infoflow.test.methodSummary.ApiClassClient: void taintedFieldToString()>");
+	}
+
 	@Test
 	public void testAllSummaries() throws URISyntaxException, IOException {
 		EagerSummaryProvider provider = new EagerSummaryProvider(TaintWrapperFactory.DEFAULT_SUMMARY_DIR);