發送短信 : Lightweight energy estimation framework for smart-phone applications using static analysis /