C/C++ Kod Hatalarını Azaltmak için SAL Ek Açıklamalarını Kullanma
SAL, Microsoft kaynak kodu ek açıklama dilidir. Kaynak kodu ek açıklamalarını kullanarak, kodunuzun ardındaki amacı açık hale getirebilirsiniz. Bu ek açıklamalar ayrıca otomatik statik analiz araçlarının kodunuzu daha doğru analiz edebilmesini ve hatalı pozitiflerin ve hatalı negatiflerin önemli ölçüde daha az olmasını sağlar.
Belgelerin bu bölümündeki makalelerde SAL'nin yönleri ele alınmaktadır, SAL söz dizimi için başvuru sağlanmıştır ve kullanım örnekleri verilmiştir.
-
Temel SAL ek açıklamalarını gösteren bilgiler ve örnekler sağlar.
İşlev Parametrelerini ve Dönüş Değerlerini Açıklama
İşlevler ve işlev parametreleri için SAL ek açıklamalarını listeler.
-
İşlevler ve işlev davranışı için SAL ek açıklamalarını listeler.
Yapıları ve Sınıfları Yorumlama
Yapılar ve sınıflar için SAL ek açıklamalarını listeler.
Kilitlenme Davranışını Yorumlama
SAL ek açıklamalarının kilit mekanizmalarıyla nasıl kullanılacağını açıklar.
Açıklamanın Ne Zaman ve Nereye Uygulanacağını Belirtme
Diğer SAL ek açıklamalarının koşulunu veya kapsamını (yerleştirme) belirten SAL ek açıklamalarını listeler.
-
İç SAL ek açıklamalarını listeler.
-
SAL ek açıklamalarının nasıl kullanılacağını gösteren örnekler sağlar. Ayrıca yaygın tuzaklar açıklanmaktadır.