تنزيل ICCBot - تنزيل رمز المصدر ICCBot

ICCBot

فئات أخرى

v1.0

تنزيل

ICCBOT

ICCBOT: أداة دقة ICC حساسة للسياق وتطبيقات Android.

النشر

يمكن العثور على الورقة pdf على https://hanada31.github.io/pdf/icse22_iccbot.pdf

@inproceedings{icse22_iccbot,
  author    = {Jiwei Yan and
               Shixin Zhang and
	       Yepang Liu and
               Jun Yan and
               Jian Zhang},
  title     = {ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for {Android} Applications},
  booktitle = {The 44th International Conference on Software Engineering, {ICSE} 2022 (Demo Track)},
  year      = {2022},
}

بناء وتشغيل ICCBOT

المتطلبات العامة

بيثون 3+
جافا 1.8+
تثبيت GraphViz (http://www.graphviz.org/download/)

بناء ICCBOT

 # Initialize soot-dev submodule
git submodule update --init soot-dev

# Use -DskipTests to skip tests of soot (make build faster)
mvn -f pom.xml clean package -DskipTests

# Copy jar to root directory
cp target/ICCBot-jar-with-dependencies.jar ICCBot.jar

أو استخدم برنامج Build Script الذي يوفره لنا:

python scripts/mvn.py

تشغيل ICCBOT

java -jar ICCBot.jar  -path apk/ -name ICCBotBench.apk -androidJar lib/platforms -time 30 -maxPathNumber 100 -client CTGClient -outputDir results/output

أو تحليل APKs تحت مجلد معين مع نص Python:

python scripts/runICCBot.py [apkPath] [resultPath]

استخدام ICCBOT

 java -jar ICCBot.jar -h

usage: java -jar ICCBot.jar [options] [-path] [-name] [-androidJar] [-outputDir][-client]
 
 -h                     -h: Show the help information.
 -name <arg>            -name: Set the name of the apk under analysis.
 -path <arg>            -path: Set the path to the apk under analysis.
 -outputDir <arg>       -outputDir: Set the output folder of the apk.
 -client <arg>          -client 
                         "CallGraphClient: Output call graph files."
                         "ManifestClient: Output manifest.xml file."
                         "IROutputClient: Output soot IR files."
                         "FragmentClient: Output the fragment loading results."
                         "CTGClient/MainClient: Resolve ICC and generate CTG."
                         "ICCSpecClient:  Report ICC specification for each component."
                        
 -androidJar <arg>      -androidJar: Set the path of android.jar.                
 -version <arg>         -version [default:23]: Version of Android SDK.
 -maxPathNumber <arg>   -maxPathNumber [default:10000]: Set the max number of paths.
 -time <arg>            -time [default:90]: Set the max running time (min).

 -noAdapter             -noAdapter: exclude super simple adapter model
 -noAsyncMethod         -noAsyncMethod: exclude async method call edge
 -noCallBackEntry       -noCallBackEntry: exclude the call back methods
 -noDynamicBC           -noDynamicBC: exclude dynamic broadcast receiver matching
 -noFragment            -noFragment: exclude fragment operation model
 -noFunctionExpand      -noFunctionExpand: do not inline function with useful contexts
 -noImplicit            -noImplicit: exclude implict matching
 -noLibCode             -noLibCode: exclude the activities not declared in app's package
 -noPolym               -noPolym: exclude polymorphism methods
 -noStaticField         -noStaticField: exclude string operation model
 -noStringOp            -noStringOp: exclude string operation model
 -noWrapperAPI          -noWrapperAPI: exclude RAICC model
 -onlyDummyMain         -onlyDummyMain: limit the entry scope

 -debug                 -debug: use debug mode.

الإدخال: ملف APK
الإخراج: نتائج دقة المحكمة الجنائية الدولية ، رسم بياني CTG ، إلخ.
- callgraphinfo
  - تم إنشاء رسم بياني مكالمات ممتد
    - [appname] _cg.txt: حواف الرسم البياني الأصلي للمكالمات.
    - CG.TXT: حواف الرسم البياني المكالمات المنسقة.
- ManySestinfo
  - استخراج ملف AndroidManifest
    - Androidmanifest.txt
- FragmentInfo
  - رسم بياني تحميل شظية تم إنشاؤه
    - [appname] _fragload.dot: الرسم البياني لتحميل الشظية بتنسيق DOT
    - [appname] _fragload.pdf: الرسم البياني تحميل الشظية
- ctgresult
  - الرسم البياني الانتقالي المكون الذي تم إنشاؤه
    - [appname] _CTG.DOT: الرسم البياني الانتقالي المكون بتنسيق DOT
    - [appname] _ctg.pdf: الرسم البياني الانتقالي المكون
    - [appname] _ctgwithfragment.dot: انتقال المكون وتحميل الشظية بتنسيق DOT
    - [appname] _ctgwithfragmentg.pdf: انتقال المكون وتحميل الشظية
    - ComponentInfo.xml: المعلومات لكل مكون ، بما في ذلك ، كيف يتم الإعلان عن المكون في ملف البيان () ، ومعلومات ICC المرسلة من المكون الحالي () ، ومعلومات ICC المستلمة حسب المكون الحالي ().
    - ctg.xml: أعط قائمة الوجهة لكل مكون مصدر.
    - iccbotresult.xml: لكل مكون ، أعط قائمة بملخصات النوايا. كل نوايا يتوافق مع كائن نية. يمنح هذا الملف مصدره وبياناته وغيرها من بيانات ICC () ، وهي الطريقة التي يتم بها إرسال ICC ، وتتبع Call Method المتعلق بالمرض ICC () وكل وحدة متعلقة بـ ICC ().
- ICCSPECINATION
  - تم إنشاء ملف JSON مواصفات ICC
    - ComponentModel.json: أعط قائمة بالمكونات. لكل واحد ، يسرد اسم className ، ونوع المكون (A للنشاط ، S للخدمة ، P لل ContentProvider ، و r للبروتكاستير) ، و fullvalueset. توفر القيمة الكاملة جميع بيانات ICC التي حصلنا عليها من خلال التحليل الثابت ، لكل بيانات ICC (على سبيل المثال ، الإجراء ، الفئة ، وعناصر البيانات الإضافية الأخرى) ، نقدم قيمة البيانات المعلنة في ملف البيان () ، والقيم المرتبطة بالـ ICC التي سيتم إنشاؤها وإرسالها إلى المكون الحالي من قبل مكونات أخرى () ، وقيم البيانات التي سيتم استخدامها في المقارنة مع Message Message المستقبلة ().
    - ComponentModel_typevalue.json: القيم لكل نوع يمكن استخدامه لمزيد من توليد الاختبار.
    - ObjectSummary_entry.xml: لكل مكون ، أعط قائمة بملخصات النوايا. كل نوايا يتوافق مع كائن نية. يمنح هذا الملف مصدره ووجهته وبيانات ICC الأخرى () ، وهي الطريقة التي يتم بها إرسال ICC ، وتتبع Call Method المتعلق بالمرض ICC () ، وكل وحدة متعلقة بالمرض ICC ().
    - pathsummary_entry.xml: لكل مكون ، أعط قائمة بملخصات المسار. كل مسار يتوافق مع المسار وقد يتضمن أكثر من كائن نية. مجرد استخدام ملفات الملفات summary_entry.xml جيد.
- Sootirinfo
  - توليد ملفات جيمبل جيمبل