Even though the Android OS offers powerful communication and application execution capabilities, it is riddled with defects (e.g., security risks, and compatibility issues), new vulnerabilities come to light daily, and bugs cost the economy tens of billions of dollars annually. To counteract these threats, this thesis presents automatic tools tailor for detecting security and compatibility issues in Android applications.