fabio
/
DalvikBytecodeAnalysis
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
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.
2 Commits
1 Branch
0 Tags
11 MiB
Scala 100%
 
master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
Go to file
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