结构语义相似的程序识别方法研究
| 摘要 | 第1-6页 |
| Abstract | 第6-17页 |
| 第1章 绪论 | 第17-34页 |
| ·课题来源 | 第17页 |
| ·课题的目的和意义 | 第17-18页 |
| ·程序识别在国内外的研究现状及分析 | 第18-28页 |
| ·基于抽象模式的程序识别方法 | 第18-20页 |
| ·基于文本的程序识别方法 | 第20-22页 |
| ·基于度量值的程序识别方法 | 第22-23页 |
| ·基于结构的程序识别方法 | 第23-24页 |
| ·基于图的程序识别方法 | 第24-27页 |
| ·已有程序识别方法的比较 | 第27-28页 |
| ·问题描述及难点分析 | 第28-31页 |
| ·结构语义相似的程序识别的定义 | 第28-30页 |
| ·结构语义相似的程序识别的难点问题 | 第30-31页 |
| ·主要研究内容 | 第31-34页 |
| 第2章 基于系统依赖图的程序标准化方法研究 | 第34-65页 |
| ·引言 | 第34-35页 |
| ·理论基础 | 第35-38页 |
| ·代码多样化 | 第35-36页 |
| ·系统依赖图 | 第36-37页 |
| ·指针分析 | 第37-38页 |
| ·改进系统依赖图表示程序的语法结构与语义 | 第38-41页 |
| ·程序标准化转换中的指针分析算法 | 第41-49页 |
| ·指针别名分析中指针指向表示法的改进 | 第41-43页 |
| ·指针分析的数据流公式 | 第43-44页 |
| ·指针赋值语句节点的指向分析算法 | 第44-46页 |
| ·指针赋值语句节点的指向分析实例 | 第46-48页 |
| ·基于控制依赖树的流敏感和上下文敏感的指针分析 | 第48-49页 |
| ·基于系统依赖图的程序标准化 | 第49-60页 |
| ·基于系统依赖图的程序标准化模型 | 第49-50页 |
| ·基本代码标准化 | 第50-54页 |
| ·高级代码标准化 | 第54-60页 |
| ·实验结果及分析 | 第60-64页 |
| ·指针分析准确性分析 | 第61-62页 |
| ·代码多样化消除率 | 第62-63页 |
| ·程序标准化中指针分析效果 | 第63-64页 |
| ·本章小结 | 第64-65页 |
| 第3章 结构度量相似的候选子程序提取方法研究 | 第65-79页 |
| ·引言 | 第65-66页 |
| ·理论基础 | 第66-69页 |
| ·结构相似度度量 | 第66-67页 |
| ·位置敏感的哈希算法 | 第67-68页 |
| ·相关定义及定理 | 第68-69页 |
| ·结构度量相似的候选子程序提取 | 第69-72页 |
| ·结构度量相似的候选子程序提取模型 | 第69-70页 |
| ·问题的形式化定义 | 第70-72页 |
| ·生成控制依赖树的特征向量 | 第72-73页 |
| ·特征向量分组聚类 | 第73-75页 |
| ·向量分组算法 | 第73-74页 |
| ·基于LSH的相似结构分支检测 | 第74-75页 |
| ·合并分支检测大的相似代码片段 | 第75-76页 |
| ·计算复杂度分析 | 第76页 |
| ·实验结果及分析 | 第76-78页 |
| ·提取候选子程序的效果 | 第76-77页 |
| ·代码多样化识别效果 | 第77-78页 |
| ·本章小结 | 第78-79页 |
| 第4章 基于系统依赖图语义级别的程序识别方法研究 | 第79-94页 |
| ·引言 | 第79页 |
| ·编程题自动评分方法的研究现状 | 第79-81页 |
| ·基于系统依赖图的语义级别的程序识别 | 第81-86页 |
| ·基于系统依赖图的程序识别模型 | 第81-83页 |
| ·程序的结构匹配 | 第83-85页 |
| ·程序的语句匹配 | 第85-86页 |
| ·基于程序转换和语义分析的编程题自动评分方法 | 第86-89页 |
| ·难点问题及解决方法 | 第86-87页 |
| ·实例分析 | 第87-89页 |
| ·实验结果及分析 | 第89-93页 |
| ·实验数据 | 第90-91页 |
| ·基于程序转换和语义分析的编程题自动评分准确率 | 第91-92页 |
| ·与基于动态测试的编程题自动评分方法的比较 | 第92-93页 |
| ·本章小结 | 第93-94页 |
| 第5章 度量值和图相结合的程序识别方法研究 | 第94-111页 |
| ·引言 | 第94-95页 |
| ·相似代码检测方法研究现状 | 第95-96页 |
| ·问题的形式化定义 | 第96页 |
| ·度量值和图相结合的程序识别模型 | 第96-98页 |
| ·以模块为单位提取候选子程序 | 第98-100页 |
| ·语义级别的相似代码检测方法 | 第100页 |
| ·度量值和图相结合的程序识别实例 | 第100-104页 |
| ·MGCA的计算复杂度分析 | 第104-105页 |
| ·实验结果及分析 | 第105-110页 |
| ·实验设置 | 第105页 |
| ·MGCA的相似度阈值设置 | 第105-107页 |
| ·MGCA 的健壮性测试 | 第107-108页 |
| ·代码多样化的识别效果 | 第108-109页 |
| ·效率测试 | 第109-110页 |
| ·应用MGCA分析GCC1.4 与GCC2.0 | 第110页 |
| ·本章小结 | 第110-111页 |
| 结论 | 第111-113页 |
| 参考文献 | 第113-123页 |
| 攻读博士学位期间发表的学术论文 | 第123-125页 |
| 致谢 | 第125-126页 |
| 个人简历 | 第126页 |
