A static Android application analyzer