Program Analysis Based Approaches To Ensure Security And Safety Of Emerging Software Platforms