| 一种基于环境约束的异常程序行为模型 |
| |
| 引用本文： | 何加浪,徐建,张宏.一种基于环境约束的异常程序行为模型[J].计算机科学,2010,37(5):112-114142. |
| |
| 作者姓名： | 何加浪 徐建 张宏 |
| |
| 作者单位： | 1. 南京理工大学计算机科学与技术学院,南京,210094
2. 南京理工大学计算机科学与技术学院,南京,210094;南京大学计算机软件新技术国家重点实验室,南京,210093 |
| |
| 基金项目： | 国家自然科学基金重大研究计划项目(No.90718021)资助 |
| |
| 摘 要： | 在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。
|
| 关 键 词： | 控制流 运行环境 程序行为 |
| 收稿时间： | 7/1/2009 12:00:00 AM |
| 修稿时间： | 2009/9/30 0:00:00 |
Abnormal Behavior Model Based on Environment Constraint |
| |
| HE Jia-lang,XU Jian,ZHANG Hong.Abnormal Behavior Model Based on Environment Constraint[J].Computer Science,2010,37(5):112-114142. |
| |
| Authors: | HE Jia-lang XU Jian ZHANG Hong |
| |
| Affiliation: | Institute of Computer Science and Technology/a>;Nanjing University of Science and Technology/a>;Nanjing 210094/a>;China;State Key Laboratory for Novel Software Technology/a>;Nanjing University/a>;Nanjing 210093/a>;China |
| |
| Abstract: | Including environmental factors for the procedure operation in the control-flow model,combining with the advantages of static analysis methods,this paper established the model for analysis of procedure behaviors.It marked function call instructions,using consistency constraint to return value to overcome the indirect call problems that the general method produces for avoiding the function pointer in a dynamic run-time.At the same time,using the local principle of the procedure limited the scope of the analy... |
| |
| Keywords: | Control flow Operating environment Program behavior |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
