Korzystanie z adnotacji SAL w celu redukowanie defektów kodu C/C++

SAL to język adnotacji kodu źródłowego firmy Microsoft. Używając adnotacji kodu źródłowego, możesz jawnie ustawić intencję za kodem. Te adnotacje umożliwiają również zautomatyzowane narzędzia do analizy statycznej w celu dokładniejszego analizowania kodu, przy znacznie mniejszej liczbie wyników fałszywie dodatnich i fałszywie ujemnych.

W artykułach w tej sekcji dokumentacji omówiono aspekty sal, podano informacje o składni SAL i podano przykłady jego użycia.

• Informacje o języku SAL

  Zawiera informacje i przykłady pokazujące podstawowe adnotacje SAL.

• Dodawanie adnotacji do parametrów funkcji i zwracanych wartości

  Wyświetla listę adnotacji SAL dla funkcji i parametrów funkcji.

• Zachowanie funkcji dodawania adnotacji

  Wyświetla adnotacje SAL dla funkcji i zachowania funkcji.

• Dodawanie adnotacji do struktur i klas

  Wyświetla adnotacje SAL dla struktur i klas.

• Dodawanie adnotacji do zachowania blokującego

  Wyjaśnia, jak używać adnotacji SAL z mechanizmami blokowania.

• Określanie miejsca i warunków stosowania adnotacji

  Wyświetla adnotacje SAL, które określają warunek lub zakres (umieszczanie) innych adnotacji SAL.

• Funkcje wewnętrzne

  Wyświetla listę wewnętrznych adnotacji SAL.

• Najlepsze rozwiązania i przykłady

  Zawiera przykłady pokazujące sposób używania adnotacji SAL. Wyjaśnia również typowe pułapki.

Zobacz też

Adnotacje SAL 2.0 dla sterowników systemu Windows