请教Linux C代码规范性检测工具有哪些

由Stanford大学的Dawson Engler副教授等研究开发，该静态分析工具允许用户使用一种称作metal的状态机语言编写自定义的时序规则，从而实现了静态分析工具的可扩展性。MC的实际效果非常优秀，号称在Linux内核中找出来数百个安全漏洞。MC目前已经商业化，属于Coverity Inc.2014年被Synopsys收购。目前学术领域比较认可的静态分析工具，其技术处于领先地位。

下载并安装Gprof

首先检查工具是否已经安装在系统上。 为此，只需在终端中运行以下命令即可。

$ gprof

如果您收到以下错误：

$ a.out: No such file or directory

那么这意味着该工具已经安装。 否则可以使用以下命令安装它：

$ apt-get install binutils

Gprof使用

不用说，理解Gprof这个工具的最好方法就是通过一个实际的例子。 所以，我们将从一个C语言程序开始，我们将通过Gprof进行剖析。 这是程序：

//test_gprof.c

#include<stdio.h>

void func4(void)

{

printf("\n Inside func4() \n")

for(int count=0count<=0XFFFFcount++)

}

void func3(void)

{

printf("\n Inside func3() \n")

for(int count=0count<=0XFFFFFFFcount++)

}

---