發送短信 : Runtime techniques and interprocedural analysis in Java virtual machines /