removed one test case and added another one

Author: StevenArzt

soot-infoflow-android/test/soot/jimple/infoflow/android/test/droidBench/ImplicitFlowTest.java

@@ -34,6 +34,7 @@ public void runTestImplicitFlow2() throws IOException {
 		Assert.assertEquals(2, res.size());
 	}
 
+	@Ignore("Taint is on ClassA.this$0 -> ImplicitFlow3. Since leakData() is a button click and can happen multiple times, the initial Log call is inside a tainted object.")
 	@Test(timeout = 300000)
 	public void runTestImplicitFlow3() throws IOException {
 		InfoflowResults res = analyzeAPKFile("ImplicitFlows/ImplicitFlow3.apk", true);

soot-infoflow/test/soot/jimple/infoflow/test/ImplicitFlowTestCode.java

@@ -671,4 +671,43 @@ private int constantReturnInIf() {
 		}
 		return 0;
 	}
+
+	public abstract static class AbstractClassWithFieldSetter {
+
+		int foo;
+
+		abstract public void set();
+
+	}
+
+	public static class ClassWithFieldSetterA extends AbstractClassWithFieldSetter {
+
+		@Override
+		public void set() {
+			foo = 42;
+		}
+
+	}
+
+	public static class ClassWithFieldSetterB extends AbstractClassWithFieldSetter {
+
+		@Override
+		public void set() {
+			foo = 1704;
+		}
+
+	}
+
+	public void dataClassSetterTest() {
+		int tainted = TelephonyManager.getIMEI();
+		AbstractClassWithFieldSetter clazz;
+		if (tainted > 42)
+			clazz = new ClassWithFieldSetterA();
+		else
+			clazz = new ClassWithFieldSetterB();
+		clazz.set();
+		ConnectionManager cm = new ConnectionManager();
+		cm.publish(clazz.foo);
+	}
+
 }

soot-infoflow/test/soot/jimple/infoflow/test/junit/ImplicitFlowTests.java

@@ -691,4 +691,17 @@ public void nestedIfTest() {
 		infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
 		checkInfoflow(infoflow, 1);
 	}
+
+	@Test(timeout = 300000)
+	public void dataClassSetterTest() {
+		IInfoflow infoflow = initInfoflow();
+		infoflow.getConfig().setInspectSinks(false);
+		infoflow.getConfig().setCodeEliminationMode(InfoflowConfiguration.CodeEliminationMode.NoCodeElimination);
+
+		List<String> epoints = new ArrayList<String>();
+		epoints.add("<soot.jimple.infoflow.test.ImplicitFlowTestCode: void dataClassSetterTest()>");
+		infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
+		checkInfoflow(infoflow, 1);
+	}
+
 }