klocwork - .Net 静的コード解析のための Klocwork の使用

Answer 1

Klockwork は VB.NET をサポートしていませんが、Parasoft はサポートしています。一般に、Parasoft は、Klockwork にはない .NET "チェッカー" と動的分析機能を備えたより優れた .NET 分析ツールです。すでに持っている dotTEST モジュールに Parasoft C++TEST モジュールを追加する必要があります。その後、管理されていない C++ もチェックできます。以前のバージョンでは、マネージド C++ は dotTEST でサポートされていましたが、現在のバージョン 9.5 についてはわかりません。

Answer 2

v. 6.00 以降、PVS-Studio は C# http://www.viva64.com/en/b/0362/もサポートしています。彼らはすでに Roslyn をチェックしており、いくつかのバグを発見しています。

Answer 3

Klocwork は現在 (9.6 リリース)、C# 3.0 仕様まで、.NET の C# 解析をサポートしています。VB.NET、ASP.NET、Managed C++ はサポートされていません。サポートされている C# チェッカーの現在のリストは、 http ://www.klocwork.com/products/documentation/current/C-sharp_checker_reference です。