静态代码在C + +

我们可以定义为，其中部分是确定的，而不进行该程序的实际执行不安全的代码程序的源代码静态分析的过程。

的静态分析，可以自动执行，即由自己有用的支持测试过程中特定的工具 。 观察如何在软件测试阶段，它的整体，是一个非常复杂的过程，通常由程序员决定谁专门从事这方面工作。 致力于“静态代码分析软件工具，从而有助于减少时间和成本，提供一个什么样的代码段被要求检查更仔细的第一个暗示。

由上述仪器检测到的错误的类型有多种，并不断更新，业务发展，事实上，这种软件去很长一段时间，以极大的节奏了。

在这方面重要的历史价值，编程林特在1979年发布，在Linux 上运行，并专注于编程语言彗星 。 林特是一种静态代码验证软件真正的里程碑，有时确定为“棉绒状的工具”，或“像皮棉工具。”

现代静态分析仪还可以验证设计的并行运行，提供有关申请的具体建议的代码。

在这篇文章中，我们围绕这一类型的工具，试图提供用于运行并行语言节目的可能性在静态代码简要介绍C + + （最流行 ​​和通用性）。 首先，让我们看看一个通用的软件和一个灵活的PC -林特 。

PC -林特

PC - Lint是旨在提供的程序的使用分析最佳性能POSIX线程 ，但可以有效地在一个通用的情况下使用。 不想说，通过软件的分析，在各方面都自动的。

看来需要手动指定的功能，该方案将并行运行（甚至同时），使PC -林特可以进行“静态分析的公平公正，在这些路段（即是，自动）。 要做到这一点，你必须使用的PC - lint命令行执行的期权始终 。 例如，语句：

 



不起毛的扫描电镜（函数，线程）

 

与PC -林特通讯是必要的，分析的功能函数，因为它会同时运行。 现在，您将收到相关的功能牢记您还必须处理的并行执行的错误消息相同，那么他指出，例如，如果一个共享变量使用或不正确的一个关键部分的定义修改。

正是在这方面，如果相互排斥和同步原语是使用POSIX线程典型的形式主义，或例如， 调用pthread_mutex_lock和pthread_mutex_unlock，你将不必在命令行中指定任何事情。 否则，该准则将被用于：

扫描电镜（访问，thread_lock）







扫描电镜（释放，thread_unlock）

以表示对临界区的访问是通过访问和调用该函数释放了部分正在使用的版本的功能。

如果对我们的代码的静态分析，但我们希望有一个稍微更强大的工具和PC -林特独立， VivaMP可能是一个不错的选择。

• <<
• 1
• 2
• >>