# 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