发送短信 : Improving reliability of dynamic software updating using control flow analysis /