Welche statischen Analysewerkzeuge stehen für C # zur Verfügung? [geschlossen]

Welche Tools stehen für die statische Analyse anhand von C # -Code zur Verfügung? Ich kenne FxCop und StyleCop. Gibt es noch andere Ich bin NStatic schon einmal begegnet, aber es befindet sich seit Ewigkeiten in der Entwicklung - es sieht ziemlich gut aus, wenn man bedenkt, wie wenig ich davon gesehen habe. Es wäre also schön, wenn es jemals das Licht der Welt erblicken würde.

In diesem Sinne (dies ist in erster Linie mein Interesse an der statischen Analyse) scheinen Tools zum Testen von Code für Multithreading-Probleme (Deadlocks, Rennbedingungen usw.) ebenfalls etwas rar zu sein. Typemock Racer ist gerade aufgetaucht, also werde ich mir das ansehen. Etwas darüber hinaus?

Meinungen aus dem wirklichen Leben zu Tools, die Sie verwendet haben, werden geschätzt.

Tools zur Erkennung von Codeverletzungen:

• Fxcop , exzellentes Tool von Microsoft. Überprüfen Sie die Einhaltung der .net Framework-Richtlinien.

  Bearbeiten Oktober 2010: Nicht mehr als eigenständiger Download verfügbar. Es ist jetzt im Windows SDK enthalten und befindet sich nach der Installation unter Programme \ Microsoft SDKs \ Windows \ [v7.1] \ Bin \ FXCop \ FxCopSetup.exe

  Bearbeiten Februar 2018 : Diese Funktionalität wurde jetzt in Visual Studio 2012 und später als Code-Analyse integriert

• Clocksharp , basierend auf der Analyse der Codequelle (auf C # 2.0)
• Mono.Gendarme , ähnlich wie Fxcop, jedoch mit einer OpenSource-Lizenz (basierend auf Mono.Cecil )
• Smokey , ähnlich wie Fxcop und Gendarme, basierend auf Mono.Cecil . Der Hauptentwickler befindet sich nicht mehr in der Entwicklung und arbeitet jetzt mit dem Gendarme-Team zusammen.
• Coverity Prevent ™ für C # , kommerzielles Produkt
• PRQA QA · C # , kommerzielles Produkt
• PVS-Studio , kommerzielles Produkt
• CAT.NET , Visual Studio- Add-In , das bei der Identifizierung von Sicherheitslücken hilft Bearbeiten November 2019: Link ist tot.
• CodeIt.Right
• Spec #
• Pex

Qualitätsmetrische Werkzeuge:

• NDepend , großartiges visuelles Werkzeug. Nützlich für Codemetriken, Regeln, Diff-, Kopplungs- und Abhängigkeitsstudien.
• Nitriq , kostenlos, kann leicht Ihre eigenen Metriken / Einschränkungen schreiben, schöne Visualisierungen. Bearbeiten Februar 2018: Download-Links jetzt tot. Bearbeiten 17. Juni 2019: Links nicht tot.
• RSM Squared , basierend auf der Analyse der Codequelle
• C # -Metriken unter Verwendung einer vollständigen Analyse von C #
• SourceMonitor , ein altes Tool, das gelegentlich aktualisiert wird
• Code Metrics , ein Reflektor- Add-In
• Vil , altes Tool, das .NET 2.0 nicht unterstützt. Edit Januar 2018: Link jetzt tot

Überprüfen der Stilwerkzeuge:

• StyleCop , Microsoft-Tool (wird in Visual Studio ausgeführt oder in ein MSBuild-Projekt integriert). Auch als Erweiterung für Visual Studio 2015 und C # 6.0 verfügbar
• Agent Smith , Plugin zur Validierung des Codestils für ReSharper

Duplikationserkennung:

• Simian , basierend auf dem Quellcode. Funktioniert mit vielen Sprachen.
• CloneDR erkennt parametrisierte Klone nur an Sprachgrenzen (behandelt auch viele andere Sprachen als C #).
• Clone Detective ein Visual Studio-Plugin. (Es verwendet ConQAT intern)
• Atomiq , basierend auf Quellcode, vielen Sprachen, cooler "Rad" -Visualisierung

Allgemeine Refactoring-Tools

• ReSharper - Hauptsächlich coole C # -Code-Analyse- und Refactoring-Funktionen

Das Tool NDepend wird als Quality Metric Tools bezeichnet , ist aber auch ein Tool zur Erkennung von Codeverletzungen . Haftungsausschluss: Ich bin einer der Entwickler des Tools

Mit NDepend kann man Code-Regeln über LINQ-Abfragen schreiben (was wir CQLinq nennen) . Standardmäßig werden mehr als 200 CQLinq-Coderegeln vorgeschlagen. Die Stärke von CQLinq besteht darin, dass es einfach ist, eine Coderegel zu schreiben und sofort Ergebnisse zu erhalten. Es werden Einrichtungen zum Durchsuchen übereinstimmender Codeelemente vorgeschlagen. Beispielsweise:

Darüber hinaus bietet NDepend viele andere statische Analysefunktionen . Diese beinhalten:

• Intelligente technische Schuldenschätzung
• Abhängigkeitsdiagramm
• Abhängigkeitsmatrix
• Code Diff-Funktionen
• NDepend.API , mit der Sie Ihr eigenes statisches Analysetool schreiben können. Mit NDepend.APi haben wir sogar ein Tool zum Erkennen von Code-Duplikaten entwickelt (Details in diesem Blog-Beitrag: Ein ursprünglicher Algorithmus zum Suchen von .NET-Code-Duplikaten ).

• Gendarme ist ein auf Open Source-Regeln basierender statischer Analysator (ähnlich wie FXCop, findet jedoch viele verschiedene Probleme).
• Clone Detective ist ein nettes Plug-In für Visual Studio, das doppelten Code findet.
• Wenn ich auch von Mono spreche, finde ich beim Kompilieren mit dem Mono-Compiler (wenn Ihr Code plattformunabhängig genug ist, ein Ziel, das Sie vielleicht trotzdem anstreben möchten) Tonnen von nicht referenzierten Variablen und anderen Warnungen, die Visual Studio vollständig übersieht (auch wenn die Warnstufe auf 4 eingestellt ist).

Haben Sie CAT.NET gesehen ?

Aus dem Klappentext -

CAT.NET ist ein Tool zur Analyse von Binärcodes, mit dessen Hilfe häufige Varianten bestimmter vorherrschender Sicherheitslücken identifiziert werden können, die zu häufigen Angriffsmethoden wie Cross-Site Scripting (XSS), SQL Injection und XPath Injection führen können.

Ich habe eine frühe Beta verwendet und es schien ein paar Dinge zu zeigen, die es wert sind, angeschaut zu werden.

Abgesehen von der hervorragenden Liste von madgnome würde ich einen doppelten Codedetektor hinzufügen, der auf der Befehlszeile basiert (aber kostenlos ist):

http://sourceforge.net/projects/duplo/

Klocwork verfügt über ein statisches Analysetool für C #: http://www.klocwork.com

Ich finde die Add-Ins für Code Metrics und Dependency Structure Matrix für Reflector sehr nützlich.

Optimyth Software hat gerade einen statischen Analysedienst in der Cloud www.checkinginthecloud.com gestartet . Laden Sie einfach Ihren Code sicher hoch, führen Sie die Analyse durch und erhalten Sie die Ergebnisse. Keine Probleme.

Es unterstützt mehrere Sprachen, einschließlich C #. Weitere Informationen finden Sie unter wwww.optimyth.com

Axivion Bauhaus Suite ist ein statisches Analysetool, das mit C # (sowie C, C ++ und Java) funktioniert.

Es bietet die folgenden Funktionen:

• Visualisierung der Softwarearchitektur (einschließlich Abhängigkeiten)
• Durchsetzung von Architekturregeln, z. B. Layering, Subsysteme, Aufrufregeln
• Klonerkennung - Hervorheben von kopiertem und eingefügtem (und geändertem Code)
• Dead Code Detection
• Zykluserkennung
• Software-Metriken
• Code Style Checks

Diese Funktionen können einmalig oder als Teil eines kontinuierlichen Integrationsprozesses ausgeführt werden. Probleme können pro Projekt oder Entwickler hervorgehoben werden, wenn das System in ein Quellcodeverwaltungssystem integriert ist.