static-analysis

39ısı

6cevap

C#/NET koşullarını bulmak için analiz aracı/deadlocks

NET kodunu analiz eder ve yarış koşullarını bulur bir araç var mı? Özel bir statik alan oluşturan veya oluşturan statik bir özelliğe sahip biraz kodum var. Ayrıca bu alanı null olarak ayarlayan bir ge

5ısı

6cevap

Veritabanları için kullanışlı statik analiz araçları var mı?

static analysis tools like lint'un şüpheli kod satırlarını nasıl işaretleyeceğine benzer şekilde, şüpheli alanlar, ilişkiler ve yapılandırma için bir veritabanının yapılandırmasını ve şemasını incelem

14ısı

2cevap

Xcode Yapılandır ve Analiz Et - Belirli bir dosya üzerinde yapılan analizi bilerek atlamak mümkün mü?

Projemde başka biri tarafından üzerinde çalışılan belirli bir dosyam var. Bununla uğraşmak istemiyorum ve işlemek için "Oluştur ve İncele" yi beklemeyi tercih etmem. Xcode'a bu dosyadaki analizi atlam

14ısı

3cevap

C makrolarında, biri {...} tercihini yaparken (0,0), {...} iken (0)?

Bir müşteri Geçenlerde işveren C kod temeli statik analizini gerçekleştirdik ve bize sonuçları vermiştir. kullanışlı yamalar arasında do { ... } while(0,0) ünlü do { ... } while(0) makro değiştirme is

4ısı

1cevap

Bazı sözleşmeleri statik analizden kolayca hariç tutabilir miyim?

Statik analizörün kanıtlayamayacağını bildiğim belirli sözleşmeler var. Belirli türde bir sözleşme ihlali hatalarını tüm bir işlevden hariç tutabilirim, ancak bu çok geniş fırçalanmış. Belirli ihlal h

6ısı

3cevap

Hata bulma için statik analizde iyi bir başlangıç metni var mı?

Hata bulma için statik analiz teorisi hakkında iyi bir tanıtım metni arıyorum. Herhangi bir tavsiye?

6ısı

2cevap

C++ ve Objective-C++ kodları nasıl statik olarak analiz edilir?

"Oluştur ve analiz et" seçeneği .cpp ve .mm dosyaları için çalışmıyor gibi görünüyor. Herhangi bir standart #includes olmadan bireysel dosyalarda "clang --analyze" denedim ve iyi çalışıyor. Ancak bunu

10ısı

1cevap

Montaj dili için statik kod analizi

Basit özel montaj benzeri dillerin (otomatik olarak oluşturulan programlar için) statik kod analizi için açık kaynak kodlu araçlar veya kütüphaneler var mı ve bunlar neler yapabilir? (Kullanılmayan ko

16ısı

2cevap

ReSharper bu dönüş türünün asla boş olmadığını nasıl biliyor?

ReSharper 5.0 kullanıyorum ve kod çözümleme işlevinin "İfade her zaman yanlış" olan aşağıdaki assemblies == null'u nasıl algıladığını bildiğini merak ediyorum. var directory = new DirectoryInfo("somed

6ısı

2cevap

Findbugs + JSR305: Varsayılan davranış belirleme olanağı?

Not: Bu açıklamalar, JSR305 tarafından belirtilmiştir. ben son FindBugs (1.3.9) var ve hataları bulur doğru @Nonnull ile açıklamalı bazı tarla, atandığında null. Ancak, projemde "boş olmayan mantık",