Korzystanie z adnotacji SAL w celu redukowanie defektów kodu C/C++
SAL jest język opisu kodu źródłowego firmy Microsoft.Za pomocą adnotacji kodu źródłowego, możesz zamiarem za swój kod jawne.Adnotacje te również włączyć automatycznej analizy statycznej narzędzia do analizy kodu dokładniej, znacznie mniej fałszywych alarmów i fałszywych wyników negatywnych.
Artykuły w tej sekcji dokumentacji dotyczących aspektów SAL, zapewniają odwołanie SAL składni i podać przykłady jej użycia.
-
Zawiera informacje oraz przykłady pokazujące rdzenia, SAL adnotacje.
Dodawanie adnotacji do parametrów funkcji i zwracanych wartości
Wyświetla listę adnotacje SAL, funkcji i parametry funkcji.
Zachowanie funkcji dodawania adnotacji
Wyświetla listę adnotacje SAL, funkcji i zachowanie funkcji.
Dodawanie adnotacji struktur i klas
Wyświetla listę adnotacje SAL, struktur i klas.
Dodawanie adnotacji do zachowania blokującego
Omówiono sposoby używania adnotacje SAL z mechanizmami blokady.
Określanie warunków pojawiania się adnotacji
Wyświetla listę adnotacje SAL, określające warunek lub zakres (umieszczanie) inne adnotacje SAL.
-
Wyświetla listę wewnętrznych adnotacje SAL.
Najlepsze praktyki i przykłady (SAL)
Przykłady, które pokazują, jak używać SAL adnotacje.Wyjaśniono również typowych pułapek.