基于符号执行与区间运算的浮点异常检测
| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第一章 绪论 | 第11-16页 |
| ·研究的背景和意义 | 第11-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·论文主要内容和组织结构 | 第14-16页 |
| 第二章 预备知识 | 第16-32页 |
| ·浮点异常 | 第16-22页 |
| ·浮点数表示 | 第16-19页 |
| ·浮点异常 | 第19-22页 |
| ·符号执行 | 第22-28页 |
| ·符号执行理论 | 第22-24页 |
| ·符号执行树 | 第24-26页 |
| ·符号执行工具 | 第26-28页 |
| ·区间运算 | 第28-32页 |
| ·区间算术基础 | 第29-30页 |
| ·区间的基本运算 | 第30-32页 |
| 第三章 基于约束求解的异常错误生成 | 第32-49页 |
| ·约束条件的构造 | 第32-40页 |
| ·基本算术操作的约束构造 | 第33-35页 |
| ·基本初等函数的约束构造 | 第35-37页 |
| ·完整路径约束的提取 | 第37-40页 |
| ·约束求解 | 第40-43页 |
| ·VerifyRealroot求解约束 | 第40-43页 |
| ·异常错误的区间扩展 | 第43-46页 |
| ·算法设计 | 第43-46页 |
| ·实验演示 | 第46-49页 |
| 第四章 基于分枝定界的异常检测 | 第49-65页 |
| ·单个输入的异常检测 | 第49-54页 |
| ·异常标记函数 | 第50-53页 |
| ·算法设计 | 第53-54页 |
| ·范围内的异常检测 | 第54-61页 |
| ·溢出异常的检测 | 第55-58页 |
| ·无效运算和被零除异常的检测 | 第58-59页 |
| ·混合运算语句的处理 | 第59-61页 |
| ·实验与小结 | 第61-63页 |
| 总结 | 第63-65页 |
| 第五章 软件实现 | 第65-77页 |
| ·词法语法分析 | 第66-69页 |
| ·C程序组成和特点 | 第66-67页 |
| ·抽象语法树生成 | 第67-69页 |
| ·语义分析及重写 | 第69-73页 |
| ·实验演示 | 第73-76页 |
| ·gsl函数库代码测试 | 第74-76页 |
| 结果分析 | 第76-77页 |
| 第六章 小结及展望 | 第77-79页 |
| ·工作总结 | 第77-78页 |
| ·未来工作展望 | 第78-79页 |
| 参考文献 | 第79-88页 |
| 攻读硕士学位期间发表论文和参加科研情况 | 第88-89页 |
| 致谢 | 第89页 |
