C语言代码静态检查学习笔记（结尾有惊喜）

• 静态检查
  • 静态分析的概念
    • 定义
      • 程序静态分析是指在不运行代码的方式下，通过各种分析工具对程序代码进行扫描并做出评估的过程。
    • 特点
      • 不实际执行程序，只是通过对代码的静态扫描对程序进行分析
      • 执行速度快、效率高
  • 静态分析技术
    • 类型检查
    • 风格检查
      • 风格检查程序所显示的错误常只是影响代码的可读性和可维护性，而不是程序运行过程中会发生的某种错误
    • 程序理解
      • 程序理解最主要的用途在于帮助理解程序，搞懂代码库中的大量代码。它是一个从计算机程序中获取知识信息的过程，这些知识信息可以用于程序排错、增强程序、重用程序和整理文档等工作。在很多集成开发环境(IDE)中，都包括了一些初级的程序理解功能，比如：查找本变量的声明和使用位置。更高级一点的还能帮助查找类之间的关联关系等。
    • 程序验证和属性检查
      • 程序验证是对源代码进行分析，如果源代码符合预先专门制定的一份描述程序行为的规格说明，那么则说明该程序完好。
      • 属性检查的方法跟程序验证的方法从本质上是一样的，它们的区别在于，属性检查依据的只是描述部分程序行为的部分规格说明，而程序验证依据的是描述所有程序行为的规格说明。
    • Bug查找
      • Bug查找是指按照预先制定的一些共同认同的规则，来查找程序中存在的一些bug。
    • 安全审查
      • 以安全为中心的静态分析
      • 现代安全分析工具往往更像是一种属性检查程序和bug查找程序的混合体，许多安全属性能被简洁的表达为程序属性ÿ