c - 有没有像 PPI 或 Perl::Critic for C 的东西？

Question

PPI和Perl::Critic允许程序员在他们的 Perl 程序的语法中检测某些东西。

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

Answer 1

C相关程序：

• BLAST (Berkeley Lazy Abstraction Software verification Tool) — 基于惰性抽象的 C 程序的软件模型检查器。

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

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

• Sparse — 一种旨在查找 Linux 内核中的故障的工具。

• Splint — Lint（C 语言）的开源演进版本。

C 的静态代码分析工具列表（比上面的列表更多）

Answer 2

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

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

Answer 3

如果我没记错的话，这就是lint的作用。

Answer 4

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