C/C++ kódhibák csökkentése SAL-széljegyzetek használatával

A SAL a Microsoft forráskódjának széljegyzetnyelve. Forráskód-széljegyzetek használatával explicitvá teheti a kód mögötti szándékot. Ezek a széljegyzetek lehetővé teszik az automatizált statikus elemzőeszközök számára a kód pontosabb elemzését is, lényegesen kevesebb hamis pozitív és hamis negatív értékkel.

A dokumentáció jelen szakaszában található cikkek az SAL aspektusait ismertetik, hivatkoznak az SAL szintaxisára, és példákat adnak a használatára.

• A SAL ismertetése

  Olyan információkat és példákat tartalmaz, amelyek az alapvető SAL-széljegyzeteket mutatják be.

• Függvényparaméterek és visszatérési értékek megjegyzése

  A függvények és függvényparaméterek SAL-széljegyzeteit sorolja fel.

• A függvény viselkedésének megjegyzésekkel való ellátása

  A függvények és függvények viselkedésének SAL-széljegyzeteit sorolja fel.

• Szerkezetek és osztályok jegyzetelése

  A struktúrákhoz és osztályokhoz tartozó SAL-széljegyzeteket sorolja fel.

• A zárolási viselkedés megjegyzésekkel való ellátása

  Ez a cikk bemutatja, hogyan használható SAL-széljegyzetek zárolási mechanizmusokkal.

• Meghatározhatja, hogy mikor és hol alkalmazandó egy megjegyzés

  Felsorolja azokat a SAL-széljegyzeteket, amelyek más SAL-széljegyzetek feltételét vagy hatókörét (elhelyezését) határozzák meg.

• Belső függvények

  A belső SAL-széljegyzeteket sorolja fel.

• Ajánlott eljárások és példák

  Példák a SAL-széljegyzetek használatára. A gyakori buktatókat is ismerteti.

Lásd még

SAL 2.0-s széljegyzetek Windows-illesztőprogramokhoz