作者：易秋萍编著
页数：183页
出版社：北京邮电大学出版社
出版日期：2023
ISBN：9787563569854
电子书格式：pdf/epub/txt
内容简介
本书共9章，其主要内容包括程序分析技术、符号执行技术、软件测试与错误定位技术、基于执行路径的最弱前置条件计算、基于后缀路径摘要的符号执行加速、基于反馈驱动的增量符号执行、级联式错误定位方法、演化软件错误定位方法和符号执行指导的并行程序分析。
作者简介
易秋萍，女，北京邮电大学计算机学院（国家示范软件学院）特聘副研究员，工学博士。研究方向包括：系统软件安全、程序分析测试、软件错误定位与修复、并行程序分析验证。当前感兴趣的研究方向包括：基于AI技术与程序分析技术的有效结合，构建大规模程序分析验证平台；C++11并行程序分析验证方法及工具平台研发。于2016年在中科院软件研究所获得博士学位，随后到美国Texas A&M大学和Texas State大学做博士后。2020年10月，通过北京邮电大学“优秀人才计划”引进，任特聘副研究员、博士生导师。当前主持国家自然科学基金项目1项。在多个CCF A类国际顶级期刊／会议（ESEC/FSE、TSE、USENIX Security、ICSE、TOSEM）上发表多篇论文。曾担任CCF A类国际顶级会议（PLDI, CGO-PPoPP, ICSE, ISSTA, ICSE）的程序委员会委员或审稿人。
目录
第1章程序分析技术
1.1程序的正确及其分析
1.2控制流分析
1.2.1控制流图
1.2.2程序依赖图
1.2.3系统依赖图
1.3数据流分析
1.3.1数据流分析概述
1.3.2可达定义分析
1.3.3活变量分析
本章小结
第2章符号执行技术
2.1符号执行概述
2.2传统符号执行
2.3混合符号执行
2.4符号执行技术面临的挑战
2.4.1内存相关问题
2.4.2环境相关问题
2.4.3路径爆炸问题
2.4.4约束求解问题
2.5符号执行工具
2.5.1 KLEE
2.5.2 SPF
2.5.3 SAGE
2.5.4SymCC
本章小结
第3章软件测试与错误定位技术
3.1软件测试与错误定位的研究背景
3.1.1软件测试
3.1.2软件错误定位
3.2基于符号执行的软件测试
3.2.1摘要计算
3.2.2路含与等价分析
3.2.3约束不充分的符号执行
3.2.4前置条件与输入特征利用
3.2.5符号执行状态合并
3.2.6程序分析及优化技术
3.2.7目标导向与启发式策略
3.2.8增量符号执行
3.2.9并行符号执行
3.3软件错误定位方法
3.3.1基于切片的错误定位
3.3.2基于程序状态的错误定位
3.3.3基于统计分析的错误定位
3.3.4基于人工智能的错误定位
3.3.5演化软件错误定位
本章小结
第4章基于执行路径的弱前置条件计算
4.1弱前置条件概述
……
9.4方法评估…
9.4.1检测并行程序错误·
9.4.2并发库的评估…
9.4.3与工具Con2Colic的比较
本章小结
参考文献
1.1程序的正确及其分析
1.2控制流分析
1.2.1控制流图
1.2.2程序依赖图
1.2.3系统依赖图
1.3数据流分析
1.3.1数据流分析概述
1.3.2可达定义分析
1.3.3活变量分析
本章小结
第2章符号执行技术
2.1符号执行概述
2.2传统符号执行
2.3混合符号执行
2.4符号执行技术面临的挑战
2.4.1内存相关问题
2.4.2环境相关问题
2.4.3路径爆炸问题
2.4.4约束求解问题
2.5符号执行工具
2.5.1 KLEE
2.5.2 SPF
2.5.3 SAGE
2.5.4SymCC
本章小结
第3章软件测试与错误定位技术
3.1软件测试与错误定位的研究背景
3.1.1软件测试
3.1.2软件错误定位
3.2基于符号执行的软件测试
3.2.1摘要计算
3.2.2路含与等价分析
3.2.3约束不充分的符号执行
3.2.4前置条件与输入特征利用
3.2.5符号执行状态合并
3.2.6程序分析及优化技术
3.2.7目标导向与启发式策略
3.2.8增量符号执行
3.2.9并行符号执行
3.3软件错误定位方法
3.3.1基于切片的错误定位
3.3.2基于程序状态的错误定位
3.3.3基于统计分析的错误定位
3.3.4基于人工智能的错误定位
3.3.5演化软件错误定位
本章小结
第4章基于执行路径的弱前置条件计算
4.1弱前置条件概述
……
9.4方法评估…
9.4.1检测并行程序错误·
9.4.2并发库的评估…
9.4.3与工具Con2Colic的比较
本章小结
参考文献
