Master's thesis project.
Go to file
2018-06-19 20:43:08 +02:00
lib Add sources. 2018-06-19 20:43:08 +02:00
project Add sources. 2018-06-19 20:43:08 +02:00
src/main Add sources. 2018-06-19 20:43:08 +02:00
.gitignore Add sources. 2018-06-19 20:43:08 +02:00
build.sbt Add sources. 2018-06-19 20:43:08 +02:00
LICENSE Initial commit 2018-06-19 18:40:19 +00:00
README.md Add sources. 2018-06-19 20:43:08 +02:00

Dalvik bytecode analysis

Installation

SBT

System requirements

Apktool in the path.

Z3 version >= 4.6.1