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

按热度排序
Popular
42 849 49

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

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