基于判断逻辑的空指针引用模式检测

发布时间：2023-03-12 13:57

　　空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。本文研究利用静态测试的方法对一类空指针引用故障‘进行静态检测分析。 本文提出一种利用判断逻辑信息进行空指针引用检测的方法。首先给出与基于判断逻辑的空指针引用故障相关的一些定义和故障分类。接着,提出使用函数摘要技术提取间接判空点和间接解引用点,定义该函数摘要为函数特征信息和后置约束信息的集合,研究了判断逻辑函数摘要生成和传递的方法。最后,利用有限状态机建立基于判断逻辑的空指针引用故障模型,给出故障模型描述,并利用状态机状态转换和函数摘要完成对这类空指针引用故障的检测。 本文共分五个部分。第一部分对本论文研究背景和基于判断逻辑的空指针引用故障进行了概述，第二部分介绍了运用函数摘要技术解决过程间判空点和解引用点提取问题,包括判断逻辑函数摘要模型、摘要生成和摘要传递算法,第三部分进行缺陷模式描述和运用上述摘要实现缺陷检测,第四部分是实验结果及问题分析,第五部分对本文研究总结及下一步研究工作的展望。

【文章页数】：55 页

【学位级别】：硕士

【文章目录】：
摘要
ABSTRACT
目录
第一章 绪论
    1.1 研究背景
    1.2 研究现状
    1.3 研究内容
    1.4 文章内容和结构
第二章 故障研究
    2.1 相关定义
    2.2 故障分类
        2.2.1 过程内情况
        2.2.2 过程间情况
第三章 判断逻辑函数摘要
    3.1 判断逻辑函数摘要定义
        3.1.1 函数特征信息结构定义
        3.1.2 后置约束信息结构定义
    3.2 判断逻辑函数摘要生成
        3.2.1 自定义函数的摘要生成
        3.2.2 库函数的摘要生成
        3.2.3 判断逻辑函数摘要传递
第四章 故障检测
    4.1 状态机定义
    4.2 状态机实例生成
    4.3 故障检测实现
    4.4 应用实例
第五章 实验与分析
    5.1 实验环境及结果
    5.2 实验结果分析
第六章 总结与展望
    6.1 工作总结
    6.2 下一步的研究工作
参考文献
附录1 故障模式状态机描述文件
致谢
攻读硕士学位期间发表的学术论文目录



本文编号：3761348