Master's thesis project.
You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Fabio Salvini bb825a0d92 Add sources. 6 years ago
lib Add sources. 6 years ago
project Add sources. 6 years ago
src/main Add sources. 6 years ago
.gitignore Add sources. 6 years ago
LICENSE Initial commit 6 years ago
README.md Add sources. 6 years ago
build.sbt Add sources. 6 years ago

README.md

Dalvik bytecode analysis

Installation

SBT

System requirements

Apktool in the path.

Z3 version >= 4.6.1