Static Analysis on Android