静态代码分析 - 提高质量,减少瑕疵的代码分析工具列表

按热度排序
Featured
39 1k 63

I IKOS - 基于抽象解释理论的C/C++静态分析器
 
6.3 10.0

S Sherlock是一个有高拓展性的代码规范检查基础工具,您的团队可以在Sherlock的基础上,轻松做定制、拓展。Sherlock是一个C++写的Clang Plugin,面向检查Objective-C代码。注意,使用Sherlock前必须要先将Clang Plugin整合到Xcode中,如何整合Clang Plugin和更多详细内容点这里。
 
0.2 0.0
  2年前