2015-05-29 09:21:26 +00:00
|
|
|
# DASCA
|
2015-06-15 07:22:50 +00:00
|
|
|
## Installation
|
|
|
|
### Prerequisites
|
|
|
|
* Java 8
|
2015-06-22 14:48:32 +00:00
|
|
|
* CVC3 including the Java bindings for CVC3
|
2015-06-16 06:12:27 +00:00
|
|
|
* Android SDK (do obtain dx.jar)
|
2015-06-15 07:22:50 +00:00
|
|
|
|
|
|
|
### Checkout
|
|
|
|
Note that this repository imports WALA as a submodule. Thus,
|
2015-06-27 18:27:39 +00:00
|
|
|
you either need to recursively clone this repository, e.g.,
|
|
|
|
```
|
|
|
|
git clone --recursive https://github.com/DASPA/DASCA.git
|
|
|
|
```
|
2015-06-27 19:09:51 +00:00
|
|
|
or execute ``git submodule update --init --recursive`` after
|
|
|
|
cloning the repository.
|
|
|
|
|
|
|
|
Next, you need to copy ``dx.jar`` from the Android SDK into
|
|
|
|
the WALA project ``com.ibm.wala.dalvik.test'', e.g.:
|
2015-06-15 07:22:50 +00:00
|
|
|
```
|
2015-06-27 19:09:51 +00:00
|
|
|
mkdir -p DASCA/externals/WALA/com.ibm.wala.dalvik.test/lib
|
|
|
|
cp $ANDROID_HOME/build-tools/20.0.0/lib/dx.jar DASCA/externals/WALA/com.ibm.wala.dalvik.test/lib
|
2015-06-15 07:22:50 +00:00
|
|
|
```
|
|
|
|
|
|
|
|
### How to Compile
|
|
|
|
First resolve the dependencies using maven and initialise the
|
|
|
|
Eclipse project structure:
|
|
|
|
```
|
2015-06-27 18:34:23 +00:00
|
|
|
cd DASCA/src/eu.aniketos.dasca.parent/
|
2015-06-15 07:22:50 +00:00
|
|
|
mvn -P wala clean install -DskipTests=true -q
|
|
|
|
mvn -P dasca clean eclipse:clean
|
|
|
|
mvn -P dasca eclipse:eclipse
|
|
|
|
```
|
|
|
|
After this, all projects can be imported into a fresh Eclipse
|
|
|
|
workspace using `File -> Import -> Existing Projects into Workspace`.
|
|
|
|
Please import them in the following order:
|
|
|
|
1. Import all WALA projects (``externals/WALA/``) into Eclipse.
|
|
|
|
2. Import all DASCA projects (``src/``) into Eclipse.
|
|
|
|
While several Wala projects may contain compilation errors, all DASCA
|
|
|
|
projects (i.e., `eu.aniketos.dasca.*`) should compile without errors.
|
|
|
|
|
|
|
|
## Team
|
|
|
|
Main contact: [Achim D. Brucker](http://www.brucker.ch/)
|
|
|
|
|
|
|
|
### Contributors
|
|
|
|
* Thomas Deuster
|
|
|
|
* Michael Herzberg
|
|
|
|
* Tim Herres
|