Menggunakan Anotasi SAL untuk Mengurangi Cacat Kode C/C++

SAL adalah bahasa anotasi kode sumber Microsoft. Dengan menggunakan anotasi kode sumber, Anda dapat membuat niat di balik kode Anda secara eksplisit. Anotasi ini juga memungkinkan alat analisis statis otomatis untuk menganalisis kode Anda secara lebih akurat, dengan positif palsu dan negatif palsu yang jauh lebih sedikit.

Artikel di bagian dokumentasi ini membahas aspek SAL, memberikan referensi untuk sintaks SAL, dan memberikan contoh penggunaannya.

• Memahami SAL

  Menyediakan informasi dan contoh yang menunjukkan anotasi SAL inti.

• Menganotasi Parameter Fungsi dan Mengembalikan Nilai

  Mencantumkan anotasi SAL untuk fungsi dan parameter fungsi.

• Anotasi Perilaku Fungsi

  Mencantumkan anotasi SAL untuk fungsi dan perilaku fungsi.

• Membuat Anotasi Structs dan Classes

  Mencantumkan anotasi SAL untuk struktur dan kelas.

• Anotasi Perilaku Penguncian

  Menjelaskan cara menggunakan anotasi SAL dengan mekanisme kunci.

• Menentukan Kapan dan Di mana Anotasi Berlaku

  Mencantumkan anotasi SAL yang menentukan kondisi atau cakupan (penempatan) anotasi SAL lainnya.

• Fungsi Intrinsik

  Mencantumkan anotasi SAL intrinsik.

• Praktik dan Contoh Terbaik

  Menyediakan contoh yang menunjukkan cara menggunakan anotasi SAL. Juga menjelaskan perangkap umum.

Lihat Juga

Anotasi SAL 2.0 untuk Driver Windows