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.
-
Menyediakan informasi dan contoh yang menunjukkan anotasi SAL inti.
Menganotasi Parameter Fungsi dan Mengembalikan Nilai
Mencantumkan anotasi SAL untuk fungsi dan parameter fungsi.
-
Mencantumkan anotasi SAL untuk fungsi dan perilaku fungsi.
Membuat Anotasi Structs dan Classes
Mencantumkan anotasi SAL untuk struktur dan kelas.
-
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.
-
Mencantumkan anotasi SAL intrinsik.
-
Menyediakan contoh yang menunjukkan cara menggunakan anotasi SAL. Juga menjelaskan perangkap umum.