Added a failed false negative test case (#1)

* Added a failed false negative test case

Author: flankerhqd

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

@@ -1403,5 +1403,29 @@ public void delayedReturnTest1() {
 	private void doAlias(B b, A a) {
 		b.attr = a;
 	}
+	
+	
+	class D {
+		E e;
+
+		public void read() {
+			e = new E();
+			e.read();
+		}
+	}
+
+	class E {
+		String str;
+		public void read() {
+			str = "";
+			str = str + TelephonyManager.getDeviceId();
+		}
+	}
+	public void aliasWithOverwriteTest1() {
+		D d = new D();
+		d.read();
+		ConnectionManager cm = new ConnectionManager();
+		cm.publish(d.e.str);
+	}
 
 }

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

@@ -1106,4 +1106,12 @@ public void delayedReturnTest1() {
 		checkInfoflow(infoflow, 1);
 	}
 
+	@Test(timeout = 300000)
+	public void aliasWithOverwriteTest1() {
+		IInfoflow infoflow = initInfoflow();
+		List<String> epoints = new ArrayList<String>();
+		epoints.add("<soot.jimple.infoflow.test.HeapTestCode: void aliasWithOverwriteTest1()>");
+		infoflow.computeInfoflow(appPath, libPath, epoints, sources, sinks);
+		checkInfoflow(infoflow, 1);
+	}
 }