C Statik kod + +

Biz bölümlerini programın yürütülmesini yapmadan güvensiz kod tanımlandığı bir prosedür olarak kaynak kodu statik analiz süreci tanımlayabilirsiniz.

'S statik analiz test sürecini desteklemek için yararlı kendi özel araçlarıyla, yani otomatik olarak gerçekleştirilebilir. Yazılım test aşamasında, kendi bütünlüğü içinde, çok karmaşık bir süreçtir ve genellikle bu özel alanda uzmanlaşmak karar programcılar tarafından yapılan dikkat et. 'Statik kod çözümleme adanmış yazılım araçları böylece kod bölümlerini daha dikkatli kontrol etmek için gerekli olduğu ne ilk ipucu veren, zaman ve maliyetlerini azaltmak için yardımcı olur.

Geçen araçlar tarafından tespit edilen hata türleri birden fazla ve sürekli güncellenmesi, iş geliştirme, aslında, Bu tür bir yazılım artık uzun bir süredir büyük ritim gider vardır.

Bu bakımdan böyle bir programın tarihi değeri Önemli Lint Linux üzerinde çalışan 1979 yılında yayımlanan ve programlama dili adanmış C . Lint, bazen olarak tanımlanan statik kod doğrulama yazılımı için gerçek bir dönüm noktası "tüysüz gibi araçlar" veya "araçlar gibi lif."

Modern statik analiz de bu tür uygulamalar için özel öneriler sağlayan paralel olarak çalıştırmak için tasarlanmış kod kontrol edebiliyoruz.

Bu yazıda, paralel dil çalışan programları için statik kod olanakları kısa bir özetini sunmaya çalışırken, araç bu tür odak C + + (en popüler ve doğada çok yönlü). Başlamak için, genel bir yazılım ve bir olarak esnek inceleyelim PC-Lint .

PC-Lint

PC-Lint kullanan programlar analizinde optimum performans sağlayacak şekilde tasarlanmıştır POSIX evreleri , ancak etkin bir jenerik bölümünde kullanılabilir. Yazılım tarafından yapılan analiz otomatik her şekilde olduğunu söylemek istemiyorum.

Elle programı PC-Lint sadece bu bölümlerde adalet 'statik analizi (yani evet, otomatik) devam edebilirsiniz, böylece paralel (hatta eş zamanlı) aday olacağını fonksiyonları belirtmek için gerekli görülmektedir. Bunu sağlamak için, PC-Lint komut satırı yürütme seçeneği her zaman kullanmanız gerekir. Örneğin açıklama:

 



 tüy bırakmayan bir sem (işlev, iplik)

 

o aynı anda çalışır gibi PC-Lint iletişim, işlev işlev analiz etmek gerekir. Şimdi de paralel yürütülmesi işlemesi gerekir akılda tutmak fonksiyonu ile ilgili hata iletileri alırsınız aynı, daha sonra ortak bir değişken önemli bir bölümü doğru tanım olmadan kullanılamaz veya değiştirilmiş ise, örneğin, işaret.

Karşılıklı dışlama ve senkronizasyon ilkel biçimcilik tipik POSIX evreleri kullanılarak uygulanır eğer, bu konuda, ya da, örneğin, pthread_mutex_lock ve pthread_mutex_unlock, komut satırından bu konuda bir şey belirtmek gerek yoktur. Aksi takdirde, kuralları kullanılacaktır:

 -Sem (erişim, thread_lock)







 -Sem (açıklaması, thread_unlock)

erişim ve bu bölümün yayın adında bir işlevi aracılığıyla yapılır kritik bölümüne erişimin belirtmek için serbest bırakma fonksiyonu kullanıyor.

Bizim kod statik analizi için ama biz biraz daha güçlü araçlar ve PC-Lint bağımsız olmasını istedik, eğer, VivaMP iyi bir seçim olabilir.

• <<
• 1
• 2
• >>