基于符号执行的能耗错误检测方法.pdfVIP

第５期 电　　子　　学　　报 Ｖｏｌ．４４　Ｎｏ．５ ２０１６年５月 ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｍａｙ　２０１６ 基于符号执行的能耗错误检测方法 １ ２ １ ３ 徐　超 ，陈　勇 ，葛红美 ，何炎祥 （１．南京审计大学，江苏南京２１００２９；２．中国电子科技集团第十四研究所，江苏南京２１００１３；３．武汉大学计算机学院，湖北武汉４３００７２） 　　摘　要：　能耗是制约便携式智能设备发展的重要瓶颈．随着嵌入式操作系统的广泛应用，因不能合理使用操作 系统的ＡＰＩ而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素．为减少应用中的能耗错误，以符 号执行技术为基础，根据禁止休眠类能耗错误的特点，设计了对应的能耗错误检测方法．该方法首先利用过程内分析， 获得单个函数的符号执行信息．然后借助过程间分析