Precise, General, and Efficient Data-flow Analysis for Security Vetting of Android Apps