add tests

Author: Jami Cogswell

java/ql/test/library-tests/dataflow/taintsources/AndroidManifest.xml

@@ -18,7 +18,7 @@
 
         <!-- This name is resolved to com.example.myapp.MainActivity
              based upon the package attribute -->
-        <activity android:name=".IntentSources">
+        <activity android:name=".IntentSourcesActivity">
             <intent-filter>
                 <action android:name="android.intent.action.MAIN" />
                 <category android:name="android.intent.category.LAUNCHER" />
@@ -28,6 +28,18 @@
         <activity
             android:name=".DisplayMessageActivity"
             android:parentActivityName=".MainActivity" />
+
+        <service android:name=".IntentSourcesService">
+            <intent-filter>
+                <action android:name="android.intent.action.START_BACKGROUND"/>
+            </intent-filter>
+        </service>
+
+        <receiver android:name=".IntentSourcesReceiver">
+            <intent-filter>
+                <action android:name="android.intent.action.PACKAGE_INSTALL"/>
+            </intent-filter>
+        </receiver>
     </application>
 </manifest>
 

java/ql/test/library-tests/dataflow/taintsources/IntentSources.java renamed to java/ql/test/library-tests/dataflow/taintsources/IntentSourcesActivity.java

@@ -1,10 +1,12 @@
 package com.example.myapp;
 
 import android.app.Activity;
+import android.content.Intent;
 
-public class IntentSources extends Activity {
+public class IntentSourcesActivity extends Activity {
 
-	private static void sink(Object o) {}
+	private static void sink(Object o) {
+	}
 
 	public void test() throws java.io.IOException {
 
@@ -26,14 +28,14 @@ public void test3() throws java.io.IOException {
 		sink(trouble); // $hasRemoteTaintFlow
 
 	}
-
 }
 
 class OtherClass {
 
-	private static void sink(Object o) {}
+	private static void sink(Object o) {
+	}
 
-	public void test(IntentSources is) throws java.io.IOException {
+	public void test(IntentSourcesActivity is) throws java.io.IOException {
 		String trouble = is.getIntent().getStringExtra("key");
 		sink(trouble); // $hasRemoteTaintFlow
 	}

java/ql/test/library-tests/dataflow/taintsources/IntentSourcesReceiver.java

@@ -0,0 +1,17 @@
+package com.example.myapp;
+
+import android.content.BroadcastReceiver;
+import android.content.Context;
+import android.content.Intent;
+
+public class IntentSourcesReceiver extends BroadcastReceiver {
+
+	private static void sink(Object o) {
+	}
+
+	@Override
+	public void onReceive(Context context, Intent intent) {
+		String trouble = intent.getStringExtra("data");
+		sink(trouble); // $ hasRemoteTaintFlow
+	}
+}

java/ql/test/library-tests/dataflow/taintsources/IntentSourcesService.java

@@ -0,0 +1,52 @@
+package com.example.myapp;
+
+import android.app.Service;
+import android.content.Context;
+import android.content.Intent;
+import android.os.IBinder;
+
+public class IntentSourcesService extends Service {
+
+	private static void sink(Object o) {
+	}
+
+	@Override
+	public void onStart(Intent intent, int startId) {
+		String trouble = intent.getStringExtra("data");
+		sink(trouble); // $ hasRemoteTaintFlow
+	}
+
+	@Override
+	public int onStartCommand(Intent intent, int flags, int startId) {
+		String trouble = intent.getStringExtra("data");
+		sink(trouble); // $ hasRemoteTaintFlow
+		return -1;
+	}
+
+	@Override
+	public IBinder onBind(Intent intent) {
+		String trouble = intent.getStringExtra("data");
+		sink(trouble); // $ hasRemoteTaintFlow
+		return null;
+	}
+
+	@Override
+	public boolean onUnbind(Intent intent) {
+		String trouble = intent.getStringExtra("data");
+		sink(trouble); // $ hasRemoteTaintFlow
+		return false;
+	}
+
+	@Override
+	public void onRebind(Intent intent) {
+		String trouble = intent.getStringExtra("data");
+		sink(trouble); // $ hasRemoteTaintFlow
+	}
+
+	@Override
+	public void onTaskRemoved(Intent intent) {
+		String trouble = intent.getStringExtra("data");
+		sink(trouble); // $ hasRemoteTaintFlow
+	}
+
+}