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

Jak*_*ake 9 c perl parsing tokenize perl-critic

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

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

小智 17

C相关课程:

  • BLAST(Berkeley Lazy Abstraction Software verification Tool) - 基于延迟抽象的C程序的软件模型检查器.
  • Clang - 包含静态分析器的编译器.

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

  • 稀疏 - 一种旨在查找Linux内核故障的工具.

  • Splint - Lint(C语言)的开源进化版本.

用于C的静态代码分析的工具列表(超过上面的列表)


Sin*_*nür 13

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

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


enn*_*ler 11

如果我没记错的话,这就是lint所做的.

  • Perl :: Critic也是如此. (3认同)

Sch*_*ern 5

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