Original (SOAP 2014) release of DidFail:

• Source code:
  • Phase-2 Analysis (taintflows.py, epicc_parser.py) and APK transformer (transformAPK/src/*.java): didfail.zip. Distributed under BSD-style license (see license.txt in zipfile).
  • Modified FlowDroid:
    https://bitbucket.org/wklieber/soot-infoflow
    https://bitbucket.org/wklieber/soot-infoflow-android
• To download and install DidFail binaries (and toy apps) on a fresh 64-bit Ubuntu 12.04 (desktop) virtual machine, open a terminal (Ctrl+Alt+T) and enter:
  • sudo apt-get update
  • wget http://www.cs.cmu.edu/~wklieber/didfail/install.txt
  • bash install.txt
• To run the analyzer on the included toy apps:
  • ~/didfail/cert/run-didfail.sh ~/didfail/toyapps/out/ ~/didfail/toyapps/*.apk

Additional notes:

• If apt-get gives a “status file could not be parsed” error, see http://askubuntu.com/questions/30072/.
• The android.jar file for API version 16 (used by the toy apps) is included. To run the analyzer on other apps, download the Android SDK, run the sdk/tools/android program to grab the android.jar files for other API versions, and edit ~/didfail/cert/paths.local.sh so that sdk_platforms refers to the appropriate directory (e.g., ~/adt-bundle-linux-x86_64-20130729/sdk/platforms/).