# Dalvik bytecode analysis

## Installation

[SBT](https://www.scala-sbt.org/)

## System requirements

[Apktool](https://ibotpeaches.github.io/Apktool/) in the path.

[Z3](https://github.com/Z3Prover/z3) version >= 4.6.1

