Použití poznámek SAL k snížení míry výskytu závad kódu C/C++
SAL je jazyk poznámky ke zdrojovému kódu společnosti Microsoft. Pomocí poznámek zdrojového kódu můžete provést explicitní záměr za kódem. Tyto poznámky také umožňují automatizované statické analytické nástroje k přesnější analýze kódu, s podstatně menším počtem falešně pozitivních a falešně negativních hodnot.
Články v této části dokumentace projednávají aspekty SAL, poskytují referenční informace pro syntaxi SAL a poskytují příklady jejich použití.
-
Obsahuje informace a příklady, které ukazují základní poznámky SAL.
Zadávání poznámek k parametrům funkcí a návratovým hodnotám
Obsahuje poznámky SAL pro funkce a parametry funkce.
Zadávání poznámek k chování funkcí
Obsahuje poznámky SAL pro chování funkcí a funkcí.
Zadávání poznámek ke strukturám a třídám
Zobrazuje poznámky SAL pro struktury a třídy.
Zadávání poznámek o chování při zamykání
Vysvětluje, jak používat poznámky SAL s mechanismy zámku.
Určení, kdy a kde se má poznámka použít
Obsahuje poznámky SAL, které určují podmínku nebo rozsah (umístění) jiných poznámek SAL.
-
Zobrazí seznam vnitřních poznámek SAL.
-
Obsahuje příklady, které ukazují, jak používat poznámky SAL. Vysvětluje také běžné nástrah.