Uncovering Security And Privacy Vulnerabilities From Android Apps With Principled Program Analysis