摘要
提出一种基于属性模型的运行时错误静态分析方法.该方法将运行时的错误按照发生原因进行分类,提取每类错误的属性模式,对属性模式进行形式化建模形成属性有限状态机;并对程序流图中与属性相关的路径进行分析,对照属性有限状态机运用路径敏感和上下文敏感的方法分析运行时错误.实验结果显示,该方法与现有主流方法相比,在准确率和效率之间可取得良好平衡.
A novel program analysis method for run-time error detection based on property model is proposed. A property that describes the generation process of a certain run-time error is primarily given. And then, a finite state machine （FSM） is constructed to model the property. Finally, the branches for which the property-related behavior differs along the arms of the branch are abstracted, and the run-time error is found by analyzing these paths with path-sensitive and context-sensitive method. Experimental results show the proposed approach produces a better balance between the precision and efficiency compared with the latest run-time error detection methods.
出处
《北京理工大学学报》
EI
CAS
CSCD
北大核心
2013年第2期160-165,共6页
Transactions of Beijing Institute of Technology
基金
国家"八六三"计划项目(2009AA010313)
国家自然科学基金重点资助项目(90818024)
关键词
运行时错误
路径敏感
上下文敏感
属性模型
属性流
path sensitive
context sensitive
runtime error
property model
property flow
