-
Notifications
You must be signed in to change notification settings - Fork 178
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #8 from noidsirius/CGPTA_Tutorial
CallGraph and PointsTo Analysis tutorial
- Loading branch information
Showing
44 changed files
with
948 additions
and
38 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,14 @@ | ||
| *.iml | ||
| .gradle | ||
| /local.properties | ||
| /.idea/caches | ||
| /.idea/libraries | ||
| /.idea/modules.xml | ||
| /.idea/workspace.xml | ||
| /.idea/navEditor.xml | ||
| /.idea/assetWizardSettings.xml | ||
| .DS_Store | ||
| /build | ||
| /captures | ||
| .externalNativeBuild | ||
| .cxx |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1 @@ | ||
| /build |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,29 @@ | ||
| apply plugin: 'com.android.application' | ||
|
|
||
| android { | ||
| compileSdkVersion 29 | ||
| buildToolsVersion "29.0.3" | ||
| defaultConfig { | ||
| applicationId "dev.navids.multicomp1" | ||
| minSdkVersion 14 | ||
| targetSdkVersion 29 | ||
| versionCode 1 | ||
| versionName "1.0" | ||
| testInstrumentationRunner "androidx.test.runner.AndroidJUnitRunner" | ||
| } | ||
| buildTypes { | ||
| release { | ||
| minifyEnabled false | ||
| proguardFiles getDefaultProguardFile('proguard-android-optimize.txt'), 'proguard-rules.pro' | ||
| } | ||
| } | ||
| } | ||
|
|
||
| dependencies { | ||
| implementation fileTree(dir: 'libs', include: ['*.jar']) | ||
| implementation 'androidx.appcompat:appcompat:1.0.2' | ||
| implementation 'androidx.constraintlayout:constraintlayout:1.1.3' | ||
| testImplementation 'junit:junit:4.12' | ||
| androidTestImplementation 'androidx.test.ext:junit:1.1.0' | ||
| androidTestImplementation 'androidx.test.espresso:espresso-core:3.1.1' | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,21 @@ | ||
| # Add project specific ProGuard rules here. | ||
| # You can control the set of applied configuration files using the | ||
| # proguardFiles setting in build.gradle. | ||
| # | ||
| # For more details, see | ||
| # http://developer.android.com/guide/developing/tools/proguard.html | ||
|
|
||
| # If your project uses WebView with JS, uncomment the following | ||
| # and specify the fully qualified class name to the JavaScript interface | ||
| # class: | ||
| #-keepclassmembers class fqcn.of.javascript.interface.for.webview { | ||
| # public *; | ||
| #} | ||
|
|
||
| # Uncomment this to preserve the line number information for | ||
| # debugging stack traces. | ||
| #-keepattributes SourceFile,LineNumberTable | ||
|
|
||
| # If you keep the line number information, uncomment this to | ||
| # hide the original source file name. | ||
| #-renamesourcefileattribute SourceFile |
27 changes: 27 additions & 0 deletions
27
...oid/STDemoApp/app/src/androidTest/java/dev/navids/multicomp1/ExampleInstrumentedTest.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,27 @@ | ||
| package dev.navids.multicomp1; | ||
|
|
||
| import android.content.Context; | ||
|
|
||
| import androidx.test.platform.app.InstrumentationRegistry; | ||
| import androidx.test.ext.junit.runners.AndroidJUnit4; | ||
|
|
||
| import org.junit.Test; | ||
| import org.junit.runner.RunWith; | ||
|
|
||
| import static org.junit.Assert.*; | ||
|
|
||
| /** | ||
| * Instrumented test, which will execute on an Android device. | ||
| * | ||
| * @see <a href="http://d.android.com/tools/testing">Testing documentation</a> | ||
| */ | ||
| @RunWith(AndroidJUnit4.class) | ||
| public class ExampleInstrumentedTest { | ||
| @Test | ||
| public void useAppContext() { | ||
| // Context of the app under test. | ||
| Context appContext = InstrumentationRegistry.getInstrumentation().getTargetContext(); | ||
|
|
||
| assertEquals("dev.navids.multicomp1", appContext.getPackageName()); | ||
| } | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,36 @@ | ||
| <?xml version="1.0" encoding="utf-8"?> | ||
| <manifest xmlns:android="http://schemas.android.com/apk/res/android" | ||
| package="dev.navids.multicomp1"> | ||
|
|
||
| <application | ||
| android:allowBackup="true" | ||
| android:icon="@mipmap/ic_launcher" | ||
| android:label="@string/app_name" | ||
| android:roundIcon="@mipmap/ic_launcher_round" | ||
| android:supportsRtl="true" | ||
| android:theme="@style/AppTheme"> | ||
| <receiver | ||
| android:name=".MyReceiver" | ||
| android:enabled="true" | ||
| android:exported="true"> | ||
| <intent-filter> | ||
| <action android:name="android.intent.action.SCREEN_OFF" /> | ||
| </intent-filter> | ||
| </receiver> | ||
|
|
||
| <activity | ||
| android:name=".SecondActivity" | ||
| android:excludeFromRecents="true" | ||
| android:theme="@style/Theme.AppCompat.Dialog" /> | ||
| <activity | ||
| android:name=".MainActivity" | ||
| android:theme="@style/AppTheme"> | ||
| <intent-filter> | ||
| <action android:name="android.intent.action.MAIN" /> | ||
|
|
||
| <category android:name="android.intent.category.LAUNCHER" /> | ||
| </intent-filter> | ||
| </activity> | ||
| </application> | ||
|
|
||
| </manifest> |
12 changes: 12 additions & 0 deletions
12
demo/Android/STDemoApp/app/src/main/java/dev/navids/multicomp1/ClassChild.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,12 @@ | ||
| package dev.navids.multicomp1; | ||
|
|
||
| public class ClassChild extends ClassParent { | ||
| @Override | ||
| public void baseMethod(){ | ||
| childMethod(); | ||
| } | ||
|
|
||
| public void childMethod(){ | ||
| System.out.println("In child"); | ||
| } | ||
| } |
9 changes: 9 additions & 0 deletions
9
demo/Android/STDemoApp/app/src/main/java/dev/navids/multicomp1/ClassParent.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,9 @@ | ||
| package dev.navids.multicomp1; | ||
|
|
||
| public class ClassParent { | ||
| public void baseMethod(){} | ||
|
|
||
| public void unreachableMethod(){ | ||
| System.out.println("Nobody calls me"); | ||
| } | ||
| } |
63 changes: 63 additions & 0 deletions
63
demo/Android/STDemoApp/app/src/main/java/dev/navids/multicomp1/MainActivity.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,63 @@ | ||
| package dev.navids.multicomp1; | ||
|
|
||
| import androidx.appcompat.app.AlertDialog; | ||
| import androidx.appcompat.app.AppCompatActivity; | ||
|
|
||
| import android.content.DialogInterface; | ||
| import android.content.Intent; | ||
| import android.os.Bundle; | ||
| import android.view.View; | ||
|
|
||
| public class MainActivity extends AppCompatActivity { | ||
|
|
||
| ClassParent childInstance = new ClassChild(); | ||
| @Override | ||
| protected void onCreate(Bundle savedInstanceState) { | ||
| super.onCreate(savedInstanceState); | ||
| setContentView(R.layout.activity_main); | ||
| findViewById(R.id.second_act_button).setOnClickListener(new Button1()); | ||
| findViewById(R.id.dialog_button).setOnClickListener( new Button2()); | ||
| } | ||
|
|
||
| class Button1 implements View.OnClickListener{ | ||
| @Override | ||
| public void onClick(View v) { | ||
| Intent intent = new Intent(MainActivity.this, SecondActivity.class); | ||
| startActivity(intent); | ||
| } | ||
| } | ||
|
|
||
| class Button2 implements View.OnClickListener{ | ||
| class Dialogue1 implements DialogInterface.OnClickListener{ | ||
| ClassChild childInstance = new ClassChild(); | ||
| @Override | ||
| public void onClick(DialogInterface dialog, int which) { | ||
| childInstance.baseMethod(); | ||
| } | ||
| } | ||
| @Override | ||
| public void onClick(View v) { | ||
| new AlertDialog.Builder(MainActivity.this) | ||
| .setTitle("A dialog") | ||
| .setMessage("Call 'baseMethod' through ClassChild?") | ||
| .setPositiveButton(android.R.string.yes, new Dialogue1()) | ||
| .setNegativeButton(android.R.string.no, null) | ||
| .setIcon(android.R.drawable.ic_dialog_alert) | ||
| .show(); | ||
| } | ||
| } | ||
|
|
||
| @Override | ||
| protected void onResume() { | ||
| super.onResume(); | ||
| } | ||
|
|
||
| @Override | ||
| protected void onStart() { | ||
| super.onStart(); | ||
| childInstance.baseMethod(); | ||
| System.out.println("---- onStart"); | ||
| } | ||
|
|
||
|
|
||
| } |
24 changes: 24 additions & 0 deletions
24
demo/Android/STDemoApp/app/src/main/java/dev/navids/multicomp1/MyReceiver.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,24 @@ | ||
| package dev.navids.multicomp1; | ||
|
|
||
| import android.content.BroadcastReceiver; | ||
| import android.content.Context; | ||
| import android.content.Intent; | ||
|
|
||
| public class MyReceiver extends BroadcastReceiver { | ||
| // ClassA instanceA = new ClassA(); | ||
| ClassParent instanceFromSecondActivity; | ||
| public MyReceiver() { | ||
| instanceFromSecondActivity = SecondActivity.parentInstance; | ||
| } | ||
|
|
||
| @Override | ||
| public void onReceive(Context context, Intent intent) { | ||
| intermediaryMethod(); | ||
| new ClassParent().baseMethod(); | ||
| System.out.println("---- Receive something"); | ||
| } | ||
|
|
||
| public void intermediaryMethod(){ | ||
| instanceFromSecondActivity.baseMethod(); | ||
| } | ||
| } |
30 changes: 30 additions & 0 deletions
30
demo/Android/STDemoApp/app/src/main/java/dev/navids/multicomp1/SecondActivity.java
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,30 @@ | ||
| package dev.navids.multicomp1; | ||
|
|
||
| import android.content.Intent; | ||
| import android.content.IntentFilter; | ||
| import android.os.Bundle; | ||
| import android.view.View; | ||
|
|
||
| import androidx.appcompat.app.AppCompatActivity; | ||
|
|
||
| public class SecondActivity extends AppCompatActivity { | ||
|
|
||
| MyReceiver myReceiver = new MyReceiver(); | ||
| static ClassParent parentInstance = new ClassParent(); | ||
| @Override | ||
| protected void onCreate(Bundle savedInstanceState) { | ||
| super.onCreate(savedInstanceState); | ||
| parentInstance.baseMethod(); | ||
| setContentView(R.layout.activity_main2); | ||
| IntentFilter intentFilter = new IntentFilter(Intent.ACTION_SCREEN_OFF); | ||
| registerReceiver(myReceiver, intentFilter); | ||
| findViewById(R.id.use_button).setOnClickListener(new Button3()); | ||
| } | ||
| class Button3 implements View.OnClickListener{ | ||
| ClassChild childInstance = new ClassChild(); | ||
| @Override | ||
| public void onClick(View v) { | ||
| childInstance.baseMethod(); | ||
| } | ||
| } | ||
| } |
Oops, something went wrong.