软件漏洞检测与修复

软件漏洞是当前软件安全面临的最大挑战，如何尽可能早地检测与修复软件漏洞，减少漏洞带来的危害？本书以软件安全为基础，致力于深探讨软件漏洞检测与修复的方法与技术，涵盖了软件漏洞概述、静态分析、漏洞静态检测、漏洞动态检测、漏洞自动修复、漏洞检测与修复技术在移动终端的应用等内容。通过方法的归纳、技术的对比和实例的详尽分析，本书旨在从理论到实践、从传统到前沿，对软件漏洞检测与修复行全面而深的阐述。本书的目标读者是研究生和科研人员，特别是关注软件漏洞检测与修复领域前沿研究和未来发展趋势的研究人员和从业人员，也可作为相关领域教育培训班的教材。
【推荐语】
随着操作系统、数据库、编译器和行业应用软件的广泛使用，软件面临严峻的安全威胁，针对软件的攻事件迅速增加，危害也日益严重。软件漏洞是当前软件安全面临的重要挑战，尽早检测与修复软件漏洞、减少漏洞带来的危害迫在眉睫。目前国内出版的软件安全相关书籍主要侧重经典的软件安全方法原理与技术，强调漏洞原理、漏洞分析技术、恶意代码分析基础、软件安全发模型和软件安全编码等方面的基础知识，适合作为本科生或研究生教材。目前国内出版的软件漏洞相关书籍主要侧重漏洞分析或攻防技术，鲜少涉及漏洞检测与修复的各种方法和前沿研究内容。因此，现有相关书籍难以满足研究生和科研人员系统、深了解软件漏洞检测与修复领域的研究成果，并准确把握各研究方向的热和发展趋势等的学习需求。本书采用从整体框架手的自顶向下、由表及里、层层细化的叙述方式，对软件漏洞检测与修复相关的主流技术行了深剖析和详细讲解。
【作者】
李珍，华中科技大学网络空间安全学院副教授、博士生导师，华中科技大学工学博士，美国德克萨斯大学圣安东尼奥分校博士后。主要研究领域为软件安全和人工智能安全，具体在软件漏洞分析与检测、漏洞验证与修复、软件供应安全、代码大模型安全等方面展深研究。在系统安全和软件工程领域发表论文30余篇，其中包括国际顶级会议/期刊NDSS、ICSE、ASE、TDSC和TOSEM等，获得国家发明专利授权9项，主持国家自然科学基金项目2项、华为公司技术合作项目1项，参与国家重研发计划、国家自然科学基金通用联合重项目多项，出版《软件安全》教材 1 部，获得2021年度湖北省科技步一等奖、2021年度电子学会科技步二等奖、第十五届全国大学生信息安全竞赛作品赛优秀指导教师奖等，指导学生获得全国大学生信息安全竞赛一等奖、中国研究生网络安全创新大赛二等奖等。