Static analysis of Android programs
Precise null-pointer analysis