using static analysis to generate a privacy policy for an android app