本书系统介绍了软件源代码分析的基本原理和常用方法，同时介绍了当今比较主流的基于源代码分析的测试工具，基本上涵盖了当今源代码分析技术的全部内容。本书共分11章，内容包括：源代码分析基础、抽象解释、符号分析技术、区间运算、路径敏感分析、抽象内存建模、上下文分析、程序切片、路径计算、约束求解和源代码分析应用。本书结合实例介绍了多种源代码分析方法，并将它们合理地融合在每一章中。

📙 相关书籍

  1. 《GDAL源码剖析与开发指南》高清PDF 本书作者从2008年开始使用和查看GDAL，目前为止对其使用的方式，以及实现有一个整体的了解。我个人希望能够写一本能够作为GDAL的入门到引用级别的书，对其内部的整体的架构做一个介绍。本书分为两个部分，一部分通过剖析GDAL的架构和代码，介绍其功能，一部分通过业界实例，介绍其应用开发。本书能够帮助读......
  2. 《数据库技术重点综述与试题分析 初级》高清PDF ...
  3. 《高效商业分析 Excel建模与决策》高清PDF 本书基于Excel这一最常见的工具介绍商业分析在业务中的应用，帮助我们做出更优异的商业决策。书中不但提供了商业分析的基础知识，还讲解了数据分析与统计的基本工具和方法，包括用Excel实现数据的视觉展现、概率分布和数据建模、抽样与估计以及统计推断，为构建和分析预测模型、运用回归和预测技巧、仿真和风险分......
  4. 《数据结构 C语言版》高清PDF 本书从软件开发设计的角度出发, 按照结构化程序设计的思想, 详细介绍了线性表、栈和队列、串、多维数组和广义表、树和二叉树、图等不同的数据结构, 以及这些数据结构在计算机中的存储表示和不同存储表示的算法实现。...
  5. 《数据结构与算法教程 C++版》高清PDF 本书共分11章，分别是基础知识、引入线性表、介绍了栈和队列、介绍串等内容。...
  6. 《HTML 5入门经典》高清PDF 本书包括基础知识篇、核心技术篇、高级应用篇、项目实战篇四篇共20章，具体包括：HTML 5开发前奏、HTML 5带来的标记变化、HTML 5网页的基本要素、让珍珠串起来—列表、在迷宫中寻找出口——超链接等。...
  7. 《MIS实用开发技术 PB上机指南与案例解析》高清PDF 本教材内容包括：通过实验掌握PowerBuilder语言的编程语法规则；熟悉PowerBuilder环境下提供的各种控件对象的用法；学会上机调试程序，通过反复调试程序，掌握如何根据出错信息的提示进行修改程序的方法；通过调试不断修改和完善程序；最终通过实验掌握如何运用PowerBuilder软件开发技......
  8. 《精通Windows应用开发》高清PDF Windows8的出现不仅提供了跨设备的用户体验，也提供了跨设备的开发体验。本书着眼于实际项目中所需要的特性，以及现有c#编程知识的运用，对如何最大限度地利用Metro，WinRT，Windows8进行了讲解，内容详尽，注重理论学习与实践开发的配合。...
  9. 《C语言程序设计案例教程》高清PDF 本书是一本针对C语言学习的基础性教材，通过一个完整的项目设计将C语言的基本知识衔接起来，实现即学即用。主要内容包括：C语言简介、C语言语法基础、顺序结构程序设计、分支结构程序设计、循环结构程序设计、数组、函数、结构体、算法与项目设计、指针、文件和位运算等。...
  10. 《可视化Java GUI程序设计教程 基于Swing组件库及NetBeans IDE》高清PDF 使用NetBeans集成开发环境及Swing组件库，以JavaGUI程序的可视化实现过程——即窗口、基本组件、容器、布局管理、事件处理、高级组件等为主线，以组件面板中各类组件的创建、属性设置、事件处理、数据绑定及其在程序中的应用为主体内容，结合两个综合示例程序(简易学生成绩管理系统和资源管理器式的文......

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。