In this talk, I will present a static analysis framework called DeepDive that is used within Google for analyzing Android apps in the play store for detecting security flaws and malicious behavior. I will present the framework and concrete examples of the checkers that we developed using the framework. I will also briefly present other program analysis efforts done by the team.