CLion 提供了一个内置数据流分析器，它会在您编写代码时持续运行并帮助提高代码质量。 它可以显示各种代码问题，这些问题随后可能导致运行时问题、安全漏洞和其他漏洞。 举例来说，这些有用的检查包括常量条件、死代码、null 指针取消引用、内存泄漏和数组索引问题。 我们将发布一系列博文来说明 CLion 中某些检查的运作方式。
今天，我们将介绍数据流分析的基础知识，包括它的一般运作方式，同时介绍几个真实的例子，以帮助您编写出更好的代码。
控制流图
所有数据流检查都依赖于控制流图。 它是一个图表，其中顶点是程序中的语句，边是这些语句之间的控制流跳转（直接代码执行、条件跳转、循环、中断、转到等）。
例…
