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

按热度排序
Popular
192 2.2k 690

C Cppcheck - C/C++代码的静态分析工具
 
10.0 10.0
38 1.1k 71

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

I Intel Shader Analyzer是一款用于英特尔GPU架构Shader的离线静态分析工具。 它允许用户编译dxbc或HLSL代码并检查生成的GPU ISA是否为DX11和DX12。
 
3.3 0.0

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