This version of IC3 does not require retargetting the APK with Dare anymore.
Using jdk1.8
cd ic3 mvn clean install:install-file -Dfile=libs/coal-all-0.1.7.jar -DgroupId=edu.psu.cse.siis -DartifactId=coal -Dversion=0.1.7 -Dpackaging=jar mvn clean package -P standalone
I also attached the compiled jar file in the target
folder.
path_to_/ATGEmpiricalCMD.sh path_to_apk path_to_/android-platforms result_dir
- Maven - Dependency Management
If one wants to know more about the implementation details please check the related research paper.
This project is licensed under the Apache License 2.0 - see the LICENSE file for details
For more instructions, see http://siis.cse.psu.edu/ic3/.