2018-06-19 20:43:08 +02:00
|
|
|
# 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
|
2018-06-19 20:40:19 +02:00
|
|
|
|
