DASCA
/
DASCA
2
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity
DASCA combines dynamic and static techniques for analysing code for finding security (i.e., vulnerabilities), safety, or reliability problems.
46 Commits 1 Branch 0 Tags 8.2 MiB
Java 72%
Scala 23.5%
Gradle 2.2%
HTML 1.9%
Groovy 0.4%
Go to file
Achim D. Brucker 8ad16053ab Initial commit. 2015-06-20 18:41:16 +02:00
externals Pulled latest updates for WALA. 2015-06-13 12:11:18 +02:00
src Initial commit. 2015-06-20 18:41:16 +02:00
.gitignore Ignore .settings. 2015-06-13 20:53:42 +02:00
.gitmodules added DASPA/WALA as submodule. 2015-06-11 22:36:50 +02:00
LICENSE Initial commit 2015-05-30 23:28:28 +02:00
README.md Documented dependency on Android SDK. 2015-06-16 08:12:27 +02:00

README.md

DASCA

Installation

Prerequisites

  • Java 8
  • Android SDK (do obtain dx.jar)

Checkout

Note that this repository imports WALA as a submodule. Thus, you either need to recursively clone this repository or execute

git submodule update --init --recursive

after cloning the repository.

How to Compile

First resolve the dependencies using maven and initialise the Eclipse project structure:

cd src/eu.aniketos.dasca.parent/
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

Contributors

  • Thomas Deuster
  • Michael Herzberg
  • Tim Herres