klocwork - 使用 Klocwork 进行 .Net 静态代码分析

Answer 1

Klockwork 不支持 VB.NET 而 Parasoft 支持，一般来说，Parasoft 是更好的 .NET 分析工具，具有更多的 .NET “检查器”和 Klockwork 所没有的动态分析功能。您需要将 Parasoft C++TEST 模块添加到您已经拥有的 dotTEST 模块中，然后您也可以检查 unmanged C++，在以前的版本中，dotTEST 支持托管 C++，但我不确定当前版本 9.5

Answer 2

Klocwork 当前（9.6 版）支持 .NET 的 C# 分析，最高支持 C# 3.0 规范。不支持 VB.NET、ASP.NET 和托管 C++。当前支持的 C# 检查器列表在这里： http ://www.klocwork.com/products/documentation/current/C-sharp_checker_reference

Answer 3

从 v. 6.00 开始 PVS-Studio 还支持 C# http://www.viva64.com/en/b/0362/。他们已经检查了 Roslyn 并发现了一些错误。