基于变量跟踪的运行时错误现场分析工具研究-计算机软件与理论专业论文.docxVIP

重庆大学 重庆大学硕士学位论文 英文摘要 PAGE PAGE IV get runtime dependency information and build appropriate model to calculate statements suspicious, further narrowing the scope of the errors. 4. Implement a tool named runtime fault site analysis, providing multiple data view windows. This paper surveys automatic instrumentation technology to capture dynamic variable information and presents two methods of error analysis and debug. Based on the above techniques, runtime fault site analysis tool can be used to analyze the causes of errors and provide error site and aided analysis approach as well. We can observe data flows and running trace and other information presented in data view window of tool, which can detect errors more quickly and accurately, combining with aided analysis methods. In the application, strong practicability is a powerful supplement of existing error detection tools. Keywords:program analysis, runtime errors site analysis, automatic instrumentation technology, variable tracking, statements suspicious algorithm 重庆大学硕 重庆大学硕士学位论文 目 录 目 录 中文摘要I 英文摘要 II 1 绪 论 1 1.1 论文的研究背景及意义 1 1.2 研究内容和贡献 2 1.2.1 主要工作 3 1.2.2 主要目标 3 1.3 论文组织结构 3 2 程序运行时错误分析技术概述 5 2.1 程序静态分析技术 5 2.1.1 静态程序常用分析技术 5 2.1.2 静态程序形式化方法和理论 7 2.2 程序动态分析技术 10 2.3 本章小结 14 3 基于变量跟踪的运行时错误现场分析工具的关键技术 15 3.1 程序插桩概述 15 3.1.1 插装切入点分析 15 3.2 基于传统插装方式的改进 18 HYPERLINK \l _TOC_250003 3.3 FLEXBISON 工具的使用 18 3.3.1 词法语法分析器原理 18 HYPERLINK \l _TOC_250002 3.3.2 flex 简介及使用方法 19 HYPERLINK \l _TOC_250001 3.3.3 bison 简介及使用方法 20 3.4 变量信息的管理 21 3.4.1 数据存储表示 21 HYPERLINK \l _TOC_250000 3.4.2 减少 I/O 操作对系统的性能损失 22 3.4.3 程序异常退出时现场的保护机制 23 3.5 变量与表达式之间的关系模型 23 3.5.1 相关定义 23 3.5.2 相关计算公式 24 3.6 本章小结 25 4 系统设计与实现 26 4.1 错误现场分析工具实现的框架 26 4.2 错误现场分析工具的设计 26 4.2.1 轻量级插桩器的设计 27 4.2.2 插桩范围的选择 29 4.2.3 基于变量与表达式模型的分析手段 29 4.2.4 基于测试的运行时依赖错误查找技术 31 4.2.5 数据展示及可视化 35 4.3 系统的实现 35 4.3.1 自定义插装器的实现 35 4.3.2 变量运行时数据的解析 38 4.3.3 基于测试的运行时依赖-语句可疑度计算 39 4.3.4 分析工具集成环境的实现 39 4.4 本章小结 40 5 实验分析