有什么像PPI或Perl :: Critic for C？

Question

PPI和Perl::Critic允许程序员检测Perl程序语法中的某些内容。

有没有类似的东西可以标记/解析C并让你有机会编写一个脚本来处理这些信息？

Answer 1

C相关课程：

• BLAST（伯克利懒惰抽象 软件验证工具） - a C程序的软件模型检查器 基于懒惰抽象。

• Clang - 包含的编译器 静态分析仪。

• Frama-C - 静态分析 C的框架。

• Sparse - 一种旨在查找的工具 Linux内核中的错误。

• Splint - 一个开源的进化论 Lint（C语言）的版本。

List of tools for Static Code Analysis for C (more than the list above)

Answer 2

有一个名为Splint的开源程序：

  

Splint是一种用于静态检查C程序是否存在安全漏洞和编码错误的工具。只需很少的努力，Splint可以用作更好的棉绒。如果投入额外的工作为程序添加注释，Splint可以执行比任何标准lint更强的检查。

Answer 3

如果我没记错的话，那就是lint所做的。

Answer 4

这有点偏离主题，但关于C的有价值的代码分析器的主题是valgrind来捕捉狡猾的内存管理。