C # için hangi statik analiz araçları mevcuttur? [kapalı]

C # koduna karşı statik analiz için hangi araçlar mevcuttur? FxCop ve StyleCop'u biliyorum. Başkaları var mı? Daha önce NStatic ile karşılaştım ama sonsuza kadar görünen şey için geliştiriliyordu - gördüğümden çok kaygan görünüyor, bu yüzden günün ışığını görmesi güzel olurdu.

Aynı çizgiler boyunca (bu öncelikle statik analize olan ilgimdir), çoklu iş parçacığı sorunları (kilitlenme, yarış koşulları, vb.) İçin kod test etme araçları da biraz kıttır. Typemock Racer yeni fırladı bu yüzden ona bakacağım. Bunun ötesinde bir şey var mı?

Kullandığınız araçlar hakkında gerçek hayattaki görüşler takdir edilmektedir.

Kod ihlali algılama Araçları:

• Fxcop , Microsoft tarafından mükemmel bir araç. .Net framework yönergelerine uygunluğu kontrol edin.

  Ekim 2010'u düzenle: Artık bağımsız bir indirme olarak mevcut değil. Artık Windows SDK'ya dahil edildi ve kurulumdan sonra Program Files \ Microsoft SDKs \ Windows \ [v7.1] \ Bin \ FXCop \ FxCopSetup.exe içinde bulunabilir.

  Şubat 2018'i düzenleyin : Bu işlev artık Visual Studio 2012 ve sonraki sürümlere Kod Analizi olarak entegre edilmiştir

• Kod kaynağı analizine dayanan Clocksharp (C # 2.0'a)

• Mono.Gendarme , Fxcop'a benzer, ancak açık kaynak lisansına sahip ( Mono.Cecil tabanlı )

• Smokey dayalı FxCop ve Jandarma benzer, Mono.Cecil . Artık geliştirilmiyor, ana geliştirici şimdi Jandarma ekibi ile çalışıyor.

• C # için Coverity Prevent ™ , ticari ürün

• PRQA KG · C # , ticari ürün

• PVS-Studio , ticari ürün

• CAT.NET , güvenlik kusurlarının tanımlanmasına yardımcı olan görsel stüdyo eklentisi Edit Kasım 2019: Link öldü.

• CodeIt.Right

• spec #

• Pex

• SonarQube , FOSS ve Ticari seçenekler daha temiz ve daha güvenli kod yazmayı desteklemek için.

Kalite Metrik Araçları:

• NDepend , harika görsel araç. Kod metrikleri, kurallar, fark, birleştirme ve bağımlılık çalışmaları için kullanışlıdır.
• Nitriq , ücretsiz, kendi metriklerinizi / kısıtlamalarınızı, güzel görselleştirmelerinizi kolayca yazabilir. Şubat 2018'i düzenleyin: indirme bağlantıları artık ölü. Düzenleme 17 Haziran 2019: Bağlantılar ölü değil.
• Kod kaynağı analizine dayanan RSM Squared
• C # Metrikleri , C # 'ın tam çözümlemesini kullanma
• SourceMonitor , zaman zaman güncelleme alan eski bir araç
• Kod Ölçümleri , bir Reflektör Eklenti
• Vil , .NET 2.0'ı desteklemeyen eski bir araç. Ocak 2018'i düzenle: Bağlantı şimdi ölü

Stil Araçlarını Kontrol Etme:

• StyleCop , Microsoft aracı (Visual Studio'nun içinden çalıştırılır veya bir MSBuild projesine entegre edilir). Visual Studio 2015 ve C # 6.0 için bir uzantı olarak da mevcuttur
• Agent Smith , ReSharper için kod stili doğrulama eklentisi

Çoğaltma Algılama:

• maymun , kaynak koduna göre. Bol dilde çalışır.
• CloneDR , parametreli klonları yalnızca dil sınırlarında algılar (ayrıca C # dışındaki birçok dili de işler)
• Klon Dedektif bir Visual Studio eklentisi. ( ConQAT kullanır dahili olarak )
• Atomiq , kaynak kodu, bol dil, serin "tekerlek" görselleştirme dayalı

Genel Yeniden Düzenleme araçları

• ReSharper - Çoğunlukla harika C # kodu analizi ve yeniden düzenleme özellikleri

Aracı NDepend olarak kote edilir Kalite Metrik Araçları ama hemen hemen aynı zamanda bir olduğunu Kod ihlali algılama aracı. Feragatname: Aracın geliştiricilerinden biriyim

NDepend ile, LINQ Sorguları (CQLinq dediğimiz) üzerine Kod Kuralı yazılabilir . Varsayılan olarak 200'den fazla CQLinq kodu kuralı önerilmiştir. CQLinq'in gücü, bir kod kuralı yazmanın ve hemen sonuç almanın basit olmasıdır . Tesislerin eşleşen kod öğelerine göz atması önerilir. Örneğin:

Bunun yanı sıra, NDepend diğer birçok statik analizle birlikte geliyor . Bunlar:

• Akıllı Teknik Borç Tahmini
• Bağımlılık Grafiği
• Bağımlılık Matrisi
• Kod Farkı özellikleri
• Kendi statik analiz aracınızı yazmanıza izin veren NDepend.API . NDepend.APi ile kod yinelenmesini algılamak için bir araç bile geliştirdik (bu blog yazısındaki ayrıntılar: .NET Kod Çoğaltmasını Bulmak için Orijinal Bir Algoritma ).

• Jandarma açık kaynaklı kural tabanlı statik analizördür (FXCop'a benzer, ancak birçok farklı sorun bulur).
• Clone Detective , Visual Studio için yinelenen kod bulan güzel bir eklentidir.
• Mono'dan da bahsetmişken, Mono derleyicisiyle derleme eylemini buluyorum (kodunuz bunu yapmak için yeterince bağımsız bir platformsa, yine de çabalamak isteyebileceğiniz bir hedef), Visual Studio'nun tamamen kaçırdığı tonlarca referanssız değişken ve diğer Uyarıları bulur (uyarı seviyesi 4'e ayarlı olsa bile).

CAT.NET'i gördün mü ?

Bulanıklıktan -

CAT.NET, Siteler Arası Komut Dosyası (XSS), SQL Enjeksiyonu ve XPath Enjeksiyonu gibi yaygın saldırı vektörlerinin ortaya çıkmasına neden olabilecek bazı geçerli güvenlik açıklarının ortak varyantlarını tanımlamaya yardımcı olan bir ikili kod analiz aracıdır.

Erken bir beta kullandım ve bakmaya değer birkaç şey ortaya çıktı.

Madgnome tarafından mükemmel listesinin yanı sıra, komut satırına dayanan (ancak ücretsiz) yinelenen bir kod dedektörü eklerdim:

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

Klocwork, C # için statik bir analiz aracına sahiptir: http://www.klocwork.com

Reflektör için Kod Metrikleri ve Bağımlılık Yapısı Matrisi eklentilerini çok yararlı buluyorum .

Optimyth Software bulutta www.checkinginthecloud.com adresinde bir statik analiz hizmeti başlattı . Sadece kodu güvenli bir şekilde yükleyin analizi çalıştırın ve sonuçları almak. Sorun yok.

C # dahil olmak üzere birçok dili destekler daha fazla bilgi wwww.optimyth.com adresinde bulunabilir.

Axivion Bauhaus Süit , C # (C, C ++ ve Java'nın yanı sıra) ile çalışan statik bir analiz aracıdır.

Aşağıdaki özellikleri sağlar:

• Yazılım Mimarisi Görselleştirme (bağımlılıkları içeren)
• Katmanlama, alt sistemler, çağrı kuralları gibi mimari kuralların uygulanması
• Klon Algılama - kopya ve yapıştırılan (ve değiştirilen kod) vurgulama
• Ölü Kod Tespiti
• Döngü Algılama
• Yazılım Metrikleri
• Kod Stili Kontrolleri

Bu özellikler bir kereye mahsus olarak veya Sürekli Entegrasyon sürecinin bir parçası olarak çalıştırılabilir. Sistem bir kaynak kodu kontrol sistemi ile entegre edildiğinde sorunlar proje bazında veya geliştirici bazında vurgulanabilir.