#Concolic Analysis System Proving Android Readiness (CASPAR)

General setup:

1. Setup the VM
2. Install Vagrant
3. Go to the root directoroty of the repo (where this file is)
4. Run "vagrant up" and wait for the machine to come online
5. Run "vagrant ssh" to enter the virtual machine
6. All included projects will be in "~/Workspace/" in the VM

Analysis Engine Project Setup:

1. MAKE SURE YOU HAVE A JDK INSTALLED AND ON YOUR PATH
2. Requires at least 1.7
3. Please make sure your default JRE and default JRE are the same major version
4. In the VM, navigate to "~/Workspace/AnalysisEngine"
5. Set up JPF 1. run jpf_clone.sh - this pulls down the repositories 2. run jpf_build.sh - this builds the required jars
6. In the host OS, import "AnalysisEngine/AndroidAnalysisEngine/" as a maven project in the IDE of your choice