GDart: Dynamic Symbolic Execution for the JVM

Installation

with data-flow taint:

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

with information flow:

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

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
SPouT @ 8092ddd		SPouT @ 8092ddd
dse @ 3da877d		dse @ 3da877d
examples		examples
mx @ ee63527		mx @ ee63527
verifier-stub @ 0bfe4a0		verifier-stub @ 0bfe4a0
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
README.md		README.md
build.sh		build.sh
executor.sh		executor.sh
gdart.sh		gdart.sh