ICCBot

Iccbot

ICCBOT: Un outil de résolution ICC sensible au fragment et au contexte pour les applications Android.

Publication

Le papier PDF peut être trouvé sur 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},
}

Construire et exécuter iCCBOT

Exigences générales

1. Python 3+

2. Java 1.8+

3. Installez Graphviz (http://www.graphviz.org/download/)

Créer 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

ou utilisez le script de construction fourni par nous:

python scripts/mvn.py

Exécuter ICCBOT

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

ou analyser les APK sous un dossier donné avec un script python:

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

Utilisation de l'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.

• Entrée: fichier APK

• Sortie: Résultats de la résolution ICC, graphique CTG, etc.

  • CallGraphinfo
    • Graphique d'appel prolongé généré
      • [appname] _cg.txt: les bords du graphique d'appel d'origine.
      • cg.txt: les bords du graphique d'appel formaté.
  • Manifeste
    • Fichier AndroidManifest extrait
      • Androidmanifest.txt
  • FragmentInfo
    • Graphique de chargement de fragments généré
      • [appname] _fragload.dot: le graphique de chargement des fragments au format DOT
      • [appname] _fragload.pdf: le graphique de chargement des fragments
  • Ctgreult
    • Graphique de transition des composants générés
      • [appname] _ctg.dot: le graphique de transition du composant au format DOT
      • [appname] _ctg.pdf: le graphique de transition du composant
      • [appname] _ctgwithfragment.dot: le graphique de chargement de transition et de fragment des composants au format DOT
      • [appname] _ctgwithfragmentg.pdf: le graphique de transition et de chargement de fragment des composants
      • ComponentInfo.xml: Les informations de chaque composant, y compris, comment le composant est déclaré dans le fichier manifeste (), les informations ICC envoyées à partir du composant actuel () et les informations ICC reçues par composant actuel ().
      • Ctg.xml: donnez la liste de destination pour chaque composant source.
      • IccbotResult.xml: Pour chaque composant, donnez une liste de résumés d'intention. Chaque intentionté correspond à un objet d'intention. Ce fichier donne sa source, sa destination et d'autres données ICC (), la méthode que l'ICC est envoyée, la méthode d'appel de la méthode en fin de compte ICC Trace () et chaque unité liée à la fin de l'ICC ().
  • Spécification ICC

    • Fichier JSON de spécification ICC générée

      • ComponentModel.json: Donnez une liste de composants. Pour chacun, il répertorie le nom de classe, le type de composant (A pour l'activité, S pour le service, P pour ContentProvider et R pour BroadCastReceiver) et le FullValueset. Le FullValueset donne toutes les données ICC que nous avons obtenues par analyse statique, pour chaque données ICC (par exemple, l'action, la catégorie et d'autres éléments de données supplémentaires), nous donnons la valeur de données déclarée dans le fichier manifeste (), les valeurs liées à la CIC qui seront créées et envoyées au composant actuel par d'autres composants (), et les valeurs de données qui seront utilisées dans la comparaison avec le Message ICC reçu par d'autres composants ().
      • ComponentModel_Typevalue.json: les valeurs de chaque type qui peuvent être utilisées pour une génération de tests supplémentaires.
      • ObjectSummary_entry.xml: Pour chaque composant, donnez une liste de résumés d'intention. Chaque intentionté correspond à un objet d'intention. Ce fichier donne sa source, sa destination et d'autres données ICC (), la méthode que l'ICC est envoyée, l'appel de la méthode liée à la fin de l'ICC Trace () et chaque unité liée à la fin de l'ICC ().
      • pathsummary_entry.xml: Pour chaque composant, donnez une liste de résumés de chemin. Chaque parcours, l'Étudie correspond à un chemin et peut impliquer plus d'un objet intention. Le simple fait d'utiliser le fichier ObjectSummary_entry.xml est très bien.
  • Suotirinfo
    • Fichiers IR générés

Dépannage

Q: ICCBOT fournit une erreur " Failed to load analyze config json: File not exist "

R: Assurez-vous que vous disposez de la config du dossier sous le répertoire actuel, avec le fichier config/config.json spécifiant excludePackages et AndroidCallbacks .