Поделиться через


Использование аннотаций SAL для сокращения количества дефектов в коде C/C++

SAL — это язык заметок исходного кода Майкрософт. С помощью заметок исходного кода можно сделать намерение явного кода. Эти заметки также позволяют автоматизированным статическим средствам анализа анализировать код более точно, что значительно меньше ложных срабатываний и ложных отрицательных значений.

В этой статье документации рассматриваются аспекты SAL, приводятся справочные сведения о синтаксисе SAL и приводятся примеры его использования.

См. также

Заметки SAL 2.0 для драйверов Windows