Add an Android test case using String.format

Author: MarcMil

soot-infoflow-integration/SourcesAndSinks_GeoLocationNetworkOnly.txt

@@ -0,0 +1,3 @@
+<java.net.URL: void <init>(java.lang.String)> -> _SINK_
+<android.location.Location: double getLatitude()> -> _SOURCE_
+<android.location.Location: double getLongitude()> -> _SOURCE_

soot-infoflow-integration/test/soot/jimple/infoflow/collections/test/junit/AndroidTests.java

@@ -21,6 +21,28 @@ protected void setConfiguration(InfoflowConfiguration config) {
 
 	}
 
+	@Test
+	public void testGeoLocation() throws IOException {
+		File rootDir = getIntegrationRoot();
+		SetupApplication app = initApplication(new File(rootDir, "testAPKs/CoordinatesToURLParameter.apk"));
+		app.getConfig().getPathConfiguration()
+				.setPathReconstructionMode(InfoflowConfiguration.PathReconstructionMode.Fast);
+		InfoflowResults results = app.runInfoflow(new File(rootDir, "SourcesAndSinks_GeoLocationNetworkOnly.txt"));
+		Assert.assertEquals(1, results.size());
+
+		DataFlowResult res = results.getResultSet().stream().findFirst().get();
+		boolean found = false;
+		for (Stmt stmt : res.getSource().getPath()) {
+			if (stmt.containsInvokeExpr()) {
+				String sig = stmt.getInvokeExpr().getMethod().getSignature();
+				if (sig.contains("android.location.Location: double")) {
+					found = true;
+				}
+			}
+		}
+		Assert.assertTrue(found);
+	}
+
 	@Test
 	public void testResourceResolving() throws IOException {
 		File rootDir = getIntegrationRoot();