GoalExplorer

Automatic goal driven exploration in Android Applications

Getting Started

Prerequisites

This project depends on FlowDroid (for modeling Android lifecycle) and IC3 (for decoding Intents):

• FlowDroid : FlowDroid Static Data Flow Tracker

• IC3 : Inter-Component Communication Analysis for Android

Setup

Please process the apk with ic3 for better ICC modeling. Place the model produced by IC3 into models directory.

Usage

java -jar {JAR_PATH} ge [OPTIONS] [-cb <arg>] [-cg <arg>] [-d] [-h] -i <arg> [-l
         <arg>] [-o <arg>] [-s <arg>] [-t <arg>] [-v]

Available Options

  usage: ge [OPTIONS] [-cb <arg>] [-cg <arg>] [-d] [-h] -i <arg> [-l
         <arg>] [-o <arg>] [-s <arg>] [-t <arg>] [-v]
   -cb <arg>           the maximum number of callbacks modeled for each
                       component (default to 20)
   -cg <arg>           callgraph algorithm to use (AUTO, CHA, VTA, RTA,
                       SPARK, GEOM); default: AUTO
   -d,--debug          debug mode (default disabled)
   -h,--help           print the help message
   -i,--input <arg>    input apk path (required)
   -l,--api <arg>      api level (default to 23)
   -o,--output <arg>   output directory (default to "sootOutput")
   -s,--sdk <arg>      path to android sdk (default value can be set in
                       config file)
   -t <arg>            maximum timeout during callback analysis in seconds
                       (default: 60)
   -v,--version        print version info

Example Usages

To be updated later

Authors

• Duling Lai - Single Contributor - DulingLai

License

This project is licensed under the MIT License - see the LICENSE.md file for details