Static Analysis of Android Programs