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

Question

目前，我正在使用Parasoft® dotTEST™进行.NET静态分析。我可以使用Klocwork进行.NET代码(including C#, VB.NET, ASP.NET and Managed C++ )静态代码分析吗？

Answer 1

Klockwork不支持VB.NET，而Parasoft支持，一般来说，Parasoft是一个更好的.NET分析工具，具有更多的.NET“棋子”和动态分析功能，而Klockwork没有。您需要将Parasoft C++TEST模块添加到您已有的dotTEST模块中，然后您也可以选中未管理的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

从v6.00PVS开始，演播室也支持C# http://www.viva64.com/en/b/0362/。他们已经检查了Roslyn并发现了一些bug。