ICCBotダウンロードICCBotソースコードのダウンロード

ICCBot

その他のカテゴリー

v1.0

ダウンロード

iccbot

ICCBOT：Androidアプリケーション向けのフラグメントアウェアおよびコンテキストに敏感なICC解像度ツール。

出版

ペーパー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を構築して実行します

一般的な要件

Python 3+
Java 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

または、私たちが提供するビルドスクリプトを使用します。

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

または、Pythonスクリプトを使用して、特定のフォルダーの下のAPKを分析します。

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ファイル
出力：ICC解像度の結果、CTGグラフなど。
- callgraphinfo
  - 生成された拡張コールグラフ
    - [appname] _cg.txt：元のコールグラフエッジ。
    - CG.TXT：フォーマットされたコールグラフエッジ。
- Manifestinfo
  - 抽出されたAndroidManifestファイル
    - AndroidManifest.txt
- fragmentinfo
  - 生成されたフラグメントロードグラフ
    - [appname] _fragload.dot：ドット形式のフラグメントロードグラフ
    - [appname] _fragload.pdf：フラグメントロードグラフ
- ctgresult
  - 生成されたコンポーネント遷移グラフ
    - [appname] _ctg.dot：ドット形式のコンポーネント遷移グラフ
    - [appname] _ctg.pdf：コンポーネント遷移グラフ
    - [appname] _ctgwithfragment.dot：ドット形式のコンポーネント遷移とフラグメントロードグラフ
    - [appname] _ctgwithfragmentg.pdf：コンポーネントの遷移とフラグメントロードグラフ
    - componentInfo.xml：マニフェストファイル（）でコンポーネントを宣言する方法、現在のコンポーネント（）から送信されたICC情報、および現在のコンポーネント（）による受信したICC情報を含む各コンポーネントの情報。
    - CTG.XML：各ソースコンポーネントの宛先リストを指定します。
    - iccbotresult.xml：各コンポーネントについて、意図の概要のリストを指定します。各Intentsummaryは、意図オブジェクトに対応します。このファイルは、そのソース、宛先、およびその他のICCデータ（）、ICCが送信される方法、ICC-sending関連メソッドコールトレース（）、および各ICC-sending関連ユニット（）を提供します。
- iccspecification
  - 生成されたICC仕様JSONファイル
    - componentModel.json：コンポーネントのリストを指定します。それぞれについて、クラス名、コンポーネントのタイプ（アクティビティのa、サービス用、contentsproviderのp、broadcastreceiverのr）、およびfullvaluesetをリストします。 FullValueSetは、各ICCデータ（アクション、カテゴリ、その他の追加データ項目など）に対して静的分析によって取得されたすべてのICCデータを提供します。マニフェストファイル（）に宣言されたデータ値、作成され、他のコンポーネント（）によって現在のコンポーネントに送信されるICC関連の値、および受信したICCメッセージフォームで使用されるデータ値が使用されます。
    - ComponentModel_Typevalue.json：さらにテスト生成に使用できる各タイプの値。
    - ObjectSummary_Entry.xml：各コンポーネントについて、意図の概要のリストを指定します。各Intentsummaryは、意図オブジェクトに対応します。このファイルは、ソース、宛先、およびその他のICCデータ（）、ICCが送信されるメソッド、ICC-sending関連メソッドコールトレース（）、および各ICC-sending関連ユニット（）を提供します。
    - pathsummary_entry.xml：各コンポーネントについて、パスの概要のリストを指定します。各Pathsummaryはパスに対応し、複数の意図オブジェクトが含まれる場合があります。ファイルを使用するだけで、objectsummary_entry.xmlは問題ありません。
- Sootirinfo
  - 生成されたSoot Jimple IRファイル