Program analysis for android security and reliability