Symbolic Execution Based Energy Bug Detecting Method

XU Chao; CHEN Yong; GE Hong-mei; HE Yan-xiang

doi:10.3969/j.issn.0372-2112.2016.05.005

您当前的位置：

首页 >

文章列表页 >

Symbolic Execution Based Energy Bug Detecting Method

更新时间：2025-07-16

- Symbolic Execution Based Energy Bug Detecting Method
- Acta Electronica Sinica Vol. 44, Issue 5, Pages: 1040-1050(2016)
- 作者机构：
  
  1. 南京审计大学,江苏,南京,210029
  2. 中国电子科技集团第十四研究所,江苏,南京,210013
  3. 武汉大学计算机学院,湖北,武汉,430072
  4. 南京审计大学,江苏,南京,210029
  5. 中国电子科技集团第十四研究所,江苏,南京,210013
  6. 武汉大学计算机学院,湖北,武汉,430072
- 作者简介：
- 基金信息：
  
  National Natural Science Foundation of China (No.61170022);Natural Science Research Project of Colleges and Universities in Jiangsu Province (No.15KJB520019);Funded by Six Talents Peaks in Jiangsu Province;Supported by Training Objects of Young Teachers in Blue Project in Jiangsu Province;A Project Funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions
- DOI：10.3969/j.issn.0372-2112.2016.05.005
  CLC： TP311
- Published Online：25 May 2016，
  
  Published：2016
- 稿件说明：
移动端阅览
XU Chao, CHEN Yong, GE Hong-mei, et al. Symbolic Execution Based Energy Bug Detecting Method[J]. Acta Electronica Sinica, 2016, 44(5): 1040-1050.
DOI：

XU Chao, CHEN Yong, GE Hong-mei, et al. Symbolic Execution Based Energy Bug Detecting Method[J]. Acta Electronica Sinica, 2016, 44(5): 1040-1050. DOI： 10.3969/j.issn.0372-2112.2016.05.005.

摘要

能耗是制约便携式智能设备发展的重要瓶颈.随着嵌入式操作系统的广泛应用

因不能合理使用操作系统的API而导致的能耗错误已经成为各种嵌入式应用开发过程中不容忽视的因素.为减少应用中的能耗错误

以符号执行技术为基础

根据禁止休眠类能耗错误的特点

设计了对应的能耗错误检测方法.该方法首先利用过程内分析

获得单个函数的符号执行信息.然后借助过程间分析对单个函数的符号执行信息进行全局综合

得到更为精确的执行开销、锁变量匹配等相关信息

以更好的检测能耗错误.同时

符号执行记录了对应的分支路径信息

利用该信息能够结合约束求解器较为方便的生成出错的测试用例

进而定位错误位置.通过示例和实验

验证了该方法在能耗错误检测方面的可行性和有效性.

Abstract

Energy is one important bottleneck to the development of intelligent portable device.With the wide use of embedded operation system

the energy bug caused by unsuitablely using the API of the operation system has become the important factor in the designment of the embedded application.According to the characteristics of the No-Sleeping energy bug

a symbolic execution based energy bug detecting method is proposed to reduce the energy bug.It first uses intraprocedural analysis technology to analyze one function independently to get the energy information of the function.Then

the interprocedural analysis technology is applied to get the globe analysis of the program by the information of intraprocedural analysis which can get more accuate information for energy bug detection.Meanwhile

constraint solver can be combined to obtain the counter-example for locating the position of the error.Example and experiment results verify that the method is feasible and effective in energy bug detection.

关键词

Keywords

references

Views

482

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Branch Obfuscation to Combat Symbolic Execution

A Symbolic Execution Guided Inner Loop Bound Analysis

Program Symbol Value Analysis Based on Dependent Condition Reconstruction

A Symbolic Execution Optimization Method Based on File Format Constraint

Related Author

CHEN Zhe

YU Xiao-xu

ZHANG Hai-ning

WANG Xiao-chu

LIU Wei-jie

JIA Chun-fu

WANG Zhi

LI Xuan-dong

Related Institution

College of Computer and Control Engineering, NankaiUniversity

State Key Laboratory for Novel Software Technology, Nanjing University

NARI Technology Co. Ltd.

NARI Group Corporation(State Grid Electric Power Research Institute) Nanjing Jiangsu China

Software Institute Nanjing University Nanjing Jiangsu China

⁰