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

Question

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

Answer 1

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

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并发现了一些错误。