added a test case for the return parameter problem in the dataflow en…

…gine
tim-hoffman · Oct 29, 2014 · 362bb7c · 362bb7c
1 parent 8fae371
commit 362bb7c
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/test/soot/jimple/infoflow/android/test/otherAPKs/JUnitTests.java b/test/soot/jimple/infoflow/android/test/otherAPKs/JUnitTests.java
@@ -86,4 +86,11 @@ public void runTest2() throws IOException, XmlPullParserException {
 		Assert.assertEquals(1, res.size());
 	}
 
+	@Test
+	public void runReturnParameterTest() throws IOException, XmlPullParserException {
+		InfoflowResults res = analyzeAPKFile
+				("testAPKs/ReturnParameterTest.apk", false, false, false);
+		Assert.assertTrue(res == null || res.isEmpty());
+	}
+
 }
diff --git a/testAPKs/ReturnParameterTest.apk b/testAPKs/ReturnParameterTest.apk