From 7e9429e50c24a8c8766e8997c4a6057cf002f08f Mon Sep 17 00:00:00 2001 From: "Khaled E. Ahmed" Date: Wed, 29 May 2024 19:00:58 -0400 Subject: [PATCH] fix eval --- artifacts/ViaLin/docs/artifact/index.html | 54 +---------------------- 1 file changed, 1 insertion(+), 53 deletions(-) diff --git a/artifacts/ViaLin/docs/artifact/index.html b/artifacts/ViaLin/docs/artifact/index.html index 82a9b68..ea87663 100644 --- a/artifacts/ViaLin/docs/artifact/index.html +++ b/artifacts/ViaLin/docs/artifact/index.html @@ -64,58 +64,6 @@ -

This page describes how to install and run ViaLin.

-
    -

  1. Install and build Android AOSP version 8.0.0 by following the instructions in the Android manual (in our evaluation, we targeted android-8.0.0_r21, lunch 31).

    -
    2. -

  2. Download the artifact and unpack it to vialin/

    -
    3. -

  3. Change the directory to path-taint folder, then build the tool with mvn package install

    -
    4. -

  4. Copy vialin/android-src/openjdk_java_files.mk to [AOSP]/libcore/openjdk_java_files.mk

    -
    5. -

  5. Copy vialin/android-src/droiddoc.mk to [AOSP]/build/make/core/droiddoc.mk

    -
    6. -

  6. Copy vialin/android-src/droiddoc_core.mk to [AOSP]/build/core/droiddoc.mk

    -
    7. -

  7. Copy vialin/android-src/java.mk to [AOSP]/build/core/java.mk

    -
    8. -

  8. Copy vialin/android-src/Thread.java to [AOSP]/libcore/ojluni/src/main/java/java/lang/Thread.java

    -
    9. -

  9. Copy vialin/android-src/PathTaint.java to [AOSP]/libcore/ojluni/src/main/java/java/lang/PathTaint.java

    -
    10. -

  10. Copy vialin/android-src/TaintDroid.java to [AOSP]/libcore/ojluni/src/main/java/java/lang/TaintDroid.java

    -
    11. -

  11. Copy vialin/android-src/instruction_builder.cc to [AOSP]/art/compiler/optimizing/instruction_builder.cc

    -
    12. -

  12. Copy vialin/android-src/java_lang_Thread.cc to [AOSP]/art/runtime/native/java_lang_Thread.cc

    -
    13. -
-
    d -

  1. Copy vialin/android-src/register_line-inl.h to [AOSP]/art/runtime/verifier/register_line-inl.h

    -
    2. -

  2. Copy vialin/android-src/method_verifier.cc to [AOSP]/art/runtime/verifier/method_verifier.cc

    -
    3. -

  3. Copy vialin/android-src/register_line.cc to [AOSP]/art/runtime/verifier/register_line.cc

    -
    4. -

  4. Copy vialin/android-src/class_linker.cc to [AOSP]/art/runtime/class_linker.cc

    -
    5. -

  5. Replace [path-to-jar] in java.mk to the jar file built from step #3

    -
    6. -

  6. Create a folder called framework_analysis_results, place its path in [framework_analysis_results] in the java.mk

    -
    7. -

  7. Create folder class_info/ inside framework_analysis_results

    -
    8. -

  8. Replace [path-to-sources] ang [path-to-sink] in java.mk with path to the absolute path of GPBench/config/empty.txt from the evaluation package

    -
    9. -
-
    -

  1. Change the directory to the [AOSP], follow the "Setting up the environment", "Choosing a target", and "Building the code" section of the Building Android Manual

    -
    2. -

  2. Flash an Android device by following the instructions in the Android Manual Flashing Devices

    -
    3. -

  3. An example on how to taint and install an app on the device is in the evaluation package GPBench/scripts/run_gp.py, run from the vialin directory python3 GPBench/scripts/run_gp.py, modify the paths in the script to point to the correct folder for the AOSP, framework_analysis_results, source/sink lists, the android-record-and-replay tool included in vialin, and the path to the apk.

    -
    4. -
+

The artifact and evaluation package are available at https://github.com/resess/ViaLin