GDart: Dynamic Symbolic Execution for the JVM

Installation

you need to have maven on your path
run ./build.sh

Analysis

run ./gdart.sh -h for help on options

Examples

you can find some examples in examples
DSE
```
./gdart.sh -d Example1 ../examples/
```

with data-flow taint:

./gdart.sh -d -t DATA Example2 ../examples/

with information flow:

./gdart.sh -d -t INFORMATION Example3 ../examples/