首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--程序设计、软件工程论文--软件工程论文

安全C语言验证器的形状系统的扩展设计与实现

摘要第5-6页
ABSTRACT第6-7页
第1章 绪论第13-19页
    1.1 研究背景第13-14页
        1.1.1 高可信软件第13页
        1.1.2 软件测试和形式验证第13-14页
    1.2 本文概述第14-16页
        1.2.1 本文工作第14-15页
        1.2.2 主要贡献第15-16页
    1.3 相关工作第16页
    1.4 本文章节安排第16-19页
第2章 安全C语言验证器及形状系统简介第19-27页
    2.1 安全C语言验证器简介第19-21页
    2.2 形状系统简介第21-24页
    2.3 示例程序的演算分析第24-26页
    2.4 本章小结第26-27页
第3章 形状系统演算的扩展实现第27-43页
    3.1 角标指针访问路径的节点定位演算第27-34页
        3.1.1 C风格指针访问路径的局限性第27-28页
        3.1.2 角标指针访问路径的概述第28-29页
        3.1.3 角标指针访问路径的节点定位演算详述第29-34页
    3.2 函数调用演算第34-41页
        3.2.1 函数调用演算概述第34-36页
        3.2.2 函数调用演算的窗口获取算法第36-38页
        3.2.3 函数调用演算的窗口合并算法第38-41页
    3.3 本章小结第41-43页
第4章 形状系统的形状图构造方法改进第43-55页
    4.1 形状图精确构造方法第43-51页
        4.1.1 形状图精确构造方法概述第43-44页
        4.1.2 内置形状谓词阐述第44-46页
        4.1.3 形状图精确构造方法的操作语义第46-49页
        4.1.4 形状图精确构造方法的算法描述第49-51页
    4.2 自定义谓词的推断方法第51-54页
        4.2.1 自定义谓词推断方法概述第51页
        4.2.2 自定义谓词推断方法的算法描述第51-54页
    4.3 本章小结第54-55页
第5章 形状系统的形状检查方法扩展第55-67页
    5.1 指针域标注概述第55-56页
    5.2 形状检查方法概述第56-59页
        5.2.1 形状级别概述第56-57页
        5.2.2 显式形状检查与隐式形状检查第57-58页
        5.2.3 形状检查方法的总体流程第58-59页
    5.3 形状检查方法三阶段处理详述第59-66页
        5.3.1 形状分割第59-61页
        5.3.2 形状分析第61-64页
        5.3.3 形状推断第64-66页
    5.4 本章小结第66-67页
第6章 实验结果与实例分析第67-75页
    6.1 形状检查的实验结果及实例分析第67-70页
        6.1.1 形状检查的实验结果第67-68页
        6.1.2 形状检查的实例分析第68-70页
    6.2 形状系统的综合实验结果及实例解释第70-73页
        6.2.1 形状系统综合实验结果第70-71页
        6.2.2 综合实验的实例分析第71-73页
    6.3 本章小结第73-75页
第7章 总结与进一步工作第75-77页
    7.1 工作总结第75页
    7.2 进一步工作第75-77页
参考文献第77-81页
附录A 内置形状谓词产生的形状图第81-83页
致谢第83-85页
在读期间发表的学术论文与取得的研究成果第85页

论文共85页,点击 下载论文
上一篇:Android异常数据使用行为检测研究
下一篇:基于随机混成自动机的联锁系统事故预测