Static analyzer for Android-like applications