软件是支撑计算机、网络和数据的基础，软件安全是信息安全保障的关键。本书通过对现有方法的总结、技术对比和实例分析，从理论到实践、从传统到前沿，全面深入地阐述软件安全中的软件漏洞与攻击利用、软件脆弱性分析与软件漏洞挖掘及软件防护技术，分别从基本概念、各种传统与前沿的软件防护方法的原理、典型应用、未来发展趋势等方面进行详细介绍。
本书既可以作为软件安全相关专业研究生的软件安全系列课程教材，也可以作为相关科研人员或计算机技术人员的参考书。

第一篇 软件漏洞与攻击利用
第1章 软件安全概述
1.1 软件安全的定义及内涵
1.1.1 软件安全的定义
1.1.2 用信息安全的属性来理解软件安全
1.2 软件安全问题
1.2.1 引起软件安全问题的原因
1.2.2 软件安全问题带来的影响
1.2.3 软件安全面临的挑战
1.3 软件安全发展历程
1.3.1 黑客起源
1.3.2 万维网兴起
1.3.3 软件安全开发生命周期的提出
1.3.4 在云中扩展安全开发
1.4 软件安全学科的主要内容
1.4.1 软件安全与系统安全、网络安全之间的关系
1.4.2 软件安全的主流技术
1.5 确保软件安全的工程化方法
1.6 小结
参考文献
第2章 主流的软件漏洞类型及典型攻击方法
2.1 空间错误类内存漏洞及攻击方法
2.1.1 堆缓冲区溢出漏洞
2.1.2 栈缓冲区溢出
2.1.3 格式化字符串漏洞攻击
2.2 时间错误类内存漏洞及攻击方法
2.2.1 Double-Free漏洞攻击
2.2.2 Use-After-Free攻击
2.3 条件竞争漏洞及攻击方法
2.3.1 TOCTOU攻击
2.3.2 Double-Fetch攻击
2.4 代码注入型攻击
2.5 代码重用型攻击
2.5.1 Return-to-libc（Ret2libc）攻击
2.5.2 ROP攻击
2.5.3 JOP攻击
2.6 控制流劫持攻击
2.7 数据流劫持攻击
2.8 内存泄露攻击
2.9 小结
参考文献
第3章 漏洞利用技术
3.1 漏洞利用技术简介
3.1.1 Exploit、Payload与Shellcode
3.1.2 漏洞的可利用性
3.1.3 漏洞利用的影响
3.2 人工漏洞利用
3.2.1 概述
3.2.2 触发漏洞路径
3.2.3 构造利用链
3.2.4 绕过安全机制
3.2.5 实例：CVE-2018-5767栈溢出漏洞
3.2.6 实例：CVE-2011-0065UAF漏洞
3.3 自动化漏洞利用
3.3.1 基于二进制补丁比较的自动化漏洞利用
3.3.2 面向控制流的自动化漏洞利用
3.3.3 面向数据流的自动化漏洞利用
3.4 小结
参考文献
第二篇 软件脆弱性分析与软件漏洞挖掘
第4章 软件安全形式化验证
4.1 软件安全形式化验证技术介绍
4.1.1 什么是形式化验证
4.1.2 定理证明方法简介
4.1.3 模型检验方法简介
4.2 软件安全形式化验证面临的挑战
4.2.1 定理证明方法面临的挑战
4.2.2 模型检验方法的算法挑战
4.2.3 模型检验的建模挑战
4.3 软件安全形式化验证的主流技术
4.3.1 Kripke结构
4.3.2 定理证明工具简介
4.3.3 模型检验的关键技术
4.3.4 模型检验的主流验证工具
4.4 典型应用
4.4.1 问题描述与建模
4.4.2 使用NuSMV工具解决农夫过河问题
4.4.3 使用SPIN工具解决农夫过河问题
4.5 未来的发展趋势
4.5.1 未来的发展方向
4.5.2 新时代的挑战
4.6 小结
参考文献
第5章 符号执行技术
5.1 符号执行的定义
5.2 静态符号执行
5.2.1 静态符号执行的原理
5.2.2 静态符号执行的局限性
5.3 动态符号执行
5.3.1 混合测试
5.3.2 执行生成测试
5.3.3 选择性符号执行
5.4 典型应用
5.4.1 结合模糊测试进行漏洞检测
5.4.2 代码覆盖率测试
5.4.3 反混淆
5.5 未来发展趋势
5.6 小结
参考文献
第6章 污点分析技术
6.1 污点分析技术的定义
6.2 静态污点分析技术
6.2.1 静态数据流分析的图的可达性查询算法
6.2.2 典型静态污点分析系统及应用
6.3 动态污点分析技术
6.3.1 动态污点分析技术的关键问题
6.3.2 应用层动态污点分析技术
6.3.3 典型应用层动态污点分析系统
6.3.4 虚拟机层全系统动态污点分析技术
6.3.5 典型全系统动态污点分析系统及应用
6.4 典型应用
6.4.1 自动化网络协议格式逆向分析技术
6.4.2 程序恶意行为检测
6.4.3 智能手机上的敏感信息跟踪与分析
6.4.4 漏洞检测
6.5 未来发展趋势
6.6 小结
参考文献
第7章 软件漏洞挖掘
7.1 基于规则的软件漏洞挖掘
7.1.1 基本概念
7.1.2 数据流分析
7.1.3 基于符号执行的漏洞挖掘
7.2 克隆漏洞挖掘
7.2.1 基本概念
7.2.2 克隆漏洞挖掘的流程
7.2.3 挑战与未来发展趋势
7.3 智能漏洞挖掘
7.3.1 基本概念
7.3.2 智能漏洞挖掘流程
7.3.3 数据表征
7.3.4 模型学习
7.3.5 未来发展趋势
7.4 基于模糊测试的漏洞挖掘
7.4.1 基本